Hola. Primero que nada pido disculpas si en el presente post no hago referencia a un problema de examen, pero la duda me surgió justamente preparando el examen de Diciembre.
Sabemos que los AFD reconocen solo los lenguajes regulares. Es de suponer que un AFD de 2 cintas también reconoce ciertos lenguajes particulares, por ejemplo el lenguaje L: (a^n, b^p), con n > p es reconocido por un AFD de 2 cintas?
La pregunta de fondo es, hay algún criterio para decir que un lenguaje NO es reconocido por un AFD de dos cintas.
Gracias desde ya.