Preguntas etiquetadas con fl.formal-languages

lenguajes formales, gramáticas, teoría de autómatas

1
¿Puede la ambigüedad constante reducir la complejidad del estado de un lenguaje regular?
Decimos que NFA MMM es constantemente ambiguo si existe k∈Nk∈Nk\in \mathbb{N} tal que cualquier palabra w∈Σ∗w∈Σ∗w\in \Sigma^* sea ​​aceptada por 000 o (exactamente) caminos.kkk Si el autómata es constantemente ambiguo para , entonces se llama FA inequívoca (UFA).k = 1 MMMMk=1k=1k=1MMM Deje que sea ​​un lenguaje regular.LLL ¿Puede un autómata …
2
¿Qué tan pequeño puede ser un NFA, en comparación con el mínimo autómata finito inequívoco (UFA) del mismo idioma regular?
Los autómatas finitos no ambiguos (UFA) son un tipo especial de autómatas finitos no deterministas (NFA). Un NFA se llama inequívoco si cada palabra tiene como máximo una ruta de aceptación.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Esto significa .D FA ⊂ UFA ⊂ NFUNreFUN⊂UFUN⊂norteFUNDFA\subset UFA\subset NFA Resultados de autómatas relacionados conocidos: La …
1
¿Hay variantes de autómatas visiblemente pushdown que permiten empujar palabras en la pila?
Me pregunto, ¿hay algún trabajo o investigación que trate con autómatas visiblemente pushdown, pero que permita que las palabras, en lugar de letras simples, sean empujadas a la pila. Alternativamente, una construcción que permita que los símbolos se presionen en las transiciones ϵϵ\epsilon podría lograr el mismo objetivo. Obviamente, tales …
3
Lenguas irreducibles
Esta no es necesariamente una pregunta de investigación. Solo una pregunta por curiosidad: Estoy tratando de entender si uno puede definir lenguajes "irreductibles". Como primera suposición, llamo a un idioma L "reducible" si se puede escribir como con y , de lo contrario, llame al idioma "irreducible" . Es verdad:L=A⋅BL=UN⋅siL …
2
Autómatas Büchi con estrategia de aceptación
El problema Deje que A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangle ser un autómata Büchi, reconociendo un lenguaje L⊆ΣωL⊆ΣωL\subseteq\Sigma^\omega . Suponemos que AAA tiene una estrategia de aceptación en el siguiente sentido: hay una función σ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to Q que puede ser utilizado para pruebas piloto de AAA . Lo formalizamos mediante las siguientes condiciones: …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.