|
Linguagens formais E autômatos |
|
Sistemas formais são de grande importância no estudo da Ciência da Computação, uma vez que permitem representar domínios, contextos e objetos que podem ser manipulados por máquinas e portanto se encontram dentro do escopo de estudo dos informatas. Linguagens específicas e precisamente classificadas são empregadas para a sua descrição e constituem a base mais elementar da modelagem computacional. Esta disciplina é pré-requisito para Teoria da Computação e Compiladores e supõe conhecimento prévio de Sistemas Discretos, Teoria dos Conjuntos, Funções e Lógica Computacional. O objetivo deste sítio é reunir ponteiros e recursos para apoiar a disciplina e disponibilizar dinamicamente material útil para o seu desenvolvimento. Os alunos são convidados a navegar em suas páginas e apresentar, sempre que possível, sugestões e contribuições para o seu contínuo aprimoramento.
|
|
2009.2 |
