Preguntas etiquetadas con automata

Preguntas sobre dispositivos matemáticos que leen un flujo de entrada símbolo por símbolo y usan un mapa de transición de estado para producir un flujo de salida, tal vez usando almacenamiento secundario.

1
¿Cómo escribo una prueba usando inducción en la longitud de la cadena de entrada?
En mi curso de teoría de la computación, muchos de nuestros problemas implican el uso de la inducción en la longitud de la cadena de entrada para probar declaraciones sobre autómatas finitos. Entiendo la inducción matemática, sin embargo, cuando las cuerdas entran en juego, me tropiezo de verdad. Realmente agradecería …
1
Construya un PDA para el complemento de
Me pregunto si esto es posible, ya que{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Por lo tanto, un PDA que puede distinguir una palabra del resto de podría aceptarla , lo que me parece contradictorio.w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Supongo que necesito aprovechar la naturaleza …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.