Práctica 4: Lenguajes regulares y lema de pumping (Teoría de Lenguajes)

Ejercicio 05

c) Sup. L regular -> Sea a=0. $\exists$ α$\in$a*, β $\in$a*,γ$\in$a*,β≠λ tq $\forall$ n, αβ^nγ$\in$L. Sean: α=a^p, β=a^q, γ=a^r. Como β≠λ -> q≥1. Se debe cumplir que para todo n, p+nq+r es primo. Sea n=(p+2q+r+2) -> p+nq+r debe ser primo.
p+nq+r = p+(p+2q+r+2)q+r = p+pq+2q^2+rq+2q+r = (q+1)(p+2q+r) es primo. Pero q≥1 -> q+1 ≥ 2 y (p+2*1+r) ≥ 2〉 = (ABS) -> L NO es regular

h) Sup. L regular -> Sea a=0,b=1. Sup M es un autómata con k estados que lo reconoce. Sea ω=a^kb^k. Es claro que ω$\in$L -> (2.5) $\exists$ α, β y ρ tq αβρ=ω y |αβ|≤k y $\forall$ n, αβ^nρ$\in$L. Como ω=a^kb^k y |αβ|≤k -> α y β están compuestas sólo de a´s. Por lo tanto, podemos decir que: α=a^t, β=a^s, ρ=a^[k-(s+t)]b^k, donde 1≤ s+t ≤ k y s ≥ 1. Es claro que: αβρ=ω
Como no se hicieron suposiciones adicionales con respecto a las cadenas, decir que $\forall$ n, αβ^nρ$\in$L equivale a decir que $\forall$ n, t+ns+k-(s+t)=k. Sin embargo tomando n=0, t+ns+k-(s+t) = t+k-(s+t) = k -> -s = 0. Pero s >= 1 (ABS) -> L no es regular.