INTRODUO A TEORIA DA COMPUTAO

FUNDAMENTOS:
1. DEFINIO: A teoria da computao, um subcampo da cincia da computao e
matemtica, busca determinar quais problemas podem ser computados em um dado
modelo de computao.
2. MODELOS PROPOSTOS: Um modelo, conhecido como Mquina de Turing,,
funes recursivas compostas para operar diretamente sobre os nmeros., clculo
lambda., cadeias de Markov e sistemas de Post.
A teoria da computao estuda os modelos de computao genricos, assim como os limites
da computao:

Quais problemas jamais podero ser resolvidos por um computador, independente da

sua velocidade ou memria? (Ver: Problema da parada, Problema da Correspondncia
de Post.)
Quais problemas podem ser resolvidos por um computador, mas requerem um perodo
to extenso de tempo para completar a ponto de tornar a soluco impraticvel? (Ver:
Aritmtica de Presburger.)
Em que situaes pode ser mais difcil resolver um problema do que verificar cada
uma das solues manualmente? (Ver Classes P e NP).

OBS: Em geral, as questes relativas aos requerimentos de tempo ou espao (memria, em

particular) de problemas especficos so investigadas pela teoria da complexidade
computacional.
Problema de deciso

Tipo 0 (Recursivamente enumervel)

Indecidvel

Decidvel

EXPSPACE

EXPTIME

PSPACE

Tipo 1 (Sensvel ao contexto)

PSPACE-Completo

Co-NP

NP

BPP

BQP

NP-Completo

NC

P-Completo

Tipo 2 (Livre de contexto)

Tipo 3 (Regular)

APLICAES

Teoria dos problemas (IA)

Teoria dos grafos

Linguagem de Computadores
o

Linguagem formal

Reconhecedores (produzem uma sada binria, tendo como resposta ou sim

ou no caso a entrada seja aceita pela mquina ou no)
o

Autmatos

Modelo computacional

Mquina de Turing um modelo abstrato de um computador,

que se restringe apenas aos aspectos lgicos do seu
funcionamento (memria, estados e transies) e no sua
implementao fsica. Numa mquina de Turing pode-se
modelar qualquer computador digital.

Clculo Lambda um sistema formal que estuda funes

recursivas computveis, no que se refere a teoria da
computabilidade. tem tido um grande papel no desenvolvimento
da teoria de linguagens de programao

Compilador
o

Anlise lxica entrada de linhas de caracteres (tal como o cdigo-fonte de um

programa de computador)

Anlise sinttica estudo das regras que regem a construo de frases nas
lnguas naturais

Anlise semntica a terceira fase da compilao onde se verificam os erros

semnticos, (por exemplo, fazer a diviso de um nmero inteiro por outro
numero float, na linguagem C padro ANSI)) no cdigo fonte e coletam-se as
informaes necessrias para a prxima fase da compilao, que a gerao de
cdigo objeto.

Interpretador