Después de estudiar autómatas deterministas de estado finito (DFA) en pregrado, sentí que se los comprende muy bien. Mi pregunta es si hay algo que todavía no entendemos acerca de ellos. No me refiero a generalizaciones de DFA, sino a los DFA originales no modificados que estudiamos en pregrado.
Esta es una pregunta vaga, pero espero que entiendas la idea. Quiero entender si es justo decir que entendemos completamente los DFA. Así que realmente me refiero a preguntas que son inherentemente sobre DFA, no problemas hechos artificialmente para parecer un problema sobre DFA. Permítanme dar un ejemplo de tal problema. Sea L el lenguaje vacío si P = NP y algún lenguaje fijo no regular si P no es NP. ¿Puede L ser aceptado por un DFA? Esta pregunta se trata de DFA, pero no se trata de ellos en espíritu. Espero que mi punto sea claro y no obtengo respuestas pedantes de la gente.
En resumen, es justo decir
Básicamente entendemos completamente los DFA.
Lo siento si resulta que esta es una gran área de investigación de la que no estaba al tanto y acabo de insultar a toda una comunidad de personas.