Defina la equivalencia de Nerode sobre un idioma como iff para cada .
La equivalencia de Nerode tiene finitamente muchas clases de equivalencia precisamente cuando puede ser reconocido por un autómata de estado finito. Este es el teorema de Myhill-Nerode .
¿Existe una caracterización similar de los lenguajes sin contexto?
Motivación:
Las clases de equivalencia Nerode corresponden cada uno a un estado distinto en cualquier autómata que reconoce . Cada CFL puede ser reconocido por un NPDA, que tiene un número finito de estados pero también una pila de símbolos alfabéticos potencialmente ilimitados. La pila realiza un seguimiento de una posible forma en que se puede analizar una cadena. El número de clases de equivalencia puede ser infinito ya que la pila puede almacenar un número ilimitado de símbolos.
Me pregunto: ¿hay siempre una forma de agrupar las clases de equivalencia para que cada grupo represente un estado del PDA, y cada clase dentro del grupo represente estados equivalentes de la pila para ese estado PDA?
Por ejemplo, el lenguaje de paréntesis correctamente anidados solo necesita estados para manejar pop
y push
, ya que la pila hará un seguimiento de la profundidad de anidación actual. Si tal agrupamiento siempre se puede hacer, entonces si el número de agrupamientos es finito determina si el lenguaje está libre de contexto.
Como señaló @sdcvvc en un comentario, se formuló una forma de esta pregunta como /math/118362, aunque la respuesta de Yuval Filmus a la pregunta relacionada en el Ejemplo de un lenguaje sin contexto que no obstante PUEDE ser bombeado? Es más relevante.