Resultados de la búsqueda

…''lenguaje recursivamente enumerable''' es un tipo de [[lenguajes formales|lenguaje formal]] que es también llamado '''parcialmente decidible''' o '''Turing-co …traposición a los [[lenguajes recursivos]] en cuyo caso se requiere que la máquina de Turing pare en todos los casos. …

…res]] o palabra— como entrada, acepta solo esas palabras que son parte del lenguaje y rechaza todas las otras palabras. Los lenguajes recursivos también se den …uaje recursivo" es '''lenguaje Turing-decidible''', en vez de simplemente "lenguaje decidible". …

En los [[lenguaje de programación|lenguajes de programación]] de [[computadora]], las definic Adicionalmente, en [[código binario|lenguaje máquina]], un '''operando''' es un valor (un argumento) con el cual la [[Instrucció …

…áquinas de Turing deterministas y no deterministas|determinista]] (resp. [[Máquina de Turing#Máquinas de Turing deterministas y no deterministas|no determinis …ca|&Omega;]](''log''(''n'')) entonces existe al menos un [[lenguaje formal|lenguaje]] en ''DSPACE''(''S''₁(''n'')) que no está en ''DSPACE''(''S''< …

…oma=es}}</ref> Un lenguaje objeto puede ser [[Lenguaje formal|formal]] o [[Lenguaje natural|natural]]. {{citation needed|date=July 2012}} == Formas de Lenguaje Objeto == …

…icular acerca de la [[Problema indecidible|indecidibilidad]] de diversos [[Lenguaje formal|lenguajes formales]]. …tómata]] formal. Cada configuración describe completamente el estado de la máquina en un punto particular. Para ser válida, ciertas condiciones deben cumplirs …

…ema de decisión|problemas de decisión]] que pueden ser resueltos por una [[máquina de Turing]] determinista en '''espacio de polinomios''' (<math>S(n) = a_{k La definición no depende del carácter determinista de la [[máquina de Turing]] (esto es un corolario del [[teorema de Savitch]]). De manera qu …

…able", ''RE'' es la clase de los problemas de decisión para los cuales una máquina de Turing puede listar todas las instancias ''sí'', una por una. …'co-RE''' es el conjunto de todos los lenguajes que son complementos de un lenguaje en '''RE'''. En un sentido, '''co-RE''' contiene lenguajes cuyos miembros… …

…Pumping lemma for regular languages.PNG|miniaturadeimagen|Lemas de bombeo, lenguaje regular.]] …ación]] y [[lingüística computacional]], un '''lenguaje regular''' es un [[lenguaje formal]] que puede ser definido por una [[expresión regular]], generado por …

…distintos tipos de [[gramática formal|gramáticas formales]] que generan [[lenguaje formal|lenguajes formales]]. Esta jerarquía fue descrita por [[Noam Chomsky …de los [[lenguajes recursivos]], cuya decisión puede ser realizada por una máquina de Turing que se detenga. …

{{Ficha de lenguaje de programación |paradigma = [[Lenguaje de programación esotérico|Esotérico]] …

…és, ''Linear Bounded Automaton''),o ALA es un [[autómata]] similar a una [[máquina de Turing]] [[Sistema determinista|determinista]]. Los autómatas linealmente acotados son similares a una [[máquina de Turing]], sabemos que esta última tiene una cinta infinita. …

…La teoría de autómatas está estrechamente relacionada con la teoría del [[lenguaje formal]] ya que los autómatas son clasificados a menudo por la clase de len …nito|máquina de estado finito]] (FSM sus siglas en inglés). Una FSM es una máquina que, dada una entrada de símbolos, "salta" a través de una serie de estados …

Sea <math>S</math> un conjunto de [[Lenguaje formal|lenguajes]] no trivial, es decir, # existe una [[máquina de Turing]] que reconoce un lenguaje en <math>S</math> …

…l de tipo [[RISC]] y 32 registros de 64 bits de propósito especial. Es una máquina de tipo [[Big-endian]] con instrucciones de 32 bits y 64 bits de espacio de ….stanford.edu/~uno/mmop.html Tabla de opcodes que definen todo el lenguaje máquina de MMIX] {{Wayback|url=http://www-cs-faculty.stanford.edu/~uno/mmop.html |d …

…áquina de Turing|máquinas de Turing]] consiste en lo siguiente: dada una [[Máquina de Turing]] <math>M</math> y una palabra <math>w</math>, determinar si <mat …indecidible (no computable o no recursivo)]], en el sentido de que ninguna máquina de Turing lo puede resolver. …

…jes ([[Lenguaje recursivamente enumerable|recursivamente enumerables]] y [[Lenguaje recursivo|recursivos]], respectivamente) y computa exactamente las mismas… …én se demostró que sucede lo mismo con una MTN (MT no determinista), una [[Máquina de Post]], un [[autómata finito]] con dos pilas, un autómata finito con pil …

…mputacional]], una '''máquina de Turing alternante''' ('''ATM''') es una [[máquina de Turing no determinista]] (NTM) con una regla para la aceptación de cómpu …alternante (o para ser más precisos, la definición de la aceptación de tal máquina) alterna entre estos modos. …

…tener en cuenta el contexto en el que ocurra. Un [[lenguaje formal]] es [[Lenguaje libre de contexto|libre de contexto]] si hay una gramática libre de context Las gramáticas libres de contexto permiten describir la mayoría de los [[Lenguaje de programación|lenguajes de programación]], de hecho, la [[sintaxis]] de… …

…mientos posteriores no es posible determinar en qué estado se encuentra la máquina" . Cuando el autómata ha terminado de leer, y se encuentra en un estado de …es posible convertir un AFND existente en un AFD para el desarrollo de una máquina tal vez más simple. Esto puede llevarse a cabo utilizando la construcción… …