Preguntas etiquetadas con fl.formal-languages

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

11 reference-request  computability  fl.formal-languages  automata-theory 

Barry Jay en su libro hace algunas afirmaciones audaces, básicamente al decir que, en el centro de un programa, todo es atómico o compuesto. Luego, las cosas se pueden iterar, filtrar y actualizar fácilmente, simplemente navegando por esta relación de composición. ¿Es esta una nueva frontera en Ciencias de la …

11 fl.formal-languages 

¿Dónde puedo encontrar una introducción a los autómatas probabilísticos y lo que reconocen (ciertas funciones desde palabras hasta )? ¿Existe un término estándar para tales funciones que son reconocidas por los autómatas probabilísticos, análoga a "lenguajes regulares" para lo que reconocen los autómatas finitos deterministas (DFA)?[ 0 , 1 ][0 …

10 reference-request  fl.formal-languages  probabilistic-automata 

Deje que se dé un número . Considere el siguiente lenguaje L n = {nortenn .Lnorte= {w wEl |w ∈ { 0 , 1 }norte}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} En palabras, es el conjunto de cadenas de copia de longitud 2 n …

10 fl.formal-languages  automata-theory  grammars  context-free 

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 …

10 fl.formal-languages  automata-theory 

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

10 fl.formal-languages  automata-theory 

Esta pregunta es acerca de si hay alguna lona de Turing reversible conocida, donde "reversible" significa en el sentido de Axelsen y Glück , y "tarpit" es un concepto mucho más informal (y podría no ser una muy buena elección de palabra), pero haré todo lo posible para explicar lo …

10 fl.formal-languages  computability  machine-models 

En el Capítulo 13 "Objetos atómicos" del libro "Algoritmos distribuidos" de Nancy Lynch, se demuestra que la linealización (también conocida como atomicidad) es una propiedad de seguridad. Es decir, su propiedad de rastreo correspondiente es no vacía, con prefijo cerrado y límite cerrado , como se define en la Sección …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

Un autómata determinista se llama -local para si para cada el conjunto contiene como máximo un elemento. Intuitivamente, eso significa que si una palabra de longitud conduce a un estado, entonces este estado es único, o dicho de manera diferente de una palabra arbitraria de longitud los últimos símbolos determinan …

10 fl.formal-languages  automata-theory  synchronization 

Considere un lenguaje no vacío de cadenas binarias de longitud n . Puedo describir L con un circuito booleano C con n entradas y una salida de modo que C ( w ) sea ​​verdadero si f w ∈ L : esto es bien conocido.LLLnortennLLLCCCnortennC( w )C(w)C(w)w ∈ Lw∈Lw \in …

10 fl.formal-languages  circuit-complexity 

Deje que sea ​​un lenguaje sin contexto. Definir que es el cierre de pre y posfijo de , en otras palabras, contiene todos los 's prefijos y sufijos, y por lo tanto sí mismo. Mi pregunta: si tiene contexto y tiene una gramática no ambigua, ¿es lo mismo para ?p …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

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 …

10 automata-theory  fl.formal-languages  regular-expressions 

Los lenguajes deterministas sin contexto (DCFL) y los lenguajes visiblemente pushdown (VPL) son ambos conjuntos de lenguajes formales entre lenguajes sin contexto (CFL) e idiomas regulares (REG). ¿Existe una notación legible que se pueda expresar en ASCII simple como Backus-Naur-Form para CFL y expresiones regulares para REG?

10 fl.formal-languages 

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 factible al mismo …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

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 …

10 fl.formal-languages  automata-theory  regular-language  nfa