Este es un DCFL clásico y no un lenguaje regular. Este lenguaje requiere que todos los ceros hayan estado antes que todos. Además, este lenguaje tiene una restricción que requiere que los autómatas cuenten el número de unos y ceros (el conteo debe ser igual). Esto requiere un elemento de memoria (pila) y, por lo tanto, un autómata de estado finito (que carece de un elemento de memoria) no es capaz de manejar dicho lenguaje.
La función de transición que sugiera también aceptará cualquier cadena que tenga la forma 01 *, es decir, solo requiere un cero para alcanzar el estado final (q2).
El lema de bombeo de PS es una prueba de negatividad que requiere que la cadena se descomponga en 3 partes, digamos xyz, de modo que
- Con la inmensa potencia de procesamiento en las computadoras actuales, ¿no podemos recurrir al sistema decimal para la informática?
- ¿Qué clases de problemas no se pueden resolver con métodos de optimización?
- Coloque números de cinco bits en los vértices de un hipercubo de 9 dimensiones de modo que, desde cualquier vértice, pueda alcanzar cualquier número en no más de dos movimientos a lo largo de los bordes del hipercubo.
- ¿Cuál es una buena manera de entender que FSA (automatización de estado finito) o los lenguajes regulares están cerrados bajo diferencia, complementación e intersección, pero FST (traductores de estado finito) o relaciones regulares no lo están?
- ¿Cómo se puede construir un nuevo generador de números pseudoaleatorios criptográficamente útil?
- | xy | <n; n es el número de estados en la FA
- Y no debe ser € (épsilon / vacío)
Dado que se cumplen las 2 condiciones anteriores, xy ^ iz también pertenecerá al lenguaje normal. {puedo ser mayor o igual que 0}
Espero que esto ayude. 🙂