Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
Resultados por título de página
- {{otros usos|Lenguaje formalizado}} …órmula bien formada]] (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. …14 kB (2315 palabras) - 01:35 1 mar 2025
- …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 …5 kB (893 palabras) - 15:05 26 dic 2024
- …oma=es}}</ref> Un lenguaje objeto puede ser [[Lenguaje formal|formal]] o [[Lenguaje natural|natural]]. {{citation needed|date=July 2012}} == Formas de Lenguaje Objeto == …7 kB (1094 palabras) - 10:21 25 mar 2024
- {{otros usos|Lenguaje formal}} …ay autores que llegan a opinar que la ciencia en sí misma no es más que un lenguaje. Esto es especialmente notable e importante en la [[lógica]] y las [[matemá …38 kB (6433 palabras) - 11:56 19 feb 2025
- …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". …3 kB (452 palabras) - 12:22 19 abr 2024
- …culo está orientado a proporcionar un tratamiento riguroso y abstracto del lenguaje proposicional. Para una introducción más accesible véase [[lógica proposici Dentro de la lógica formal, el '''lenguaje proposicional''' estudia las propiedades de los [[Conectiva lógica|conectiv …21 kB (3317 palabras) - 14:30 23 abr 2023
- …ter en un documento. Esta técnica puede ser usada para entrenar modelos de lenguaje con una gran diversidad de aplicaciones, como la generación de texto o la… …e lenguajes naturales|procesamiento del lenguaje natural]]. Los modelos de lenguaje se emplean en el [[Reconocimiento del habla|reconocimiento de voz]], la [[t …11 kB (1803 palabras) - 00:47 5 abr 2024
- …ngüística]], un '''lenguaje de Dyck''' es un [[Gramática libre de contexto|lenguaje libre de contexto]] que está formado por [[Palabra (matemáticas)|palabras]] …[[Intersección de conjuntos|intersección]] de un [[lenguaje regular]] y un lenguaje de Dyck.<ref name=Kanazawa /><ref name=Simon /><ref name=Gelbukh /> …5 kB (746 palabras) - 20:10 28 dic 2022
- …''lenguaje recursivamente enumerable''' es un tipo de [[lenguajes formales|lenguaje formal]] que es también llamado '''parcialmente decidible''' o '''Turing-co …echazar, o bien iterar indefinidamente, con una cadena que no pertenece al lenguaje, en contraposición a los [[lenguajes recursivos]] en cuyo caso se requiere …2 kB (322 palabras) - 08:11 17 ago 2020
- …ar programas "correctos por construcción" en un [[lenguaje de programación|lenguaje]] [[programación imperativa|imperativo]]).<ref name="EWD472">{{cita web |… …es de [[condicional|condición]] y de [[bucle]]. El elemento más básico del lenguaje es el ''comando guardado'' o ''comando con guarda''. …7 kB (1160 palabras) - 09:08 8 abr 2024
- …historiadores de la filosofía han encontrado precursores del argumento del lenguaje privado en varias obras previas a Wittgenstein, sobre todo en los trabajos …n tres sub-argumentos. Por ello, es frecuente hablar de ''argumentos'' del lenguaje privado: …32 kB (5199 palabras) - 04:54 27 feb 2025
- …traria]], con una sintaxis similar a la del [[C (lenguaje de programación)|lenguaje de programación C]]. El lenguaje y su [[intérprete (informática)|intérprete]] son una herramienta [[POSIX|es …8 kB (1175 palabras) - 18:38 22 ene 2024
- …o de lenguaje (hablado por voz AI).mp3|miniaturadeimagen|Modelo extenso de lenguaje (hablado por voz AI)]] …investigación [[Procesamiento de lenguajes naturales|del procesamiento del lenguaje natural]] alejándose del paradigma anterior de entrenar modelos [[Aprendiza …83 kB (12 100 palabras) - 14:06 4 mar 2025
- …]]'' ha habido una invasión de ''tags''. La Web se basa en el [[HTML]], o «lenguaje de marcado de hipertexto», que está basado en el uso de etiquetas. Las etiq …ejemplos posibles, las llamadas «metabalizas» (o ''[[metatag]]s'') que en lenguaje HTML pueden incluir palabras clave para que la [[página web]] en las que es …4 kB (561 palabras) - 18:43 5 jul 2024
- …límite una clase de lenguajes si, dada cualquier presentación de cualquier lenguaje en la clase, el aprendiz producirá solo un número finito de representacione …va): una enumeración de todas las cadenas de caracteres en que consiste el lenguaje. …15 kB (2310 palabras) - 19:13 30 sep 2024
Resultados por texto de página
- …''lenguaje recursivamente enumerable''' es un tipo de [[lenguajes formales|lenguaje formal]] que es también llamado '''parcialmente decidible''' o '''Turing-co …echazar, o bien iterar indefinidamente, con una cadena que no pertenece al lenguaje, en contraposición a los [[lenguajes recursivos]] en cuyo caso se requiere …2 kB (322 palabras) - 08:11 17 ago 2020
- Sea <math>\mbox{L}\,</math> un [[lenguaje libre de contexto]]. Entonces existe una constante <math>n \in \mbox{N}</ma …w\,</math>), obteniendo de dicha forma palabras que también pertenecen al lenguaje. …2 kB (298 palabras) - 20:56 2 feb 2021
- …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". …3 kB (452 palabras) - 12:22 19 abr 2024
- En [[ciencias de la computación]] y teoría de [[lenguaje formal|lenguajes formales]], una '''cadena vacía''' o '''string vacío''' (e Existen algunos [[lenguaje de programación|lenguajes de programación]] para los cuales uno puede defin …3 kB (332 palabras) - 00:15 17 abr 2020
- …rítmicamente producir una GFNCH equivalente, es decir, que genera el mismo lenguaje. …nguaje independiente del contexto y de la misma manera, que para cualquier lenguaje independiente del contexto exista una GFNCH que lo defina. Esta definición …2 kB (291 palabras) - 22:08 11 jul 2019
- …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 …5 kB (893 palabras) - 15:05 26 dic 2024
- …la forma anterior que son verdaderas forma un [[lenguaje formal]] llamado lenguaje TQBF (''Totally Quantified Boolean Formulae'') usado en [[ciencia computaci …). Si tal fórmula se evalúa como verdadera, entonces la fórmula está en el lenguaje TQBF. También es conocido como QSAT (SAT Cuantificado). …1 kB (220 palabras) - 08:13 12 oct 2019
- …ngüística]], un '''lenguaje de Dyck''' es un [[Gramática libre de contexto|lenguaje libre de contexto]] que está formado por [[Palabra (matemáticas)|palabras]] …[[Intersección de conjuntos|intersección]] de un [[lenguaje regular]] y un lenguaje de Dyck.<ref name=Kanazawa /><ref name=Simon /><ref name=Gelbukh /> …5 kB (746 palabras) - 20:10 28 dic 2022
- …tablece que los AFNDs aunque son más flexibles, no pueden reconocer ningún lenguaje que un AFD no pueda reconocer. También es importante porque se puede usar… …829 bytes (147 palabras) - 07:36 14 jul 2019
- …roducir una nueva palabra que también pertenece al mismo [[Lenguaje formal|lenguaje]]. …rschung'' '''14''' (1961) pp. 143-172.</ref> Es útil para demostrar que un lenguaje específico no es regular. …4 kB (657 palabras) - 22:24 24 abr 2023
- …oma=es}}</ref> Un lenguaje objeto puede ser [[Lenguaje formal|formal]] o [[Lenguaje natural|natural]]. {{citation needed|date=July 2012}} == Formas de Lenguaje Objeto == …7 kB (1094 palabras) - 10:21 25 mar 2024
- 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 [[In …2 kB (367 palabras) - 15:47 25 ene 2024
- …te mediante un [[lenguaje formal]], a diferencia de lo que ocurre con un [[lenguaje natural]]. En este caso, la forma lógica sería <math>aAe</math>, mientras… [[Categoría:Filosofía del lenguaje]] …2 kB (272 palabras) - 01:35 23 feb 2025
- …gnificado a sus expresiones.<ref name=Cambridge/> Una interpretación de un lenguaje formal es básicamente una asignación de significados a sus símbolos, y de… …ref name=Cambridge/> Una vez definido lo que es una interpretación para un lenguaje formal, se dice que una fórmula ''A'' es una consecuencia semántica de un… …4 kB (676 palabras) - 00:29 13 ago 2024
- * '''[[R (lenguaje de programación)|R]]'''; en estadística, un lenguaje y entorno de programación para análisis estadístico y gráfico. * '''[[R (lenguaje de programación)|R]]''', un lenguaje y entorno de programación para análisis estadístico y gráfico. …3 kB (436 palabras) - 17:31 10 ago 2024
- …que puede ser descrito para una gramática sensible al contexto se llama [[lenguaje sensible al contexto]]. Esta gramática genera este lenguaje: …2 kB (339 palabras) - 05:24 23 may 2022
- …na [[estructuras de control|estructura de control]] de la mayoría de los [[lenguaje de programación|lenguajes de programación]] [[Programación estructurada|est …ayor o igual, menor y mayor. En el caso del [[C (lenguaje de programación)|lenguaje C]], se utilizan los siguientes símbolos para representar las comparaciones …3 kB (465 palabras) - 09:34 17 mar 2023
- |lenguaje-formal = <math>A</math> |lenguaje-natural = A …2 kB (283 palabras) - 00:43 10 ago 2024
- …estadístico de texto. Se utilizan en uno de los más exitosos [[modelos de lenguaje]] para el [[reconocimiento de voz]].<ref>Michael Collins. ''A new statistic [[Categoría:Procesamiento de lenguaje natural]] …1 kB (215 palabras) - 19:40 27 mar 2022
- …símbolo en negritas representa la clase correspondiente de fórmulas en el lenguaje extendido con un parámetro para cada [[Número real|real]]; ver [[jerarquía Una fórmula en el lenguaje de aritmética de segundo orden se define mediante <math>\Sigma^1_{n+1}</mat …4 kB (632 palabras) - 02:21 20 mar 2025