Respuesta parcial: Supongamos que A es un autómata de estado finito con el conjunto de estados S y la relación R* de *-equivalencia de estados. [D...
Respuesta parcial: Supongamos que A es un autómata de estado finito con el conjunto de estados S y la relación R* de *-equivalencia de estados. [Demuestre que R* es una relación de equivalencia, debemos demostrar que R es reflexiva, simétrica y transitiva.] Prueba de que R* es simétrica: [Debemos demostrar que para todos los estados s y t, si s R* t entonces t R* s.] Suponga que s y t son estados de A tales que s R* t. [Debemos demostrar que t R* s.] Ya que s R* t, entonces para todas las cadenas de entrada , N*(s, w) es un estado aceptado N*(t, w) es un estado aceptado donde N* es la función de estado
Compartir