Resultados de la búsqueda

…'''parcialmente decidible''' o '''Turing-computable'''. Son conocidos como lenguajes '''tipo-0''' en la [[Jerarquía de Chomsky]]. …te, con una cadena que no pertenece al lenguaje, en contraposición a los [[lenguajes recursivos]] en cuyo caso se requiere que la máquina de Turing pare en todo …

En [[ciencias de la computación]] y teoría de [[lenguaje formal|lenguajes formales]], una '''cadena vacía''' o '''string vacío''' (en inglés) es la única [[ca Existen algunos [[lenguaje de programación|lenguajes de programación]] para los cuales uno puede definir cadenas vacías, y éstas …

…ática formal|gramáticas formales]] que generan [[lenguaje formal|lenguajes formales]]. Esta jerarquía fue descrita por [[Noam Chomsky]] en 1956. …mente enumerables]]. Nótese que esta categoría es diferente de la de los [[lenguajes recursivos]], cuya decisión puede ser realizada por una máquina de Turing… …

…todas las otras palabras. Los lenguajes recursivos también se denominan '''lenguajes decidibles'''. …o de computación|modelos de computación]]. Por ejemplo, se puede hablar de lenguajes decidibles en una [[máquina de Turing no determinista]]. Por lo tanto, cuan …

Los lenguajes regulares son los lenguajes formales más sencillos (tipo 3) en la [[Jerarquía de Chomsky]]. …[[concatenación]]) y ''A''^* (clausura o estrella de Kleene) son lenguajes regulares …

…amáticas formales]] estudiadas en la teoría de [[Lenguaje formal|lenguajes formales]]. Esta gramáticas extienden el tipo básico de gramáticas, las [[Gramática …ión de este sistema. La semántica difiere en detalles, algunos definen los lenguajes usando ecuaciones de lenguaje, algunos se basan en ideas del campo de la [[ …

=== Lenguajes formales === …o de metalenguajes, que son lenguajes que describen la naturaleza de otros lenguajes. En la lógica matemática, el lenguaje objeto es normalmente un [[lenguaje… …

En la teoría de los [[Lenguaje formal|lenguajes formales]] de las [[ciencias de la computación]], las [[matemáticas]] y la [[lingüís …ajes de Dyck son cruciales en la teoría de los [[Lenguaje formal|lenguajes formales]] ya que, según el [[teorema de Chomsky-Schützenberger]], cualquier [[Gramá …

[[Categoría:Lenguajes formales]] …

El Lema de [[Arden]], en [[Lenguaje formal|lenguajes formales]], indica una solución particular a la ecuación con [[Expresión regular|exp [[Categoría:Lenguajes formales]] …

…enguajes producidos por gramáticas matriciales, y {{math|MAT}} la clase de lenguajes producidos por <math>\lambda</math>-free gramáticas matriciales. …Todos los lenguajes libres del contexto están en {{math|MAT}},y todos los lenguajes en <ce>MAT^\lambda</ce> son recursivamente enumerable. …

…enguajes producidos por gramáticas matriciales, y {{math|MAT}} la clase de lenguajes producidos por <math>\lambda</math>-free gramáticas matriciales. …Todos los lenguajes libres del contexto están en {{math|MAT}},y todos los lenguajes en <ce>MAT^\lambda</ce> son recursivamente enumerable. …

…s bien formadas]] y los [[teorema]]s. En algunos [[sistema formal|sistemas formales]], sin embargo, el conjunto de los teoremas coincide con el de las fórmulas …nguaje formal, y eso es una diferencia esencial con los [[Lenguaje natural|lenguajes naturales]]. …

…oría de [[Lenguaje formal|lenguajes formales]], el '''lema del bombeo para lenguajes regulares''' describe una propiedad esencial de todo [[lenguaje regular]]. * [http://matesfacil.com/automatas-lenguajes/lema-bombeo-lenguajes-regulares.html Ejemplos: aplicación del lema de bombeo para demostrar que… …

…ity Press]] |edición=2da edición |editor=Robert Audi}}</ref> Los lenguajes formales pueden definirse sin necesidad de dar ningún significado a sus expresiones. …hey) es una aproximación de la formalización de [[Lenguaje de programación|lenguajes de programación]] por construcciones de objetos matemáticos ''(denotaciones …

Formalmente, sean ''L'' y ''M'' [[lenguaje formal|lenguajes formales]] sobre los [[alfabeto]]s Σ y Γ, respectivamente, una transformación polinó …

…e longitud creciente son equivalentes en el sentido que generan los mismos lenguajes, a través de una doble contención, es decir, toda gramática sensible al con [[Categoría:Lenguajes formales]] …

[[Categoría:Lenguajes formales]] …

| título = Teoría de Autómatas y Lenguajes Formales | título = Introducción a la teoría de Autómatas, Lenguajes y Computación …

…s los lenguajes libres del contexto y generaliza el [[lema del bombeo para lenguajes regulares]]. Como el lema del bombeo no garantiza que el lenguaje sea libre …bombeo” en el resto de este artículo) describe una propiedad que todos los lenguajes libres del contexto garantizan cumplir. …