Teoria da computação
Keywords: Teoria da computação, AI, Algoritmo, Análise léxica, Análise semântica, Análise sintática, Autômatos, Ciência da computação, Compiladores
Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A teoria da computação, um subcampo da ciência da computação e matemática, busca determinar quais problemas podem ser computados em um dado modelo de computação. Por milhares de anos, a computação foi feita com lápis e papel, ou giz e quadro, ou mentalmente, às vezes com a ajuda de tabelas.
A teoria da computação começou no início do século XX, antes dos computadores eletrônicos modernos terem sido inventados.
Naquela época, matemáticos tentavam descobrir quais problemas de matemática poderiam ser resolvidos através de métodos simples e quais não poderiam. O primeiro passo era definir o que exatamente eles chamavam "método simples" de solução de problemas. Em outras palavras, era necessário um modelo formal de computação. Muitos modelos computacionais diferentes foram desenvolvidos por estes primeiros pesquisadores.
A Inteligência artificial (AI, do inglês artificial intelligence) também veio implementar esses modelos computacionais. Ela estuda a forma de desenhar programas de computador que exibem características que comumente associamos com o comportamento humano inteligente, ela se propõe a combinar os métodos de busca com grandes bases de conhecimentos especializados.
- Teoria de Problemas
- Teoria dos Grafos
- Linguagem de Computadores
- Reconhecedores
- Autômatos
- Modelos Computacionais
- Máquina de Turing
- Lambda Cálculo
- Linguagens While
- Modelos Computacionais
- Autômatos
- Compiladores
- Interpretadores