¿La prueba incorrecta de cierre bajo la operación en estrella usando NFA da como resultado que la NFA reconozca cadenas no deseadas?

8

Actualmente estoy leyendo el libro Introducción a la teoría de la computación (2da o 3ra ed.) De Michael Sipser , y me he topado con una pregunta en el Capítulo 1 - Lenguajes regulares , es decir, cuando el autor presenta la idea de prueba del Teorema 1.49 - "La clase de idiomas regulares está cerrada bajo la operación estrella". usando NFA.

El enfoque sugerido es que, si tenemos un lenguaje regular UNA1 y quiero demostrar que UNA1 también es regular, podemos tomar un NFA norte1 y modificarlo en un norte como en la imagen a continuación, que es entonces un NFA particular que reconoce UNA1.

Modificando el NFA $ N_1 $

El lo notó:

Una idea (ligeramente mala) es simplemente agregar el estado de inicio al conjunto de estados de aceptación. Este enfoque ciertamente agrega al lenguaje reconocido, pero también puede agregar otras cadenas no deseadas.ε

Dibujé el NFA "malo" como se muestra a continuación y traté de averiguar por qué esto dará como resultado cadenas no deseadas. Sin embargo, no puedo encontrar un ejemplo de cuándo se reconoce una cadena no deseada. ¿Por qué esta idea dará como resultado que la NFA reconozca cadenas no deseadas?

ingrese la descripción de la imagen aquí

¿Podría alguien señalarme esto o darme una pista o no he entendido bien al autor? ¡Gracias por adelantado!

Ardientemente rápido
fuente

Respuestas:

11

Considere un autómata de dos estados para el lenguaje , dos transiciones desde el estado inicial, una en bucle con la etiqueta , la otra con la etiqueta al estado final.unasiunasi

Hacer que el estado inicial sea final, también aceptaría .una

Hendrik Jan
fuente