Teoria da Computação
De Wiki DAINF
(Diferença entre revisões)
(Nova página: == Objetivos == Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de s...) |
(→Objetivos) |
||
| Linha 1: | Linha 1: | ||
| − | |||
== Objetivos == | == Objetivos == | ||
Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de suas aplicações em Engenharia de Computação”. O papel desta disciplina é o de mostrar os formalismos envolvidos nas etapas de análise léxica e sintática de linguagens, bem como os fundamentos teóricos do processo de computação e suas limitações. | Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de suas aplicações em Engenharia de Computação”. O papel desta disciplina é o de mostrar os formalismos envolvidos nas etapas de análise léxica e sintática de linguagens, bem como os fundamentos teóricos do processo de computação e suas limitações. | ||
| − | |||
| − | |||
== Ementa == | == Ementa == | ||
Edição de 11h45min de 13 de outubro de 2008
Objetivos
Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de suas aplicações em Engenharia de Computação”. O papel desta disciplina é o de mostrar os formalismos envolvidos nas etapas de análise léxica e sintática de linguagens, bem como os fundamentos teóricos do processo de computação e suas limitações.
Ementa
Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing. Tese de Church. Não-computabilidade. Complexidade Computacional.
