Ybadoo - Soluções em Software Livre
Turmas
1º Semestre de 2015

Apresente os possíveis prefixos da palavra testabilidade.
Apresente os possíveis sufixos da palavra testabilidade.
Desenvolva um autômato finito determinístico sobre o alfabeto Σ = {a, b, c} que reconheça a linguagem L = {w | w possui acc ou bbc como prefixo, bcb ou cab como subpalavra e abc ou bba como sufixo}.
Desenvolva um Autômato Finito Não-Determinístico (AFN) sobre o alfabeto Σ = {x, y, z, w}, que reconheça a linguagem L = {w | w possui xyxy ou xzwy ou yyxz como prefixo, xzzyx ou xyzzy ou yxwxw como subpalavra e xwz ou yxy ou zyy como sufixo}.
Desenvolva um Autômato Finito com Movimentos Vazios (AFε) sobre o alfabeto Σ = {1, 2, 3}, que reconheça a linguagem L = {w | w possui 113 ou 321 ou 232 como prefixo, 3221 ou 2113 ou 1331 como subpalavra e 133 ou 211 ou 332 como sufixo}.

Dada a expressão regular a*(a + b)b*:

  1. Construa, usando o algoritmo de Thompson, o autômato finito não-determinístico com movimentos vazios para reconhecer sentenças dessa linguagem.
  2. Converta, usando o método da construção de subconjuntos, o autômato do item a para um autômato finito determinístico.
  3. Minimize, se possível, o número de estados do autômato do item b.

Questão Extra

Considere a expressão regular c*a(a+b+c)*b(a+b+c)*c*

Assinale a alternativa que descreva, corretamente, todas as cadeias geradas por essa expressão regular:

  1. Cadeias sobre o alfabeto {a, b, c} onde o primeiro a precede o primeiro b.
  2. Cadeias sobre o alfabeto {a, b, c} onde um número par de a's.
  3. Cadeias sobre o alfabeto {a, b, c} contendo a substring baa.
  4. Cadeias sobre o alfabeto {a, b, c} contendo um número ímpar de c's.
  5. Cadeias sobre o alfabeto {a, b, c} terminadas por c.