Trabalhar a compreensão do conceito de computabilidade a partir da evolução dos autô atos e linguagens formais.