Exercícios sobre Autômatos Finitos Determinísticos

1) Construa os diagramas de transição dos autômatos finitos determinísticos – AFD – para as linguagens abaixo:
a) {𝑎𝑏, 𝑏𝑐}{𝑎𝑏}∗ {𝑐𝑐, 𝑏𝑎}+
b) Todas as palavras do alfabeto  = {𝑎, 𝑏, 𝑐} que tenha o sufixo 𝑎𝑐𝑎 ou 𝑏𝑐𝑎.
c) Todas as string do alfabeto  = {𝑎, 𝑏, 𝑐} que possua o sufixo 𝑐𝑐 e não contém a substring ac.

2) Construa os diagramas de transição dos autômatos finitos determinísticos – AFD – para as linguagens abaixo:
a) 𝐿 = {𝑤 ∈ {𝑎, 𝑏}∗ | 𝑤 possua a substring 𝑎𝑏𝑎𝑏𝑏}
b) Todas as string do alfabeto  = {𝑎, 𝑏, 𝑐} que possua o sufixo 𝑏𝑐 e não contém a substring 𝑎𝑎.

3) Dados as linguagens abaixo, construa um AFD apresentando no formato de tupla, a tabela de transição, o
diagrama de transição e a linguagem em conjuntos.
a) Conjunto das cadeias sobre {𝑎, 𝑏} que comece por aa e termine em 𝑎𝑎 ou comece por 𝑏𝑏 e termine em 𝑏𝑏.
b) Conjunto das cadeias sobre {𝑎, 𝑏} com um número ímpar de 𝑎´𝑠 e um número par de 𝑏´𝑠.
c) Conjunto das cadeias sobre {𝑎, 𝑏} que contém um número par de substrings 𝑏𝑎.
d) Conjunto das cadeias sobre {𝑎, 𝑏} que contém a substring 𝑎𝑎𝑏𝑏𝑎.

4) Construa um AFD para cada uma das linguagens regulares abaixo sobre o alfabeto {𝑎, 𝑏}
a) {𝑎𝑏}∗ {𝑏𝑎}
b) {𝑎𝑏}∗ {𝑏𝑎}∗
c) {𝑎𝑎}{𝑎, 𝑏}+ {𝑏𝑏}
d) {{𝑎𝑎}+ {𝑏𝑏}}∗
e) {{𝑎}{𝑏}∗ {𝑎}}∗
f) {𝑎, 𝑏}∗ {𝑎𝑏𝑏𝑎}