Estoy buscando un lenguaje L con las siguientes propiedades: L no debe estar libre de contexto. El complemento de L no debe estar libre de contexto. (Todo lo que ves en los libros de texto como ejemplos principales de lenguajes sin contexto parece fallar en este segundo requisito). No debería ser...
Supongamos que se le da dos determinista empuje hacia abajo autómatas que reconocen las lenguas y B , y el deseo de determinar si hay un lenguaje regular R tal que A ⊆ R y R ∩ B = ∅ . Básicamente, el desafío es determinar si existe un DFA que pueda reconocer de cuál de los dos idiomas proviene una...
Inspirado por esta pregunta , tengo curiosidad por lo siguiente: ¿Cuál es la complejidad del peor caso de verificar si un DFA determinado acepta el mismo lenguaje que una expresión regular dada? ¿Se sabe esto? La esperanza sería que este problema esté en P, que exista un algoritmo polinomial...
Los autómatas de estado finito residual (RFSA, definidos en [DLT02]) son NFA que tienen algunas características agradables en común con los DFA. En particular, siempre hay un RFSA canónico de tamaño mínimo para cada idioma regular, y el idioma reconocido por cada estado en el RFSA es residual, al...
Deje ser una constante. ¿Cómo podemos construir de manera comprobable un generador pseudoaleatorio que engañe a los autómatas finitos de estado d ?dddddd Aquí, una -state autómatas finitos tiene d nodos, un nodo de inicio, un conjunto de nodos que representan aceptar estados, y dos bordes...
Digamos que uno tiene un idioma L ⊆ Σ∗L⊆Σ∗L \subseteq \Sigma^* , pero uno no sabe qué cadenas son realmente parte del idioma. Todo lo que uno tiene es una vista finita del lenguaje: un conjunto finito de cadenas A ⊆ LA⊆LA \subseteq L que se sabe que están en el idioma, y un conjunto finito de...
Estoy buscando una encuesta sobre los conceptos importantes en el campo de los autómatas cuánticos. He encontrado la teoría de los autómatas cuánticos: una revisión de Hirvensalo, pero parece demasiado sucinto para comprender el tema. ¿Existe una encuesta bastante completa sobre el tema de...
¿Alguien puede proporcionar un ejemplo de dos autómatas no deterministas (NFA) mínimos equivalentes (que reconocen el mismo lenguaje) que no son
Un MPA (autómata multipebble) es un 2DFA (autómata finito determinista bidireccional) que puede usar un número arbitrario de guijarros (en realidad, como máximo guijarros en una entrada dada - la entrada está escrita en la cinta entre dos extremos -marcadores como ). Durante el cálculo, un MPA...
Esta pregunta está relacionada con una pregunta reciente de Janoma . Antecedentes En la programación de restricción, un regular de restricción global sobre un dominio es un par con una tupla de variables (el alcance) y un DFA sobre el dominio . Una asignación a satisface si acepta la cadena...
Estoy buscando una técnica general que pueda ayudarme a demostrar no solo que el autómata de Buchi es un modelo más expresivo que LTL, sino que la fórmula específica puede / no puede expresarse en LTL. Por ejemplo, " ocurre al menos en posiciones pares" puede describirse mediante los siguientes...
¿Es posible construir un algoritmo que tome como entrada un autómata pushdown junto con la promesa de que el lenguaje aceptado por este autómata L ( M ) es un lenguaje determinista libre de contexto y genera un autómata determinista pushdown N que acepta exactamente el lenguaje aceptado por M...
Después de leer una pregunta relacionada , acerca de las pruebas de algoritmos de existencia no constructivas, me preguntaba si existen métodos para mostrar la existencia de máquinas de cómputo "pequeñas" (por ejemplo, a nivel de estado) sin construirlas realmente. Formalmente: supongamos que...
Los autómatas pushdown alternos unidireccionales (1APDA) pueden reconocer cualquier idioma en (Alternancia de Chandra, Kozen y Stockmeyer, 1981) . Al reemplazar un almacenamiento pushdown de un 1APDA con un contador, podemos obtener un autómata alternativo unidireccional con un contador (1ACA). Mi...
Todos mis libros de texto usan el mismo algoritmo para producir un DFA dado un regex: primero, haga un NFA que reconozca el idioma del regex, luego, usando la construcción del subconjunto (también conocido como "powerset"), convierta el NFA en un DFA equivalente ( opcionalmente minimizando el DFA)....
Los transductores considerados aquí son aquellos que Wikipedia llama transductores de estado finito . El comportamiento de un transductor , es decir, la relación que calcula, se escribe : una palabra es una salida para iff .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Pregunta: ¿Se puede resolver el...
Un DFA o NFA lee a través de una cadena de entrada con un solo encabezado, moviéndose de izquierda a derecha. Parece natural preguntarse acerca de las máquinas de estado finito que tienen múltiples cabezas , cada una de las cuales se mueve a través de la entrada de izquierda a derecha, pero no...
Actualización: Parece que este problema ha sido estudiado y resuelto recientemente, vea este artículo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Y también esta encuesta: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supongamos que, en lugar del conjunto habitual de...
Estoy interesado en una ligera generalización de DFA. Como de costumbre, tenemos un conjunto de estados QQQ , un alfabeto finito ΣΣ\Sigma , una acción Σ∗Σ∗\Sigma^* definida en QQQ por δ: Q × Σ → Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Q , y un estado inicial q0 0q0q_0 ; pero en lugar del conjunto...
Hola a todos, actualmente estoy tratando de encontrar un tema de tesis de maestría sólido relacionado con alguna rama de la teoría de autómatas o relacionada con lenguajes formales. Estoy tratando de generar algunas buenas ideas sobre lo que sería un tema aceptable, algo ambicioso pero algo...