Buenas, quisiera saber si el siguiente razonamiento es correcto. En resumen manipule el lenguaje dado hasta llegar a una expresión del tipo 0^k1^k que como probamos en el curso no es regular. Pero me gustaría saber si las propiedades que use están siendo bien aplicadas. Dejo una imagen a continuación, desde ya muchas gracias.
[2017] [Primer Parcial] [Ejercicio 2] Es correcto el razonamiento?
Número de respuestas: 2
En respuesta a William Benjamin Tift Corrales
Re: 1 er parcial 2017 ejericio 2 - Es correcto el razonamiento?
de Diego Garat -
hola:
en general, si ustedes aplican operaciones que preservan la regularidad es correcto la forma de razonar que utilizaste.
ahora, para comenzar, hay un tema con la notación: 1^k 0^p 0 no es un lenguaje, sino una tira. para que sea un lenguaje, debería estar rodeado de corchetes y, si los índices son variable, así establecerlo en la definición.
lo anterior parece un problema menor, pero, sin embargo, hace caer toda tu demostración. el lenguaje al que llegás es {2^ 1^t 1^k 0^p / t, k, p...}. ahora, esos índices varían, y no son los mismos que los de B = {1^k 0^p /...} = L (1*0*0) el cociente ya no es el resultado que planteás, porque, por ejemplo, la tira 2222 pertence a ese cociente.
saludos,
d.-
En respuesta a Diego Garat
Re: 1 er parcial 2017 ejericio 2 - Es correcto el razonamiento?
Entiendo, gracias por la respuesta.