Preguntas etiquetadas con automata-theory

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 …

12 automata-theory 

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 Autómatas Cuánticos? Además, ¿podría señalarme la …

12 reference-request  quantum-computing  automata-theory 

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 dirigidos etiquetados 0, 1 …

12 automata-theory  pseudorandomness  pseudorandom-generators 

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 igual …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Actualmente estoy haciendo una investigación de lenguaje formal que involucra clases de idiomas por encima de Regular pero debajo de Context Free. Estoy viendo cosas como máquinas multicontadores limitados por inversión, máquinas de contador de una sola pila, CFL deterministas, etc. Me pregunto si alguien sabe de un buen libro …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

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 del …

12 automata-theory  lg.learning  regular-expressions  dfa 

¿Alguien puede proporcionar un ejemplo de dos autómatas no deterministas (NFA) mínimos equivalentes (que reconocen el mismo lenguaje) que no son isomorfos?

12 fl.formal-languages  automata-theory 

¿Cuál es la relación entre la expresividad de LTL , Büchi / QPTL , CTL y CTL * ? ¿Puede dar algunas referencias que cubran tantas de estas lógicas temporales como sea posible (especialmente entre el tiempo lineal y el de ramificación)? Un diagrama de Venn con esas lógicas temporales …

12 lo.logic  automata-theory  model-checking  temporal-logic 

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 puede detectar si …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

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 …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

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 …

12 fl.formal-languages  automata-theory 

Un conjunto de palabras sobre un alfabeto finito no tiene prefijo si no hay dos palabras distintas donde una sea un prefijo de la otra. La pregunta es: ¿Cuál es la complejidad de verificar si un lenguaje regular dado como NFA contiene un subconjunto infinito libre de prefijos? Respuesta (debido …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

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 tenemos un lenguaje y arreglamos un modelo …

11 cc.complexity-theory  automata-theory  turing-machines 

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 pregunta es sobre 1ACA en idiomas unarios.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) ¿Pueden …

11 automata-theory  counter-automata  unary-languages 

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). También una …

11 automata-theory  regular-expressions  dfa