Facultad de Ciencias Físicas y Matemáticas Universidad de Chile

MA5201 Calculabilidad y Complejidad

Computacional.
Profesor: José Soto.
Auxiliares: Cristian Palma.

Auxiliar 2
Expresiones Regulares, Lema de Bombeo y Teorema de Myhill-Nerode

P1 Encuentre expresiones regulares para los siguientes lenguajes:

a) L1 = {1n ∈ {1}∗ | n ∈ N, n = 3 mód 8}

b) L2 = {w ∈ {0, 1}∗ | w contiene 001 como subpalabra en una posición par}
c) L3 = {w ∈ {0, 1}∗ | w no contiene 00 como subpalabra}

P2 Pruebe que A = {R ∈ {(, ), 0, 1, ∪, ∗, ◦}∗ | R es expresión regular ∧ R ∈

/ L(R)} no
es regular.

P3 Decimos que un conjunto S es una progresión aritmética si existen a, b ∈ N tales

que S = {a + bn | n ∈ N}.
Sea L ⊆ {0}∗ , se define S(L) := {n ∈ N | 0n ∈ L}. Pruebe que:

S(L) es unión finita de progresiones aritméticas ⇐⇒ L es regular

P4 Pruebe que {0m 1n ∈ {0, 1}∗ | m, n ∈ N, m ̸= n} no es regular usando directamente

el Lema de Bombeo .
Indicación: Considere 0p 1p+p! .

P5 Pruebe que Pal := {x ∈ {0, 1}∗ | x = xR } no es regular, donde xR denota la

palabra x pero con sus caracteres en orden inverso.

P6 Demuestre que los AFD con k estados son más poderosos que los AFD con k − 1
estados. Es decir, hay lenguajes que son reconocidos por AFDs con k estados pero
no por AFDs con k − 1 estados.