| Componente Curricular |
|---|
| MATC94 - INTRODUÇÃO AS LINGUAGENS FORMAIS E TEORIA DA COMPUTAÇÃO |
| Carga Horária - Total: 60 horas | | |
|---|
| Teórica | Prática | Estágio | Departamento | Semestre Vigente |
|---|
| 60 | 0 | 0 | Departamento de Ciência da Computação | 2023.1 |
| Ementa |
|---|
| Conceito de linguagem formal. Hierarquia de Chomsky. Linguagens regulares e Livres de Contexto. Expressões regulares. Autômatos finitos, autômatos de pilha. Gramáticas livres de contexto. Noções de análise léxica e sintática de linguagens de programação. Máquinas de Turing. Linguagens recursivamente enumeráveis e recursivas. Noções de decidiblidade. Exemplos de problemas decidíveis e indecidíveis relativos às linguagens da hierarquia de Chomsky. Máquina de Turing como conceito formal de algoritmo. O problema da Parada. A tese de Church. Noções de Teoria de complexidade. |
| Programa |
|---|
| Objetivo |
|---|
| Não há Objetivo cadastrado |
| Conteúdo |
|---|
| Não há Conteúdo cadastrado |
| Bibliografia |
|---|
| Não há Bibliografia cadastrada |