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.

 


Sobre:

O Centro de Ciências Computacionais da Universidade Federal do Rio Grande é uma das 13 Unidades Acadêmicas da FURG, sendo responsável pela área das Ciéncias Computacionais, dedicando-se a formação de recursos humanos e a produção de conhecimento.

logo do centro de ciências computacionais logo da universidade federal do rio grande