Teoria da Computação

1. Teoria da Recursão

1.1. tese de turing

1.1.1. qualquer função que é computável por um algoritmo é uma função computável

2. Teoria da complexibilidade

2.1. tentar classificar problemas que podem ou não ser resolvidos com recursos adequadamente restritos

2.2. Solução eficaz

2.3. Análise de algoritmos x teoria da complexidade computacional

2.3.1. analisar a quantidade de recursos necessários por um determinado algoritmo

2.3.2. fazer uma pergunta mais geral sobre todos os algoritmos possíveis

3. Teoria de autômatos

3.1. teoria em ciência da computação teórica e matemática discreta

3.2. estudo de máquinas abstratas e autômatos

3.2.1. problemas relacionados a computação

3.3. classificadas pela classe de linguagem formais

3.4. autômatos é uma representação finita de uma linguagem formal