AGENDA 1. REVISÃO - Linguagens Formais 2. Autômatos Finitos Determinísticos - Cadeias e Linguagens 3. Autômatos Finitos Determinísticos - Concatenação 4. Autômatos Finitos Determinísticos - Linguagens 5. Símbolo, alfabeto, cadeia e linguagem 6. Linguagens Formais 7. Tipos de Formalismos 8. Linguagens Formais 9. Classificação das Linguagens 10. Linguagens Regulares 11. Autômato Finito Determinístico 12. Máquina de Estados Finitos 13. Dúvidas? 14. Bibliografia Básica.

1. AULA 2 - TEÓRICA
Professor MSc Cloves Rocha
Jaboatão dos Guararapes, Agosto 2018.2
PIE - LINGUAGENS FORMAIS E AUTÔMATOS - CCO 6

2. AGENDA
1. REVISÃO - Linguagens Formais
2. Autômatos Finitos Determinísticos - Cadeias e Linguagens
3. Autômatos Finitos Determinísticos - Concatenação
4. Autômatos Finitos Determinísticos - Linguagens
5. Símbolo, alfabeto, cadeia e linguagem
6. Linguagens Formais
7. Tipos de Formalismos
8. Linguagens Formais
9. Classificação das Linguagens
10. Linguagens Regulares
11. Autômato Finito Determinístico
12. Máquina de Estados Finitos
13. Dúvidas?
14. Bibliografia Básica.

3. REVISÃO - Linguagens Formais
● Como expressar formalmente uma linguagem computacional?
● Enfoque teórico no problema da sintaxe;
○ Sintaxe vs. Semântica (lógica).
● Auxílio na evolução dos algoritmos de compilação.

4. Autômatos Finitos Determinísticos - Cadeias e Linguagens
símbolo de um
somatório.
= PALAVRAS.

5. Autômatos Finitos Determinísticos - Cadeias e Linguagens
= Lambda (Λ ou λ;
em grego: λάμδα,
transl.: lámbda) é
a décima primeira
letra do alfabeto
grego.

6. Autômatos Finitos Determinísticos - Cadeias e Linguagens
A ORDEM TEM INFLUÊNCIA
NO RESULTADO FINAL.

7. Autômatos Finitos Determinísticos - Concatenação
SEM CONCATENAÇÃO.
INVERTE A CONCATENAÇÃO.

8. Autômatos Finitos Determinísticos - Linguagens
símbolo de um
somatório.

9. Símbolo, alfabeto, cadeia e linguagem
Símbolo Cadeia Linguagem
Alfabeto
Item de
Sequencia de
elemento de
conjunto de
= PALAVRAS.

10. Linguagens Formais
● Veremos como descrever uma linguagem, seja ela finita ou
infinita
○ Formalismos matemáticos
● Existem três tipos de formalismos...

11. Tipos de Formalismos
● Reconhecedores
○ Recebe uma palavra e retorna um valor para dizer se
ela é ou não da linguagem.
● Geradores
○ Define um conjunto de regras que podem ser
combinadas para gerar palavras.
● Denotacional (Gerador?)
○ Uma expressão que denota de modo geral as palavras
de linguagem.

12. Linguagens Formais
● Veremos diversos formalismos de cada um dos três tipos.
● Alguns formalismos são mais poderosos do que outros.
○ Especificam mais linguagens.
● Linguagens classificadas segundo os formalismos que as
reconhecem.

13. Classificação das Linguagens
● Hierarquia de Chomsky.
○ Quadro categorias hierárquicas.
○ Categorias superiores incluem todas as demais.
○ Cada categoria é reconhecida por certos formalismos
característicos.

14. Classificação das Linguagens
● Hierarquia de Chomsky.
DIMENSÕES DE APROFUNDAMENTO TEÓRICO.

15. Linguagens Regulares
● Chamadas de Linguagens Tipos 3.
○ Classe mais simples e restrita.

16. Autômato Finito Determinístico
● Formalismo reconhecedor
○ Recebe uma palavra de entrada.
○ Indica se ela é aceita ou rejeitada.
● Baseado no conceito de “máquinas de estados finitos”

17. Máquina de Estados Finitos
● Conjunto finito de estados
○ Um estado representa a “situação atual”.
● Mudanças de estados
○ Depende do estado atual.
○ Depende de uma certa entrada.
● Não guarda histórico de estados.

18. Obrigado! Thank you!
Dúvidas??? <?php
print("ACESSO AO MATERIAL");
<?php
print("http://slideshare.net/ClovesRocha");

19. Bibliografia Básica
● MENEZES, Paulo F. B., Linguagens Formais e Autômatos [recurso
eletrônico, Minha Biblioteca]. Porto Alegre, Grupo A, 2011.
● DIVERIO, Tiaraju A., Teoria da Computação: Máquinas universais e
computabilidade [recurso eletrônico, Minha Biblioteca]. Porto Alegre,
● Grupo A, 2011.
● SIPSER, Michael., Introdução à teoria da computação [recurso
eletrônico, Minha Biblioteca]. São Paulo: Cengage Learning, 2007.