Teoria da Computação

.: Prove que a Linguagem L1 é regular (considere ):

L1 = {w | w contém a cada bloco de cinco símbolos consecutivos pelo ao menos
dois 0’s}

Usando da lógica de que a cada 5 símbolos (não importando a localização

deles na string) encontrados a quantidade de 0’s é igual ou maior que dois, temos
como montar o seguinte DFA:

Levando em consideração que é possível encontrar um DFA que aceite “w”

citada em L1 e que uma linguagem é regular quando é possível encontrar um DFA
que aceita apenas strings pertencentes à sua linguagem, é possível provar que L1 é
regular.

.: Considere o autômato M = ({q0, q1}, {0,1}, , q0, {q0, q1}), sendo que a função de
transição é especificada pela tabela de transição abaixo:

A. Qual a linguagem reconhecida por M? Utilize notação de conjunto.

 𝑛 𝑚
LM = { w | w satisfaz 0 1 , n >0, m>=0 }

B. Construa o autômato complementar de M.

.: Projetar um e-NFA para as seguintes linguagens

A. L2 = {w | w contém no mínimo três ocorrências de abc}

B. L3 = {w | w contém no mínimo três ocorrências de a ou no mínimo três

ocorrências de b ou no mínimo três ocorrências de c}
C. L4 = {w | w começa com abc e termina com bca}

D. L5 = {w | |w| > 1 e os a's (se houver) precedem os b’s e b's (se houver) precedem
os c’s}