Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- Un alfabeto o sistema de escritura alfabético es un sistema de escritura formado por signos que en general representan fonemas, es decir, sonidos identificables…24 kB (3212 palabras) - 17:31 11 mar 2024
En cómputo teórico y teoría de lenguajes formales, una expresión regular o expresión racional [1][2] (también son conocidas como regex o regexp,[3]…34 kB (4616 palabras) - 05:08 7 may 2024
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos…14 kB (1962 palabras) - 23:39 23 abr 2024
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas. A pesar de su simplicidad, una…37 kB (5033 palabras) - 19:17 27 ene 2024- En programación, una cadena de caracteres, palabras, ristra de caracteres o frase (string, en inglés) es una secuencia ordenada (de longitud arbitraria…6 kB (805 palabras) - 22:07 28 abr 2024
- Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal…9 kB (1824 palabras) - 11:25 19 abr 2024
- Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir…34 kB (3574 palabras) - 01:13 22 sep 2023
- Un autómata celular (A.C.) es un modelo matemático y computacional para un sistema dinámico que evoluciona en pasos discretos. Es adecuado para modelar…22 kB (2951 palabras) - 21:11 22 abr 2024
- La notación de Backus-Naur, también conocida por sus denominaciones inglesas Backus-Naur form (BNF), Backus-Naur formalism o Backus normal form, es un…9 kB (1202 palabras) - 18:17 22 ene 2024
- La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver…7 kB (907 palabras) - 06:03 10 sep 2023
Una gramática formal es una estructura lógico-matemática con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un…18 kB (2420 palabras) - 17:33 9 abr 2024- En lingüística e informática, una gramática libre de contexto (o de contexto libre) es una gramática formal en la que cada regla de producción es de la…10 kB (1568 palabras) - 16:56 18 ene 2024
- El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados». Es una de las características esenciales…38 kB (4681 palabras) - 20:30 27 sep 2023
- La concatenación o conduplicación es, en general, el acto de unir o enlazar cosas, elogios, etc... En el contexto de las figuras retóricas, la concatenación…3 kB (406 palabras) - 10:28 6 feb 2024
En lingüística la jerarquía de Chomsky (ocasionalmente también llamada la jerarquía de Chomsky–Schützenberger) es una clasificación jerárquica de distintos…7 kB (873 palabras) - 17:13 16 ene 2024- En ciencias de la computación se denomina programación declarativa a un paradigma de programación de software en el que no se detallan los pasos a seguir…1 kB (146 palabras) - 10:55 23 feb 2024
- En matemáticas y física, se denomina sistema determinista a aquel en que el azar no está involucrado en el desarrollo de los futuros estados del sistema…8 kB (1096 palabras) - 20:14 24 ago 2022
La numeración de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN). El concepto…6 kB (658 palabras) - 17:33 1 dic 2023- En Ciencias de la computación y en Teoría de autómatas, un estado es una configuración única de información en un programa o máquina. Esto es un concepto…3 kB (399 palabras) - 20:32 22 nov 2023
- Un autómata con pila, autómata a pila o autómata de pila es un modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto…11 kB (1859 palabras) - 22:44 21 nov 2019
