Preguntas etiquetadas con fl.formal-languages

lenguajes formales, gramáticas, teoría de autómatas

1
¿Existe un libro / encuesta que describa las jerarquías de clases de idiomas, las propiedades de cierre, etc.
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 …
3
¿Un lenguaje "simple" fuera de
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 …
1
¿Cuál es el nombre de una función tal que ?
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 \iff x\in L\wedge y\in L . Pregunta ¿Estas funciones tienen un nombre en la literatura? …
2
Sistemas de suma de vectores con "obstáculos" finitos
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, \dots, n-1\}, m_{i+1}-m_i \in A . Si tal palabra …
2
Decidabilidad de la igualdad de las CFL
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 lenguajes …
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.