Teoria da Computação

Lista de Exercícios – Unidade I

Professor: Helder Oliveira
Entrega: 14/11/2021

Aluno(a):___________________________________________________________

1. (1,0)Descreva formalmente as seguintes linguagens sobre o alfabeto {0, 1}:

(a) O conjunto das cadeias de comprimento ímpar.
(b) O conjunto das cadeias com um prefixo de um ou mais 0s seguidos
imediatamente de um sufixo de zero ou mais 1s.
(c) O conjunto dos palíndromos que não contenham símbolos consecutivos
idênticos.
(d) O conjunto das cadeias com um prefixo de um ou mais 0s seguido
imediatamente de um sufixo de 1s com o mesmo comprimento do prefixo.
2. (4,0) Forneça diagramas de estado de AFDs que reconheçam as seguintes
linguagens. Em todos os casos, o alfabeto é {0, 1}.
(a) {w | w começa com um 1 e termina com um 0}.
(b) {w | w contém no mínimo três 1s}.
(c) {w | w contém a subcadeia 0101, i.e., w = x0101y, para algum x e y}.
(d) {w | w tem comprimento no mínimo 3 e seu terceiro símbolo é um 0}.
(e) {w | w começa com 0 e tem comprimento ímpar ou começa com 1 e tem
comprimento par}.
(f) {w | w não contém a subcadeia 110}.
(g) {w | o comprimento de w é no máximo 5}.
(h) {w | w é qualquer cadeia, exceto 11 e 111}.
(i) {w | toda posição ímpar de w contém 1}.
(j) {w | w contém no mínimo dois 0s e no máximo um 1}.
(k) {λ, 0}.
(l) {w | w contém um número par de 0s ou exatamente dois 1s}.
(m) O conjunto vazio.
(n) Todas as cadeias, exceto a cadeia vazia.
3. (2,0)Forneça autômatos finitos não determinísticos que aceitem as seguintes
linguagens. Tente aproveitar ao máximo a possibilidade de não-determinismo.
(a) O conjunto de cadeias sobre o alfabeto {0, 1, . . . , 9} de comprimento maior
ou igual a dois, tais que seus símbolos finais tenham ocorrido em alguma posição
anterior.
(b) O conjunto de cadeias de 0s e 1s em que existem dois 0s separados por um
número de posições que é múltiplo de 4. Note que 0 é um múltiplo de 4.
4. (2,0) Forneça, em forma de diagramas de estados, AFND-λ’s para as seguintes
linguagens, respeitando o número de estados estipulados para cada caso.
Considere sempre o alfabeto como sendo {0, 1}.
(a) A linguagem {w | w termina com 00}, com três estados.
(b) A linguagem do exercício 2c, com cinco estados.
(c) A linguagem {w | w aceita a cadeia λ}.
(d) A linguagem {0}, com dois estados.
(e) A linguagem {0}∗{1}∗{0}∗{0}, com três estados.
(f) A linguagem { λ }, com um estado.
(g) A linguagem {0}∗, com um estado.
5. (1,0) Obtenha uma Gramática regular que reconheça a linguagem gerada pelo
AFD A do diagrama de estados. Qual é a linguagem gerada pela gramática?