Fundamentação Teórica da Ciência da Computação

Fundamentação Teórica da Ciência da Computação Resumo  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. A Teoria da Computação abrange o estudo de modelos de computadores ou máquinas e o respectivo poder computacional destes modelos. Isto é, que classes de problemas podem ser resolvidas em cada modelo e como representá-los. O modelo de computação atual é incapaz de entender a linguagem humana direta: seja falada ou escrita, dado o número enorme de possibilidades de significados e/ou acepções de uma mesma palavra, além das variações de construções de frases.
Palavras-Chave  Computação, Teoria da Computação, Modelo de Computação, Linguagem Humana Direta.
Introdução
Como trabalho da disciplina de Teoria da Computação, semestre 2013/I, desenvolveremos este artigo científico sobre como teoria-e-prática são influenciadas mutuamente na computação. A intenção aqui é fazer uma reflexão e conhecer a importância da fundamentação teórica da ciência da computação.

Introdução a Teoria da Computação A Teoria da Computação que têm o objetivo de tentar responder quais são as capacidades e as limitações dos computadores: Teoria das Linguagens Formais e dos Autômatos, é composta de duas partes centrais, a Teoria da Computabilidade e a Tese de Church-Turing.
A primeira parte trata das definição e propriedades de modelos matemáticos de computação que têm um papel fundamental em várias áreas da Computação como o processamento de textos, compiladores, definição de linguagens de programação, dentre outras. Além desse lado prático, do ponto de vista teórico, para se definir o que é ou não computável é necessário utilizar um modelo matemático que represente o que se entende por computação.
A segunda parte é centralizada na Tese de Church-Turing