Mira otros diccionarios:

• Cadena de caracteres — Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas. En matemáticas o en… …   Wikipedia Español

• Gramática (autómata) — Una gramática ( G ) desde el punto de vista de la teoría de autómatas es un conjunto finito de reglas que describen toda la secuencia de símbolos pertenecientes a un lenguaje específico L. Dos gramáticas que describan el mismo lenguaje se llaman… …   Wikipedia Español

• Gramática libre de contexto — 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 forma: V → w Donde V es un símbolo no terminal y w es una cadena de terminales y/o no… …   Wikipedia Español

• Transductor de estados finitos — Un transductor de estados finitos, o transductor finito, es un autómata finito (o máquina de estados finitos) con dos cintas, una de entrada y otra de salida. Esto contrasta con un autómata finito habitual, que tienes solamente una cinta. Podemos …   Wikipedia Español

• Monoide — El monoide es una estructura algebraica en el conjunto , con la operación binaria interna: , expresado: , donde se cumplen las siguientes tres propiedades: Operación interna: para cualesquiera dos elementos del conjunto A operados bajo , el… …   Wikipedia Español

• Grupo libre — grafo de Cayley del grupo libre de dos generadores, a y b. En teoría de grupos, un grupo G se dice libre si hay un subconjunto S de G, tal que todo elemento de G puede escribirse en una forma única como producto de finitos elementos de S y sus… …   Wikipedia Español

• Protocolos de encaminamiento — Saltar a navegación, búsqueda Usar archivos por lotesCon los archivos por lotes, que se denominan también programas de proceso por lotes o secuencias de comandos, puede simplificar tareas rutinarias o repetitivas. Un archivo por lotes es un… …   Wikipedia Español

• Autómata finito — Un autómata finito (AF) o máquina de estado finito es un modelo matemático que realiza cómputos en forma automática sobre una entrada para producir una salida. Este modelo está conformado por un alfabeto, un conjunto de estados y un conjunto de… …   Wikipedia Español

• Gramática formal — Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas. Una gramática formal …   Wikipedia Español

• Trie — Un trie es un caso especial de autómata finito determinista (S, Σ, T, s, A), que sirve para almacenar un conjunto de cadenas E en el que: Σ es el alfabeto sobre el que están definidas las cadenas; S, el conjunto de estados, cada uno de los cuales …   Wikipedia Español