[Feb 2015, Ej2] Duda sobre PL

[Feb 2015, Ej2] Duda sobre PL

de Octavio Perez Kempner -
Número de respuestas: 3
La duda es si el 0 se considera natural o no dado que el enunciado del contra recíproco del PL menciona que "Para todo natural n, Existe z que pertenece a L..." pero en la solución del ejercicio se toma z=a^Nbc^N.
En mi caso había considerado z=a^(N+1)bbc^(N+2) ya que entendí que si N=0 al considerar el z que se propone en la solución quedaría la tira "b" que no pertenece al lenguaje.
Debo considerar que N puede tomar el valor 0 en los ejercicios de PL a la hora de escoger una tira z o no?

Desde ya muchas gracias.

Saludos,
Octavio
En respuesta a Octavio Perez Kempner

Re: [Feb 2015, Ej2] Duda sobre PL

de Diego Garat -
hola:



la tira z debe tener al menos largo N, con lo que en el fondo uno siempre

puede elegir algo como M=max(N, 100000) y utilizar M en el lugar donde se

pone N.  normalmente no se pide considerar estos casos borde, sino imaginar

que N es lo suficientemente grande.



saludos,