Resultados de la búsqueda

…la|fechaacceso=2021-12-23|apellido=ASALE|nombre=RAE-|sitioweb=«Diccionario de la lengua española» - Edición del Tricentenario|idioma=es}}</ref> Un lengua == Formas de Lenguaje Objeto == …

…temas formales]], sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]] …nguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. …

…o]] de eventos, de los cuales unos pueden ser ejecutados solamente después de otros (existe una dependencia entre ellos), otros pueden ser ejecutados …tps://www.cl.cam.ac.uk/~gw104/eventStructures82.pdf|fechaacceso=8 de marzo de 2017}}</ref> …

…eterminacy and formal. derivation of programs. | fechaacceso= 16 de agosto de 2006 }}</ref> Tiene un conjunto especial de construcciones de [[condicional|condición]] y de [[bucle]]. El elemento más básico del lenguaje es el ''comando guardado''… …

…modular|módulos]] o [[Archivo (informática)|archivos]] individuales dentro de un programa. …el vector <Asignaciones (A), Ramas (B), Condicionales (C)>, y es calculado de la siguiente manera: …

…pares e impares|números pares]], <br/> expresado en notación de generación de conjuntos. …tica]] que se usa para describir un [[conjunto]] enumerando sus [[Elemento de un conjunto|elementos]] o indicando las propiedades que deben satisfacer su …

…dora|ordenador]]. Para ello, se apoya en la [[teoría de autómatas]], a fin de simular y estandarizar dichos procesos, así como para formalizar los proble …e Turing puede ser resuelto por un ordenador que tenga una cantidad finita de memoria. …

…temas formales]], sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]] …n en varios contextos diferentes: la [[lógica matemática]], las [[ciencias de la computación]] y la [[lingüística]] teórica, frecuentemente con métodos… …

[[Archivo:Mathml-square-logo-128.png|miniaturadeimagen|Logo de MathML]] …[XHTML]] en páginas web, y para intercambio de información entre programas de tipo matemático en general. …

…marco unificado para la [[especificación formal]], diseño e implementación de [[Programa informático|programas]] y [[Computadora|sistemas informáticos]] …inas=320|url=http://www.unifyingtheories.org/|fechaacceso=17 de septiembre de 2014}}</ref> …

…tri net commons.gif|280px|right|thumb|Ejemplo de la trayectoria de una red de Petri.]] …ada de 1960 por [[Carl Adam Petri]]. Son una generalización de la [[teoría de autómatas]] que permite expresar un sistema a [[evento concurrente|eventos …

…[Microsoft Office XML]] (formato de archivo usado por versiones anteriores de Microsoft Office). {{Ficha de formato de archivo …

…presentación de números arbitrariamente grandes utilizando varias palabras de memoria. ==Representación de números binarios== …

…s propósitos. Rara vez se hacen explícitos en tratamientos más filosóficos de la lógica. …simbología''' (de clasificación única) se puede definir como una [[tupla]] de cuatro elementos <math>\sigma= \left(S_{\operatorname{func}}, S_{\operatorn …

…ra un tratamiento más general de los fenómenos recursivos, ver el artículo de'' [[Recursión]]''.'' …ar problemas. De hecho, recursión es una de las ideas centrales de ciencia de computación.<ref>{{cita libro …

…ciles de usar de forma fiable y portátil. Muchas unidades de coma flotante de hardware utilizan ahora el estándar IEEE 754. * Formatos aritméticos: conjuntos de datos de punto flotante binarios y decimales, que consisten en números finitos, incl …

La '''programación literaria (o letrada)''' es un [[estilo de programación]] propuesto por [[Donald Knuth]] para documentar los programas |fechaacceso=4 de enero de 2009 …

…tmo DPLL]] y, en principio, siempre termina (a diferencia de la evaluación de consultas [[Prolog]], que puede conducir a un [[bucle infinito]]). …ress|isbn=978-0-521-81802-5}}</ref> y el uso de la evaluación de consultas de estilo Prolog para resolver los problemas que surgen en estas aplicaciones. …

{{Ficha de formato de archivo |lanzamiento = {{Fecha de inicio|4|9|2001}} …

…[[#Sistemas fonológicos|sistema fonológico]] que dé cuenta de los sonidos de una lengua. …sen simultáneamente todos estos puntos de articulación. Respecto al [[modo de articulación]] se tienen [[oclusiva]]s, [[fricativa]]s, [[africada]]s y [[a …