Teoria das linguagens formais surgiu na década de 1950.

Sintaxe e semântica são fundamentais em linguagens de programação.

Conjuntos são coleções de objetos distintos.

Linguagens de programação utilizam paradigmas para resolver problemas.

Conjuntos: coleções de objetos distintos, com notações por extensão e compreensão.

Operações sobre conjuntos: união, intersecção, diferença, complemento.

Relações binárias: subconjuntos do produto cartesiano.

Linguagens Formais: investigação de expressão formal de linguagens computacionais.

Linguagens Formais: estudo de expressão formal de linguagens computacionais.

Alfabetos: conjuntos finitos de símbolos.

Cadeias: sequências finitas de símbolos.

Linguagens: conjuntos de cadeias.

Operações: união, intersecção, complemento, concatenação e substituição.

2. Linguagens Regulares: autômatos finitos, expressões regulares e gramáticas regulares.

3. Autômatos Finitos: sistemas de estados finitos com entradas e saídas discretas.

4. Autômato Finito Determinístico (AFD): máquina com fita, unidade de controle e função de transição.

5. Representação Gráfica: estados como nós, transições como arestas e estados inicial e final destacados.