¿Un lenguaje "simple" fuera de

12

Estoy buscando un lenguaje L con las siguientes propiedades:

L no debe estar libre de contexto.
El complemento de L no debe estar libre de contexto. (Todo lo que ves en los libros de texto como ejemplos principales de lenguajes sin contexto parece fallar en este segundo requisito).
No debería ser demasiado difícil. Por ejemplo, sé que los lenguajes indecidibles se ajustan a los dos primeros requisitos, pero lo que quiero es un lenguaje más simple que pueda ser reconocido por un modelo de autómata ligeramente "mejorado", por ejemplo, un autómata de empuje probabilístico.

fl.formal-languages automata-theory

— Cem Say
fuente

15

Aquí hay otro ejemplo:

, donde y es el complemento de . $\mathtt{L} = \{ x\#y \mid x \in \mathtt{EQ},y \in \overline{\mathtt{EQ}} \}$
$\mathtt{EQ}=\{ a^nb^nc^n \mid n \geq 0 \}$ $\overline{\mathtt{EQ}}$ $\mathtt{EQ}$

Es un hecho bien conocido que no está en . $\mathtt{EQ}$ $\mathsf{CFL}$

Suponga que es reconocido por un PDA . Construimos un nuevo PDA . En la entrada , simula en la cadena . Desde reconoce claramente , llegamos a la conclusión de que . $\mathtt{L}$ $\small \mathcal{P_1}$ $\small \mathcal{P}'$ $w$ $\small \mathcal{P}'$ $\small \mathcal{P}_1$ $w\#a$ $\small \mathcal{P}'$ $\mathtt{EQ}$ $\mathtt{L} \notin \mathsf{CFL}$

$\mathtt{L}$ $\small \mathcal{P}_2$ $\small \mathcal{P}''$ $w$ $\small \mathcal{P}''$ $\small \mathcal{P}_2$ $\#w$ $\small \mathcal{P}''$ $\mathtt{EQ}$ $\mathtt{L}$ $\mathsf{coCFL}$

$\mathtt{EQ}$ puede ser reconocido por un autómata de un contador probabilístico (unidireccional) (P1CA) con cualquier límite de error deseado ( Freivalds, 1979 ). Por lo tanto, no es difícil demostrar que también puede ser reconocido por un P1CA con cualquier error deseado vinculado. $\mathtt{L}$

— Abuzer Yakaryilmaz
fuente

¡Incluso mejor que la respuesta de Dominik, ya que también describe un PPDA que reconoce el idioma! (Dominik es un lenguaje de recuento, y no tengo ni idea de cómo construir un PPDA que es superior a un PDA con respecto a un lenguaje de recuento.)

— Cem Say

@CemSay: los PPDA no pueden reconocer ningún lenguaje de registro no regular con error acotado, tampoco Kaneps et al.

— Abuzer Yakaryilmaz

22

¿Qué tal ? Es fácil ver que y su complemento no son regulares y, por lo tanto (como estamos tratando con un alfabeto unario), no están libres de contexto. $L:=\{a^{n^2}\mid n\in\mathbb{N}\}$ $L$

— Dominik D. Freydenberger
fuente

Eso es todo, gracias. Esto es lo que pidió mi pregunta, así que la acepto, pero agradecería mucho cualquier otro ejemplo.

— Cem Say

4

$QSAT$ o incluso son ejemplos, a menos que o respectivamente. es un ejemplo, ya que es -Complete y . $SAT$ $P = PSPACE$ $P = NP$ $SAT$ $NP$ $CFL \subseteq P$

$QSAT$ (verdaderas fórmulas booleanas cuantificadas) es -complete, y es un CSL, reconocible por un LBA. $PSPACE$

Para ejemplos incondicionales, puede tomar un problema arbitrario de -completo, como Ajedrez generalizado o Go. $EXP$

— Mike B.
fuente

Sí, gracias, pero ¿alguna más simple, preferiblemente las de la clase P, por favor?

— Cem Say