SlideShare uma empresa Scribd logo
Autˆomatos e Computabilidade: Prova 1
1. Indique se cada uma das seguintes afirma¸c˜oes ´e verdadeira ou falsa, e justifique sua resposta.
Aten¸c˜ao: respostas corretas sem uma justificativa adequada n˜ao receber˜ao pontos. N˜ao ´e
necess´ario fazer provas formais.
(a) Se um AFD M tem k estados, ent˜ao M deve aceitar alguma cadeia de comprimento
pelo menos k − 1.
Resposta: Falso. O conjunto de estados de aceita¸c˜ao de um autˆomato pode ser
vazio, em cujo caso o autˆomato n˜ao aceita nenhuma cadeia.
(b) O conjunto de todas as linguagens regulares sobre o alfabeto Σ = {a} ´e finito.
Resposta: Falso. Os conjuntos {a}, {aa}, {aaa},...s˜ao linguagens regulares, e o
conjunto delas, {{a},{aa},{aaa,. . . } ´e infinito.
(c) A linguagem gerada pela express˜ao regular ∅∗
a∗
´e vazia.
Resposta: Falso. ∅∗
= {ε}; portanto, ∅∗
a∗
=a∗
.
(d) Se L = L1 ∪ L2 e L e L1 s˜ao linguagens regulares, ent˜ao L2 tamb´em ´e regular.
Resposta: Falso. Se L1 ´e a linguagem regular Σ∗
e L2 ´e qualquer linguagem n˜ao
regular sobre Σ, ent˜ao L = L1 ∪ L2 = Σ∗
, que ´e regular.
(e) Se L ´e uma linguagem regular sobre um alfabeto Σ, ent˜ao L′
= {aw| w ∈ L}, onde
a ∈ Σ, tamb´em ´e regular.
Resposta: Verdadeiro. Considere a linguagem regular L′′
= {a}. Ent˜ao,
L′
= L′′
◦ L, que ´e regular, pois a classe das linguagens regulares ´e fechada sobre a
concatena¸c˜ao.
(f) O conjunto de todas as palavras que est˜ao em todos os livros da Biblioteca Central
da UnB, nas quais a quantidade de vogais ´e a mesma que a de consoantes, ´e uma
linguagem regular.
Resposta: Verdadeiro. O conjunto de todas essas palavras ´e finito, e todo con-
junto finito ´e uma linguagem regular. Cada uma das palavras constitui uma lin-
guagem regular com uma ´unica cadeia, pois podemos construir um AFD que aceite
unicamente essa cadeia e rejeite qualquer outra. A uni˜ao de todas essas lingua-
gens tamb´em ´e regular, pois a classe das linguagens regulares ´e fechada sobre essa
opera¸c˜ao.
(g) Se um AFN M aceita a cadeia vazia (ε), ent˜ao o estado inicial de M necessariamente
deve ser um estado de aceita¸c˜ao.
Resposta: Falso. O seguinte AFN aceita (ε).
q1 q2
ε
(h) Toda linguagem finita ´e regular.
Resposta: Verdadeiro. Cada uma das cadeias da linguagem constitui uma lin-
guagem regular com uma ´unica cadeia, pois podemos construir um AFD que aceite
unicamente essa cadeia e rejeite qualquer outra. A uni˜ao de todas essas lingua-
gens tamb´em ´e regular, pois a classe das linguagens regulares ´e fechada sobre essa
opera¸c˜ao.
(i) Para cada linguagem regular L, ´e poss´ıvel construir um AFN que reconhe¸ca L e que
tenha um ´unico estado de aceita¸c˜ao.
Resposta: Verdadeiro. Se L ´e regular, ´e reconhecida por algum AFD, que pode
ser transformado em um AFN M1. Para ter um ´unico estado de aceita¸c˜ao, cons-
tru´ımos um novo AFN M, equivalente ao anterior, adicionando setas ε dos estados
de aceita¸c˜ao de M1 a um novo estado de aceita¸c˜ao ´unico, como mostra o seguinte
diagrama.
M1
ε
ε
M
(j) A linguagem gerada pela express˜ao regular ∅a∗
(a ∪ b) ´e vazia.
Resposta: Verdadeiro. Concatenar ∅ a qualquer linguagem produz a linguagem
vazia.
(k) Se L ´e uma linguagem regular e L′
⊆ L, ent˜ao L′
tamb´em ´e regular.
Resposta: Falso. Por exemplo, suponha que L ´e a linguagem regular Σ∗
, e L′
´e
qualquer linguagem n˜ao regular sobre Σ. Ent˜ao, L′
⊆ L.
(l) Para cada AFN com n estados, existe um AFD com um m´aximo de 2n
estados que
reconhece a mesma linguagem que o AFN.
Resposta: Verdadeiro. O m´etodo para transformar um AFN em um AFD equi-
valente, visto em aula, produz um AFD cujos estados s˜ao subconjuntos do AFN. A
quantidade de subconjuntos de estados do AFN ´e 2n
.
2. Considere o seguinte AFN sobre o alfabeto Σ = {a,b}.
1 2
3 4
5
ε,a
b ε,b
b
ε
a
a
ε,b
(a) Transforme o AFN em um AFD que reconhe¸ca a mesma linguagem. Nomeie cada estado
do AFD apropriadamente para indicar a quais estados do AFN corresponde. Aten¸c˜ao:
N˜ao ´e necess´ario mostrar os estados inalcan¸c´aveis desde o estado inicial.
Resposta:
{1,2,3,4} {2,3,4,5}
{2,3,4}
a
b
b
a
a
b
(b) Qual a linguagem reconhecida pelo AFD? Forne¸ca uma express˜ao regular simples.
Resposta: O AFD reconhece a linguagem (a ∪ b)∗
. Note que todos os estados s˜ao
estados de aceita¸c˜ao.
3. Considere o seguinte AFN sobre o alfabeto Σ = {a,b}.
1 2
3 4
5
a
b
ε,b
b
ε,b
a
ε
a
(a) Transforme o AFN em um AFD que reconhe¸ca a mesma linguagem. Nomeie cada estado
do AFD apropriadamente para indicar a quais estados do AFN corresponde. Aten¸c˜ao:
N˜ao ´e necess´ario mostrar os estados inalcan¸c´aveis desde o estado inicial.
Resposta:
{1} {2,3,4} {2,3,4,5}
a,b a
b
b
a
(b) Qual a linguagem reconhecida pelo AFD? Forne¸ca uma express˜ao regular simples.
Resposta: O AFD reconhece a linguagem (a ∪ b)(a ∪ b)∗
. Note que aceita qualquer
cadeia, exceto a cadeia vazia.
4. Seja um AFN M que reconhece a linguagem L sobre o alfabeto {a,b}. Construa um novo
AFN que reconhece a linguagem L′
= {xwx| w ∈ L, x ∈ Σ}. Por exemplo, se aab ∈ L, ent˜ao
aaaba ∈ L′
e baabb ∈ L′
.
Resposta: Verdadeiro. A partir do AFN M, constru´ımos o novo AFN, M′
, como
mostra o seguinte diagrama.
M
b
b
a
a
a
b
M′
5. Escreva uma express˜ao regular para a linguagem L que cont´em todas as cadeias em a∗
b∗
cujo comprimento ´e um m´ultiplo de 3. Por exemplo, L cont´em aaaabb, mas n˜ao cont´em
ababab ou aaabb.
Resposta: (aaa)∗
(bbb)∗
∪ (aaa)∗
aab(bbb)∗
∪ (aaa)∗
abb(bbb)∗
.
6. Utilize o lema do bombeamento para provar que a linguagem L1 = {ai
bj
ak
| k > i + j} n˜ao
´e regular.
Resposta: Suponha que L1 ´e regular, e que p ´e o comprimento de bombeamento. Con-
sidere a cadeia s =ap
bap+2
∈ L1, cujo comprimento ´e |s| > p. Fazemos s = xyz, onde
|xy| ≤ p e |y| > 0. Ent˜ao, y deve conter somente as; assim, y =an
, onde 0 < n ≤ p0.
Segundo o lema, xyyz ∈ L1. No entanto, xyyz =ap+n
bap+2
. Como p+2 n˜ao ´e maior que
p + n + 1, ent˜ao xyyz /∈ L1. A contradi¸c˜ao indica que L1 n˜ao pode ser regular.
7. Utilize o lema do bombeamento para provar que a linguagem L1 = {ci
bj
ai+j
| i,j > 0} n˜ao
´e regular.
Resposta: Suponha que L1 ´e regular, e que p ´e o comprimento de bombeamento. Con-
sidere a cadeia s =cp
bp
a2p
∈ L1, cujo comprimento ´e |s| > p. Fazemos s = xyz, onde
|xy| ≤ p e |y| > 0. Ent˜ao, y deve conter somente cs; assim, y =cn
, onde 0 < n ≤ p.
Segundo o lema, xyyz ∈ L1. No entanto, xyyz =cn+p
bp
a2p
. Como n + p + p = 2p, ent˜ao
xyyz /∈ L1. A contradi¸c˜ao indica que L1 n˜ao pode ser regular.

Mais conteúdo relacionado

PPTX
Pumping lemma
DOCX
8-Practice problems on operator precedence parser-24-05-2023.docx
PPTX
Pumping lemma Theory Of Automata
PPT
CHOMSKY AND GREIBACH NORMAL FORM.ppt
PDF
Theory of Computation Grammar Concepts and Problems
PPTX
Syntax analyzer
PPTX
Context free grammars
PDF
Context free langauges
Pumping lemma
8-Practice problems on operator precedence parser-24-05-2023.docx
Pumping lemma Theory Of Automata
CHOMSKY AND GREIBACH NORMAL FORM.ppt
Theory of Computation Grammar Concepts and Problems
Syntax analyzer
Context free grammars
Context free langauges

Mais procurados (20)

PPTX
Theory of automata and formal language
PPTX
Regular Expression to Finite Automata
PDF
Theory of Computation Lecture Notes
PPT
Theory of Automata Lesson 02
PDF
Pumping lemma for cfl
PPT
Non regular languages
PDF
Syntax analysis
PPTX
Algorithm Design and Complexity - Course 7
PDF
Lecture: Automata
PPTX
NLP_KASHK:Smoothing N-gram Models
PPTX
System verilog coverage
PPT
pushdown automata
PPTX
Introduction TO Finite Automata
PPTX
What Is Dynamic Programming? | Dynamic Programming Explained | Programming Fo...
PPTX
Theory of Computation Unit 2
PDF
Pumping lemma
PPT
Kleene's theorem
PDF
design-compiler.pdf
PPTX
Pumping lemma for regular set h1
Theory of automata and formal language
Regular Expression to Finite Automata
Theory of Computation Lecture Notes
Theory of Automata Lesson 02
Pumping lemma for cfl
Non regular languages
Syntax analysis
Algorithm Design and Complexity - Course 7
Lecture: Automata
NLP_KASHK:Smoothing N-gram Models
System verilog coverage
pushdown automata
Introduction TO Finite Automata
What Is Dynamic Programming? | Dynamic Programming Explained | Programming Fo...
Theory of Computation Unit 2
Pumping lemma
Kleene's theorem
design-compiler.pdf
Pumping lemma for regular set h1
Anúncio

Destaque (13)

PDF
Prova 02 de Autômatos e Computabilidade
PDF
2º/2012 - Prova 03 de Autômatos e Computabilidade
PDF
Lista de Exercícios - Linguagem Formais e Autômatos
PDF
Teoria Lista Exercicios 1.0
PDF
2º/2012 - Prova 02 de Autômatos e Computabilidade
PDF
2º/2012 - Prova 01 de Autômatos e Computabilidade
PDF
Cadernodequestes ano2008
PDF
Inteligência Artificial Aplicada na SC&L - Thiago Richter - Palestra 2009 Pt Br
PDF
INFUZZY - FERRAMENTA PARA DESENVOLVIMENTO DE APLICAÇÕES DE SISTEMAS DIFUSOS
PDF
Expressões Regulares: Teoria e Prática
PDF
Aula 7 expressão regular
PPT
Gramáticas E Linguagens Formais
PPT
Logica fuzzy Conceitos e Aplicações
Prova 02 de Autômatos e Computabilidade
2º/2012 - Prova 03 de Autômatos e Computabilidade
Lista de Exercícios - Linguagem Formais e Autômatos
Teoria Lista Exercicios 1.0
2º/2012 - Prova 02 de Autômatos e Computabilidade
2º/2012 - Prova 01 de Autômatos e Computabilidade
Cadernodequestes ano2008
Inteligência Artificial Aplicada na SC&L - Thiago Richter - Palestra 2009 Pt Br
INFUZZY - FERRAMENTA PARA DESENVOLVIMENTO DE APLICAÇÕES DE SISTEMAS DIFUSOS
Expressões Regulares: Teoria e Prática
Aula 7 expressão regular
Gramáticas E Linguagens Formais
Logica fuzzy Conceitos e Aplicações
Anúncio

Semelhante a Prova 01 de Autômatos e Computabilidade (17)

PDF
Fundamentos da Teoria da Computação Segunda Lista de Exercícios - Aula sobre ...
PDF
Aula 9 propriedadedas linguagensregulares
PDF
Prova 03 de Autômatos e Computabilidade
PPTX
Teoria da Computação - Fecho sob as operacoes regulares
PDF
linguagens regulares na ciencia da computação.pdf
PDF
Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...
PDF
Apostila Linguagens Formais e Autômatos (LFA)
PDF
04 propriedades das linguagens regulares
PDF
07 propriedades e reconhecimento das linguagens livres do contexto
PDF
Linguagens não recursivamente enumeráveis e Hierarquia de Chomsky
PDF
Introd logica mat ii
PDF
Aula 12 revisãodos exercícios
PDF
Lista tc02
PDF
05 indecibilidade
PDF
06-Complementos de LRE e LR - Reducoes.pdf
PDF
Aula 5 linguagens regularese automatosfinitosnãodeterministico
PDF
Linguagens Formais
Fundamentos da Teoria da Computação Segunda Lista de Exercícios - Aula sobre ...
Aula 9 propriedadedas linguagensregulares
Prova 03 de Autômatos e Computabilidade
Teoria da Computação - Fecho sob as operacoes regulares
linguagens regulares na ciencia da computação.pdf
Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...
Apostila Linguagens Formais e Autômatos (LFA)
04 propriedades das linguagens regulares
07 propriedades e reconhecimento das linguagens livres do contexto
Linguagens não recursivamente enumeráveis e Hierarquia de Chomsky
Introd logica mat ii
Aula 12 revisãodos exercícios
Lista tc02
05 indecibilidade
06-Complementos de LRE e LR - Reducoes.pdf
Aula 5 linguagens regularese automatosfinitosnãodeterministico
Linguagens Formais

Último (20)

PPT
Elementos constituintes do esquema argumentativo (tese, argumento, tema, pont...
PDF
ESPELHOS DA ALMA A PSICOLOGIA POR TRÁS DOS CONTOS DE FADAS.pdf
PDF
Formação politica brasil_2017.pptx.pdf
PPTX
administraoemenfermagem e introdução de medicamento
PDF
metabolismo energtico das clulas-131017092002-phpapp02.pdf
PPSX
4. A Cultura da Catedral - HistóriaCArtes .ppsx
PDF
Uma Introdução às Ciências do Alcorão (Islam)
PDF
Extintores e Acessórios por Francisco Borges.pdf
PPTX
Lição 8 EBD.pptxtudopossonaquelequemimfortalece
PPTX
4. A cultura do cinema e as vanguardas.pptx
PPTX
Trabalho Cidades sustentáveis ou Utopia.pptx
PDF
Ebook - Matemática_Ensino_Médio_Saeb_V1.pdf
PDF
manual-orientacao-asb_5a8d6d8d87160aa636f63a5d0.pdf
PPTX
QuestõesENEMVESTIBULARPARAESTUDOSEAPRENDIZADO.pptx
PPTX
EMBRIOLOGIA ANIMAL - fases do desenvolvimento.pptx
PPTX
AULA METodologia MODIFIC PART 1 MSC.pptx
PPT
HISTOLOGIA VEGETAL - tecidos vegetais.ppt
PDF
Combate a Incêndio - Estratégias e Táticas de Combate a Incêndio por Francis...
PPT
História e Evolução dos Computadores domésticos
PDF
DOENÇAS SEXUALMENTE TRANSMISSIVEIS E SUAS POLARIDADES
Elementos constituintes do esquema argumentativo (tese, argumento, tema, pont...
ESPELHOS DA ALMA A PSICOLOGIA POR TRÁS DOS CONTOS DE FADAS.pdf
Formação politica brasil_2017.pptx.pdf
administraoemenfermagem e introdução de medicamento
metabolismo energtico das clulas-131017092002-phpapp02.pdf
4. A Cultura da Catedral - HistóriaCArtes .ppsx
Uma Introdução às Ciências do Alcorão (Islam)
Extintores e Acessórios por Francisco Borges.pdf
Lição 8 EBD.pptxtudopossonaquelequemimfortalece
4. A cultura do cinema e as vanguardas.pptx
Trabalho Cidades sustentáveis ou Utopia.pptx
Ebook - Matemática_Ensino_Médio_Saeb_V1.pdf
manual-orientacao-asb_5a8d6d8d87160aa636f63a5d0.pdf
QuestõesENEMVESTIBULARPARAESTUDOSEAPRENDIZADO.pptx
EMBRIOLOGIA ANIMAL - fases do desenvolvimento.pptx
AULA METodologia MODIFIC PART 1 MSC.pptx
HISTOLOGIA VEGETAL - tecidos vegetais.ppt
Combate a Incêndio - Estratégias e Táticas de Combate a Incêndio por Francis...
História e Evolução dos Computadores domésticos
DOENÇAS SEXUALMENTE TRANSMISSIVEIS E SUAS POLARIDADES

Prova 01 de Autômatos e Computabilidade

  • 1. Autˆomatos e Computabilidade: Prova 1 1. Indique se cada uma das seguintes afirma¸c˜oes ´e verdadeira ou falsa, e justifique sua resposta. Aten¸c˜ao: respostas corretas sem uma justificativa adequada n˜ao receber˜ao pontos. N˜ao ´e necess´ario fazer provas formais. (a) Se um AFD M tem k estados, ent˜ao M deve aceitar alguma cadeia de comprimento pelo menos k − 1. Resposta: Falso. O conjunto de estados de aceita¸c˜ao de um autˆomato pode ser vazio, em cujo caso o autˆomato n˜ao aceita nenhuma cadeia. (b) O conjunto de todas as linguagens regulares sobre o alfabeto Σ = {a} ´e finito. Resposta: Falso. Os conjuntos {a}, {aa}, {aaa},...s˜ao linguagens regulares, e o conjunto delas, {{a},{aa},{aaa,. . . } ´e infinito. (c) A linguagem gerada pela express˜ao regular ∅∗ a∗ ´e vazia. Resposta: Falso. ∅∗ = {ε}; portanto, ∅∗ a∗ =a∗ . (d) Se L = L1 ∪ L2 e L e L1 s˜ao linguagens regulares, ent˜ao L2 tamb´em ´e regular. Resposta: Falso. Se L1 ´e a linguagem regular Σ∗ e L2 ´e qualquer linguagem n˜ao regular sobre Σ, ent˜ao L = L1 ∪ L2 = Σ∗ , que ´e regular. (e) Se L ´e uma linguagem regular sobre um alfabeto Σ, ent˜ao L′ = {aw| w ∈ L}, onde a ∈ Σ, tamb´em ´e regular. Resposta: Verdadeiro. Considere a linguagem regular L′′ = {a}. Ent˜ao, L′ = L′′ ◦ L, que ´e regular, pois a classe das linguagens regulares ´e fechada sobre a concatena¸c˜ao. (f) O conjunto de todas as palavras que est˜ao em todos os livros da Biblioteca Central da UnB, nas quais a quantidade de vogais ´e a mesma que a de consoantes, ´e uma linguagem regular. Resposta: Verdadeiro. O conjunto de todas essas palavras ´e finito, e todo con- junto finito ´e uma linguagem regular. Cada uma das palavras constitui uma lin- guagem regular com uma ´unica cadeia, pois podemos construir um AFD que aceite unicamente essa cadeia e rejeite qualquer outra. A uni˜ao de todas essas lingua- gens tamb´em ´e regular, pois a classe das linguagens regulares ´e fechada sobre essa opera¸c˜ao.
  • 2. (g) Se um AFN M aceita a cadeia vazia (ε), ent˜ao o estado inicial de M necessariamente deve ser um estado de aceita¸c˜ao. Resposta: Falso. O seguinte AFN aceita (ε). q1 q2 ε (h) Toda linguagem finita ´e regular. Resposta: Verdadeiro. Cada uma das cadeias da linguagem constitui uma lin- guagem regular com uma ´unica cadeia, pois podemos construir um AFD que aceite unicamente essa cadeia e rejeite qualquer outra. A uni˜ao de todas essas lingua- gens tamb´em ´e regular, pois a classe das linguagens regulares ´e fechada sobre essa opera¸c˜ao. (i) Para cada linguagem regular L, ´e poss´ıvel construir um AFN que reconhe¸ca L e que tenha um ´unico estado de aceita¸c˜ao. Resposta: Verdadeiro. Se L ´e regular, ´e reconhecida por algum AFD, que pode ser transformado em um AFN M1. Para ter um ´unico estado de aceita¸c˜ao, cons- tru´ımos um novo AFN M, equivalente ao anterior, adicionando setas ε dos estados de aceita¸c˜ao de M1 a um novo estado de aceita¸c˜ao ´unico, como mostra o seguinte diagrama. M1 ε ε M (j) A linguagem gerada pela express˜ao regular ∅a∗ (a ∪ b) ´e vazia. Resposta: Verdadeiro. Concatenar ∅ a qualquer linguagem produz a linguagem vazia. (k) Se L ´e uma linguagem regular e L′ ⊆ L, ent˜ao L′ tamb´em ´e regular. Resposta: Falso. Por exemplo, suponha que L ´e a linguagem regular Σ∗ , e L′ ´e qualquer linguagem n˜ao regular sobre Σ. Ent˜ao, L′ ⊆ L. (l) Para cada AFN com n estados, existe um AFD com um m´aximo de 2n estados que reconhece a mesma linguagem que o AFN. Resposta: Verdadeiro. O m´etodo para transformar um AFN em um AFD equi- valente, visto em aula, produz um AFD cujos estados s˜ao subconjuntos do AFN. A quantidade de subconjuntos de estados do AFN ´e 2n .
  • 3. 2. Considere o seguinte AFN sobre o alfabeto Σ = {a,b}. 1 2 3 4 5 ε,a b ε,b b ε a a ε,b (a) Transforme o AFN em um AFD que reconhe¸ca a mesma linguagem. Nomeie cada estado do AFD apropriadamente para indicar a quais estados do AFN corresponde. Aten¸c˜ao: N˜ao ´e necess´ario mostrar os estados inalcan¸c´aveis desde o estado inicial. Resposta: {1,2,3,4} {2,3,4,5} {2,3,4} a b b a a b (b) Qual a linguagem reconhecida pelo AFD? Forne¸ca uma express˜ao regular simples. Resposta: O AFD reconhece a linguagem (a ∪ b)∗ . Note que todos os estados s˜ao estados de aceita¸c˜ao. 3. Considere o seguinte AFN sobre o alfabeto Σ = {a,b}. 1 2 3 4 5 a b ε,b b ε,b a ε a
  • 4. (a) Transforme o AFN em um AFD que reconhe¸ca a mesma linguagem. Nomeie cada estado do AFD apropriadamente para indicar a quais estados do AFN corresponde. Aten¸c˜ao: N˜ao ´e necess´ario mostrar os estados inalcan¸c´aveis desde o estado inicial. Resposta: {1} {2,3,4} {2,3,4,5} a,b a b b a (b) Qual a linguagem reconhecida pelo AFD? Forne¸ca uma express˜ao regular simples. Resposta: O AFD reconhece a linguagem (a ∪ b)(a ∪ b)∗ . Note que aceita qualquer cadeia, exceto a cadeia vazia. 4. Seja um AFN M que reconhece a linguagem L sobre o alfabeto {a,b}. Construa um novo AFN que reconhece a linguagem L′ = {xwx| w ∈ L, x ∈ Σ}. Por exemplo, se aab ∈ L, ent˜ao aaaba ∈ L′ e baabb ∈ L′ . Resposta: Verdadeiro. A partir do AFN M, constru´ımos o novo AFN, M′ , como mostra o seguinte diagrama. M b b a a a b M′ 5. Escreva uma express˜ao regular para a linguagem L que cont´em todas as cadeias em a∗ b∗ cujo comprimento ´e um m´ultiplo de 3. Por exemplo, L cont´em aaaabb, mas n˜ao cont´em ababab ou aaabb. Resposta: (aaa)∗ (bbb)∗ ∪ (aaa)∗ aab(bbb)∗ ∪ (aaa)∗ abb(bbb)∗ . 6. Utilize o lema do bombeamento para provar que a linguagem L1 = {ai bj ak | k > i + j} n˜ao ´e regular.
  • 5. Resposta: Suponha que L1 ´e regular, e que p ´e o comprimento de bombeamento. Con- sidere a cadeia s =ap bap+2 ∈ L1, cujo comprimento ´e |s| > p. Fazemos s = xyz, onde |xy| ≤ p e |y| > 0. Ent˜ao, y deve conter somente as; assim, y =an , onde 0 < n ≤ p0. Segundo o lema, xyyz ∈ L1. No entanto, xyyz =ap+n bap+2 . Como p+2 n˜ao ´e maior que p + n + 1, ent˜ao xyyz /∈ L1. A contradi¸c˜ao indica que L1 n˜ao pode ser regular. 7. Utilize o lema do bombeamento para provar que a linguagem L1 = {ci bj ai+j | i,j > 0} n˜ao ´e regular. Resposta: Suponha que L1 ´e regular, e que p ´e o comprimento de bombeamento. Con- sidere a cadeia s =cp bp a2p ∈ L1, cujo comprimento ´e |s| > p. Fazemos s = xyz, onde |xy| ≤ p e |y| > 0. Ent˜ao, y deve conter somente cs; assim, y =cn , onde 0 < n ≤ p. Segundo o lema, xyyz ∈ L1. No entanto, xyyz =cn+p bp a2p . Como n + p + p = 2p, ent˜ao xyyz /∈ L1. A contradi¸c˜ao indica que L1 n˜ao pode ser regular.