Contexto: relaciones entre lógica y autómatas
El teorema de Büchi establece que la lógica de segundo orden monádico sobre cadenas (MSO) captura la clase de lenguajes regulares. La prueba muestra que en realidad existencial MSO ( o EMSO ) sobre cadenas es suficiente para capturar los lenguajes regulares. Esto puede ser un poco sorprendente, ya que, sobre las estructuras generales, MSO es estrictamente más expresivo que ∃ MSO .
Mi pregunta (original): ¿una lógica mínima para los idiomas normales?
¿Existe una lógica que, sobre las estructuras generales, es estrictamente menos expresiva que , pero que aún captura la clase de lenguajes regulares cuando se considera sobre cadenas?
En particular, me gustaría saber qué fragmento de los idiomas regulares es capturado por FO sobre cadenas cuando se extiende con un operador de punto menos fijo (FO + LFP). Parece un candidato natural para lo que estoy buscando (si no es ).
Una primera respuesta
Según la respuesta de @ makoto-kanazawa , tanto FO (LFP) como FO (TC) capturan más que los lenguajes regulares, donde TC es un operador de cierre transitivo de relaciones binarias. Queda por ver si TC puede ser reemplazado por otro operador o conjunto de operadores de tal manera que la extensión capture exactamente la clase de lenguajes regulares y no otros.
La lógica de primer orden por sí sola, como sabemos, no es suficiente, ya que captura idiomas libres de estrellas, una subclase adecuada de los idiomas regulares. Como ejemplo clásico, el lenguaje Paridad no puede expresarse usando una oración FO.
Pregunta actualizada
Aquí hay una nueva redacción de mi pregunta, que permanece sin respuesta.
¿Cuál es la extensión mínima de la lógica de primer orden de manera que FO + esta extensión, cuando se toma sobre cadenas, captura exactamente la clase de lenguajes regulares?
Aquí, una extensión es mínima si es la menos expresiva (cuando se toma sobre estructuras generales) entre todas las extensiones que capturan la clase de lenguajes regulares (cuando se toman sobre cadenas).