imagem

Rio Grande, 20 de novembro de 2017

disc-ele-teo-cmp-aut

 

Disciplina:
Elementos de Teoria da Computação e da Automação

 


 

Carga Horária: 60

Créditos: 4

Linha de Pesquisa: Todas

Ementa:

Computabilidade clássica: modelos de computação, funções computáveis, máquina de Turing, cálculo-lambda, funções mu-recursivas. Máquinas de estado e linguagens formais: máquinas reconhecedoras e transdutoras; máquinas determinísticas e não-determinísticas; autômatos finitos e de pilha; máquinas de Mealy e de Moore; máquinas de estado da UML. Cálculo de processos: conceitos de concorrência; formalismos para processos concorrentes; diagramas de concorrência da UML. Álgebra de Dióides. Redes de Petri.

 



2010 - 2017 -- Desenvolvido pelo Centro de Ciências Computacionais - C3