Introdução às Linguagens Formais e Autômatos/Introdução

As linguagens formais (ou linguagens estruturadas em frases) podem ser vistas como conjuntos. Conseqüentemente, muito da teoria e dos principais resultados da área de linguagens formais está baseado na ainda mais fundamental teoria dos conjuntos da matemática discreta. A teoria dos conjuntos é relativamente extensa, e dela serão apresentados neste capítulo apenas os tópicos, conceitos e definições que se mostram mais importantes para a fundamentação e o estudo dos capítulos seguintes.