Los idiomas Dyck se definen mediante la siguiente gramática S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sobre el conjunto de símbolos { ( 1 , ... , ( k , ) 1 , ... , ) k } . Intuitivamente, los idiomas Dyck son los idiomas de paréntesis equilibrados de k tipos diferentes. Por ejemplo,...
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...
¿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...
El siguiente problema es decidible: Dada una gramática libre de contexto , ¿es L ( G ) = ∅ ?solGGL(G)=∅L(G)=∅L(G) = \varnothing El siguiente problema es indecidible: Dada una gramática libre de contexto , ¿es L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} ¿Existe una caracterización de...
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...
Sea un lenguaje y una función en dos parámetros con la propiedad de que para todos e , devuelve un elemento de si y solo si tanto como son elementos de :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L...
EDITAR (por Tara B): Todavía estaría interesado en una referencia a una prueba de esto, ya que tuve que demostrarlo yo mismo para mi propio artículo. Estoy buscando la prueba del Teorema 4 que aparece en este documento: Una jerarquía infinita de intersecciones de lenguajes sin contexto por Liu y...
Un sistema de adición de vectores (VAS) es un conjunto finito de acciones A⊂ZdA⊂ZdA \subset \mathbb{Z}^d . NdNd\mathbb{N}^d es el conjunto de marcas . Una carrera es una palabra no vacía de marcas m0m1…mnm0m1…mnm_0 m_1\dots m_n st ∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0,...
Entiendo que las siguientes afirmaciones son ciertas: Dos derivaciones distintas de una cadena en un CFG dado a veces pueden atribuir el mismo árbol de análisis a la cadena. Cuando hay derivaciones de alguna cadena en un CFG dado que atribuyen diferentes árboles de análisis, el CFG es...
Considere el siguiente problema: Dadas dos cadenas x, y, decida si existe un homomorfismo de cadena f tal que f (x) = y. Es fácil demostrar que este problema está en . ¿Hay otras cosas que podamos decir sobre este problema? por ejemplo, ¿está en , o incluso en ?NPNPNPcoNPcoNPcoNPPPP Este...
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...
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...
Planteamiento del problema : Deje que sea un autómata pushdown (potencialmente no determinista) y deje que sea su alfabeto de entrada. ¿Hay una palabra st que es aceptado por ?A w ∈ A ∗ | w | ≤ k MMETROMETROMUNAUNA\cal Aw ∈ A∗w∈UNA∗w \in \cal A^*El | w | ≤kEl |wEl |≤k|w| \leq kMETROMETROM ¿Es...
¿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...
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...
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 .LnorteLnL_n2 n2n2n Considere la siguiente función de...
Se desconoce si o , dondeP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP es el conjunto de todos los idiomas que se pueden decidir en tiempo polinómico en una máquina de Turing determinista, y CSLCSLCSL es la clase de lenguajes sensibles al contexto, conocidos por ser equivalentes a...
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 L Sin embargo, quiero representar...
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...
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...