Preguntas etiquetadas con fl.formal-languages

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

1
Funciones racionales y CFL
En mi trabajo surgió el problema de la clasificación CFL bajo imágenes de funciones racionales. En otros términos, ¿qué clase de lenguajes forman idiomas , para el contexto fijo lenguaje libre y el transductor de estados finitos determinista . He obtenido algunos resultados fáciles, como el lenguaje Dyck con dos …
1
Autómata de contador multidireccional determinista de dos vías o logspace TM con contador
¿Se sabe algo sobre lenguajes reconocidos por un autómata determinista bidireccional de múltiples cabezas o un logspace TM con contador (modelo equivalente)? Esta clase se llama Aux2DC en el documento de mi asesor . ¿O sobre tal clase no determinista? He obtenido que la clase de idiomas reconocidos por tales …
3
Pregunta de ejemplo de autómatas finitos cuánticos de 1 vía
Estoy tratando de aclarar mi comprensión en el ejemplo presentado en la Sección 2.2 de Autómatas cuánticos finitos de 1 vía: fortalezas, debilidades y generalizaciones (este enlace alternativo también puede ser útil). Este ejemplo proporciona un ejemplo muy simplificado de un 1-QFA con las siguientes reglas de transición: ,Va|q0⟩=12|q0⟩+12|q1⟩+12√|qrej⟩Va|q0⟩=12|q0⟩+12|q1⟩+12|qrej⟩V_a|q_0\rangle = …
1
Propiedades de cierre sin CFL
Un estudiante me pidió lo siguiente y no pude encontrar una respuesta completa: ¿Existen propiedades de cierre para la clase de idiomas que no están libres de contexto? Es bastante fácil encontrar ejemplos que muestren que no está cerrado bajo intersección e iteración (operador estrella de Kleene), pero ¿qué hay …
1
¿Se pueden reescribir las expresiones regulares que contienen cuantificadores que no son de mala calidad (reacios) para no usarlas?
Considere un lenguaje de expresiones regulares con el cuantificador codicioso , el cuantificador no codicioso ∗ ? , alternancia ordenada y clases de caracteres. (Esto es esencialmente un sublenguaje de PCRE sin referencias posteriores, afirmaciones de búsqueda o algunos de los otros bits más elegantes).∗∗*∗?∗?{*}? Un partido para una expresión …
1
Encontrar rápidamente cadenas vacías que producen no terminales en un CFG
Para un lenguaje libre de contexto determinado G, que llamamos un no terminal nullable si , es decir, podemos derivar la cadena vacía de después de aplicar un número finito de producciones.UNAyoAiA_i UNAyo→∗ϵAi→∗ϵA_i \rightarrow^* \epsilonUNAyoAiA_i Hay un algoritmo simple para determinar qué no terminales de una gramática son anulables, como …
1
Herramienta para traducir PDA a CFG
Sabemos que todos los autómatas push down son representables utilizando gramáticas libres de contexto. Además, existe un algoritmo para construir un CFG a partir de cualquier PDA (por ejemplo, la prueba de Sipser introducida a la teoría de la computación). ¿Hay alguna herramienta que haga esta traducción? Es decir, puedo …
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.