Preguntas etiquetadas con automata-theory

Teoría de autómatas, que incluye máquinas abstractas, gramáticas, análisis, inferencia gramatical, transductores y técnicas de estado finito

1
¿Es decidible si la longitud de salida de un transductor está limitada por la longitud de entrada?
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 siguiente problema: Dado: Un transductor y un lenguaje …
2
Separar listas de palabras
Hay un problema abierto en los idiomas formales conocido como el Problema de separación; que se indica brevemente como dadas dos cadenas distintas de longitud , qué tan grande de un DFA se requiere para "separarlas", lo que significa aceptar una cadena pero rechazar la otra.nnn Aquí hay algunos documentos …
2
Minimizando los Autómatas aceptando palabras
¿Cuál es el enfoque estándar para minimizar Büchi-Automata (o también Müller-Automata)? Transferir la técnica habitual de palabras finitas, es decir, establecer dos estados para que sean iguales si las palabras "agotándose" de los estados aceptados son las mismas, no funcionará. Por ejemplo, considere que Büchi-Automoton acepta todas las palabras con …
2
¿Están los idiomas regulares cerrados bajo adición?
Específicamente, lo que quiero decir con suma es que definimos como el alfabeto . Dadas lenguajes regulares y en virtud de algún alfabeto , vistazo a .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Para cada par ordenado , defina la "suma" de este par ordenado como , donde y son números …
2
2DFA que requiere muchos estados en DFA equivalente?
¿Hay un 2DFA con estados (donde no es trivial, digamos al menos 4) que requiere al menos estados para simular usando cualquier DFA?nnnnnn2n2n2^n Un DFA bidireccional (2DFA) es un autómata determinista de estado finito que puede moverse hacia adelante y hacia atrás en su cinta de entrada de solo lectura, …
2
Taxonomía de autómatas notables de expresión regular
Estoy tratando de elaborar una taxonomía de algoritmos para transformar expresiones regulares en autómatas para realizar algunas pruebas empíricas de sus propiedades de complejidad en dominios específicos. Soy consciente de varios de los nombres 'más grandes', por ejemplo, Thompson "Algoritmo de búsqueda de expresiones regulares", Thompson, 1968 Glushkov "Un nuevo …
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.