UFRA PARAGOMINAS

BACHARELADO EM SISTEMAS DE INFORMAÇÃO

LINGUAGENS FORMAIS E AUTÔMATOS

Lista de Exercícios 1

Cap. 2 (Linguagens e Gramáticas)

1 Marque os conjuntos que são alfabetos:

a Conjunto dos números inteiros [ ]

b Conjunto dos números primos [ ]
c Conjunto das letras do alfabeto brasileiro [ x]
d Conjunto dos algarismos arábicos [x ]
e Conjunto dos algarismos romanos [x ]
f Conjunto { a, b, c, d } [x ]
g Conjunto das partes de { a, b, c } [x ]
h Conjunto das vogais [x ]
i Conjunto das letras gregas [x ]

2 Apresente os possíveis prefixos e sufixos de cada uma das seguintes palavras:

a teoria - Prefixo: ε-t-te-teo-teor-teori-teoria///Sufixo: ε-a-ia-ria-oria-eoria-teoria

b universidade- Prefixo:
ε-u-un-uni-univ-unive-univer-univers-universi-universid-universida-universidad-universidade///Sufixo
: ε-e-de-ade-dade-idade-sidade-rsidade-ersidade-versidade-iversidade-niversidade-universidade
c aaa Prefixo: ε-a-aa-aaa///Sufixo: ε-a-aa-aaa
d abccba Prefixo: ε-a-ab-abc-abcc-abccb-abccba///Sufixo: ε-a-ab-abc-abcc-abccb-abccba
e abcabc Prefixo: ε-a-ab-abc-abca-abcab-abcabc///Sufixo: ε-c-bc–abc-cabc-bcabc-abcabc

3 Exemplifique, comprovando ou negando as seguintes propriedades algébricas da operação de

concatenação de palavras:

a Total (suponha a operação definida sobre uma determinada linguagem);

b Comutativa;
c Elemento neutro;
d Associativa;
e. Elemento absorvente, genericamente definida como segue: para uma dada operação binária ⊕ sobre
um conjunto A, afirma-se que a operação possui elemento absorvente se existe a ∈ A tal que, para
qualquer x ∈ A vale que:
a⊕x=x⊕a=a
f Elemento inverso, genericamente definido como segue: para uma dada operação binária ⊕ sobre um
conjunto A, afirma-se que a operação ⊕ possui elemento inverso se possui elemento neutro e e, para
qualquer a ∈ A, existe a ∈ A tal que:
 a⊕a=a⊕a=e

4 Sejam as linguagens L1, L2 e L3. Verifique se é verdadeira a igualdade:

L1 (L2 ∩ L3) = L1 L2 ∩ L1 L3
Cap. 3 (Linguagens Regulares)

1 Sobre as linguagens regulares:

a Qual a importância do seu estudo?

b Exemplifique suas aplicações (para os diversos formalismos);
c Você imagina algum tipo de linguagem cujo algoritmo de reconhecimento seja mais eficiente que o das
regulares? E menos eficiente? Explique a sua resposta.

2 Desenvolva autômatos finitos determinísticos que reconheçam as seguintes linguagens

sobre Σ = { a , b }:

a { w ⏐ o sufixo de w é aa }
b { w ⏐ w possui aaa como subpalavra }
c { w ⏐ w possui número ímpar de a e número ímpar de b }
d { w ⏐ w possui número par de a e ímpar de b ou w possui número par de b e ímpar de a
} e { w ⏐ o quinto símbolo da direita para a esquerda de w é a }

Dica: o autômato resultante possui um número relativamente grande de estados.

3 Qual a condição para que a palavra vazia pertença a linguagem gerada por um autômato finito
determinístico?