¡Más rápido que el navegador!
66 relaciones: Addison-Wesley, Alfabeto, Algoritmo, Algoritmo de Thompson, Analizador léxico, Andréi Márkov, Arista (teoría de grafos), Autómata con pila, Autómata finito determinista, Autómata finito no determinista, Cadena de caracteres, Cadena de Márkov, Cadena vacía, Clausura transitiva, Conjunto potencia, Construcción de conjunto potencia, Dana Scott, Determinismo, Entrada, Estado (informática), Expresión regular, Grafo, Grafo dirigido, Gramática libre de contexto, Implementación, Inducción matemática, Informático teórico, Jerarquía de Chomsky, Lenguaje de programación, Lenguaje formal, Lenguaje regular, Máquina abstracta, Máquina de Mealy, Máquina de Moore, Máquina de Turing, Michael Oser Rabin, MIT Press, Modelo computacional, Neurona de McCulloch-Pitts, NP-completo, P (clase de complejidad), Par ordenado, Periférico de salida, Pila (informática), Princeton University Press, Proceso (informática), PSPACE-completo, Ravi Sethi, Recursión, Relación transitiva, ..., Serie de potencias, Servomecanismo, Sistema combinacional, Sistema determinista, Sistema dinámico, Sistema operativo, Sistema secuencial, Tabla de transición de estados, Teoría de autómatas, Teoría de la complejidad computacional, Teoría de la computabilidad, Transductor de estados finitos, Trie, Tupla, Unix, Vértice (teoría de grafos). Expandir índice (16 más) »
Addison-Wesley
Addison–Wesley fue una editorial estadounidense de libros de texto ubicada en Reading, Massachusetts y comprada por Pearson PLC en 1988.
¡Nuevo!!: Autómata finito y Addison-Wesley · Ver más »
Alfabeto
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 en una lengua determinada; estos signos, llamados letras, se escriben en secuencias lineales de orden equivalente a las de los sonidos en la lengua oral.
¡Nuevo!!: Autómata finito y Alfabeto · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Autómata finito y Algoritmo · Ver más »
Algoritmo de Thompson
El algoritmo Thompson (también conocido como método de Thompson) creado por Ken Thompson y Dennis Ritchie, sirve para obtener autómatas finitos no deterministas con transiciones vacías (AFND-ε) a partir de expresiones regulares (ER).
¡Nuevo!!: Autómata finito y Algoritmo de Thompson · Ver más »
Analizador léxico
Un analizador léxico o analizador lexicográfico (en inglés scanner o tokenizer) es la primera fase de un compilador, consistente en un programa que recibe como entrada el código fuente de otro programa (secuencia de caracteres) y produce una salida compuesta de ''tokens'' (componentes léxicos) o símbolos.
¡Nuevo!!: Autómata finito y Analizador léxico · Ver más »
Andréi Márkov
Andréi Andréyevich Márkov (Андре́й Андре́евич Ма́рков; Riazán, 14 de junio de 1856 — San Petersburgo, 20 de julio de 1922) fue un matemático ruso conocido por sus trabajos en la teoría de los números y la teoría de probabilidades.
¡Nuevo!!: Autómata finito y Andréi Márkov · Ver más »
Arista (teoría de grafos)
En teoría de grafos, una arista o línea corresponde a una relación entre dos vértices de un grafo.
¡Nuevo!!: Autómata finito y Arista (teoría de grafos) · Ver más »
Autómata con pila
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 y determina si esa cadena pertenece al lenguaje que el autómata reconoce.
¡Nuevo!!: Autómata finito y Autómata con pila · Ver más »
Autómata finito determinista
Un autómata finito determinista (abreviado AFD) es un autómata finito que además es un sistema determinista; es decir, para cada estado en que se encuentre el autómata, y con cualquier símbolo del alfabeto leído, existe siempre no más de una transición posible desde ese estado y con ese símbolo.
¡Nuevo!!: Autómata finito y Autómata finito determinista · Ver más »
Autómata finito no determinista
Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto, existe más de una transición δ(q,a) posible.
¡Nuevo!!: Autómata finito y Autómata finito no determinista · Ver más »
Cadena de caracteres
En programación, una cadena de caracteres, palabras, ristra de caracteres o frase (string, en inglés) es una secuencia ordenada (de longitud arbitraria, aunque finita) de elementos que pertenecen a un cierto lenguaje formal o alfabeto análogas a una fórmula o a una oración.
¡Nuevo!!: Autómata finito y Cadena de caracteres · Ver más »
Cadena de Márkov
En la teoría de la probabilidad, se conoce como cadena de Márkov o modelo de Márkov a un tipo especial de proceso estocástico discreto en el que la probabilidad de que ocurra un evento depende solamente del evento inmediatamente anterior.
¡Nuevo!!: Autómata finito y Cadena de Márkov · Ver más »
Cadena vacía
En ciencias de la computación y teoría de lenguajes formales, una cadena vacía o string vacío (en inglés) es la única cadena de caracteres de tamaño cero.
¡Nuevo!!: Autómata finito y Cadena vacía · Ver más »
Clausura transitiva
La clausura transitiva o cierre transitivo de una relación binaria es la relación binaria más pequeña que siendo transitiva contiene al conjunto de pares de la relación binaria original.
¡Nuevo!!: Autómata finito y Clausura transitiva · Ver más »
Conjunto potencia
En matemáticas, el conjunto potencia de un conjunto dado es otro conjunto formado por todos los subconjuntos del conjunto dado.
¡Nuevo!!: Autómata finito y Conjunto potencia · Ver más »
Construcción de conjunto potencia
En la teoría de la computación, la construcción de conjunto potencia es un método estándar para convertir un autómata finito no determinista (AFND) a un autómata finito determinista (AFD) que reconoce el mismo lenguaje formal.
¡Nuevo!!: Autómata finito y Construcción de conjunto potencia · Ver más »
Dana Scott
Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California.
¡Nuevo!!: Autómata finito y Dana Scott · Ver más »
Determinismo
El determinismo es una doctrina filosófica que sostiene que todo acontecimiento físico, incluso el pensamiento y las acciones humanas, están causalmente determinados por la irrompible cadena causa-consecuencia y, por tanto, el estado actual «determina» en algún sentido el futuro.
¡Nuevo!!: Autómata finito y Determinismo · Ver más »
Entrada
En teoría de la información, el término entrada se refiere a la entrar recibida en un mensaje, o bien al proceso de recibirla.
¡Nuevo!!: Autómata finito y Entrada · Ver más »
Estado (informática)
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.
¡Nuevo!!: Autómata finito y Estado (informática) · Ver más »
Expresión regular
En cómputo teórico y teoría de lenguajes formales, una expresión regular o expresión racional (también son conocidas como regex o regexp, por su contracción de las palabras inglesas regular expression) es una secuencia de caracteres que conforma un patrón de búsqueda.
¡Nuevo!!: Autómata finito y Expresión regular · Ver más »
Grafo
En matemáticas y ciencias de la computación, un grafo (del griego grafos: dibujo, imagen) es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto.
¡Nuevo!!: Autómata finito y Grafo · Ver más »
Grafo dirigido
Un grafo dirigido o digrafo es un tipo de grafo en el cual las aristas tienen un sentido definido, a diferencia del grafo no dirigido, en el cual las aristas son relaciones simétricas y no apuntan en ningún sentido.
¡Nuevo!!: Autómata finito y Grafo dirigido · Ver más »
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: Donde V es un símbolo no terminal y w es una cadena de terminales y/o no terminales.
¡Nuevo!!: Autómata finito y Gramática libre de contexto · Ver más »
Implementación
Una implementación es la ejecución o puesta en marcha de una idea programada, ya sea, de una aplicación informática, un plan, modelo científico, diseño específico, estándar, algoritmo o política.
¡Nuevo!!: Autómata finito e Implementación · Ver más »
Inducción matemática
En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable n\, que toma una infinidad de valores enteros.
¡Nuevo!!: Autómata finito e Inducción matemática · Ver más »
Informático teórico
Un científico de la computación es una persona con conocimientos adquiridos en ciencias de la computación, especializado en el estudio de los fundamentos teóricos de la información y la computación además de su aplicación.
¡Nuevo!!: Autómata finito e Informático teórico · Ver más »
Jerarquía de Chomsky
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 tipos de gramáticas formales que generan lenguajes formales.
¡Nuevo!!: Autómata finito y Jerarquía de Chomsky · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Autómata finito y Lenguaje de programación · Ver más »
Lenguaje formal
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 están formalmente especificadas.
¡Nuevo!!: Autómata finito y Lenguaje formal · Ver más »
Lenguaje regular
En teoría de la computación y lingüística computacional, un lenguaje regular es un lenguaje formal que puede ser definido por una expresión regular, generado por una gramática regular, y reconocido por un autómata finito.
¡Nuevo!!: Autómata finito y Lenguaje regular · Ver más »
Máquina abstracta
Una máquina abstracta, también llamada un computador abstracto, es un modelo teórico de un sistema computador de hardware o software usado en la teoría de autómatas.
¡Nuevo!!: Autómata finito y Máquina abstracta · Ver más »
Máquina de Mealy
En la teoría de la computación, una Máquina de Mealy es un tipo de máquina de estados finitos que genera una salida basándose en su estado actual y una entrada.
¡Nuevo!!: Autómata finito y Máquina de Mealy · Ver más »
Máquina de Moore
Una Máquina de Moore, En la teoría de la computación, es un autómata de estados finitos para el cual la salida en un momento dado solo depende de su estado en ese momento, mientras la transición al siguiente estado depende del estado en que se encuentre y de la entrada introducida.
¡Nuevo!!: Autómata finito y Máquina de Moore · Ver más »
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.
¡Nuevo!!: Autómata finito y Máquina de Turing · Ver más »
Michael Oser Rabin
Michael Oser Rabin (nacido en 1931 en Breslavia, Alemania, hoy en día parte de Polonia) es un notable científico de la computación y ganador del Premio Turing, el galardón más prestigioso en el campo.
¡Nuevo!!: Autómata finito y Michael Oser Rabin · Ver más »
MIT Press
MIT Press es una editorial universitaria afiliada a Instituto Tecnológico de Massachusetts (MIT).
¡Nuevo!!: Autómata finito y MIT Press · Ver más »
Modelo computacional
Un modelo computacional es un modelo matemático en las ciencias de la computación que requiere extensos recursos computacionales para estudiar el comportamiento de un sistema complejo por medio de la simulación por computadora.
¡Nuevo!!: Autómata finito y Modelo computacional · Ver más »
Neurona de McCulloch-Pitts
La neurona de McCulloch-Pitts es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural", similares a las que constituyen del cerebro humano.
¡Nuevo!!: Autómata finito y Neurona de McCulloch-Pitts · Ver más »
NP-completo
En teoría de la complejidad computacional, la clase de complejidad NP-completo es el subconjunto de los problemas de decisión en NP tal que todo problema en NP se puede reducir en cada uno de los problemas de NP-completo.
¡Nuevo!!: Autómata finito y NP-completo · Ver más »
P (clase de complejidad)
En computación, cuando el tiempo de ejecución de un algoritmo (mediante el cual se obtiene una solución al problema) es menor o igual que un cierto valor calculado a partir del número de variables implicadas (generalmente variables de entrada) usando una fórmula polinómica, se dice que dicho problema se puede resolver en un tiempo polinómico o polinomial P. La tesis de Cobham postula que la clase P es la que tiene los problemas tratables más grandes, es decir, los problemas de gran tamaño que se pueden calcular de forma eficiente con un ordenador.
¡Nuevo!!: Autómata finito y P (clase de complejidad) · Ver más »
Par ordenado
En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un elemento y otro.
¡Nuevo!!: Autómata finito y Par ordenado · Ver más »
Periférico de salida
Los dispositivos de salida son aquellos periféricos que se adosan a un ordenador y cuya finalidad es comunicar información al usuario.
¡Nuevo!!: Autómata finito y Periférico de salida · Ver más »
Pila (informática)
Una pila (stack en inglés) es una lista ordenada o estructura de datos que permite almacenar y recuperar datos, siendo el modo de acceso a sus elementos de tipo LIFO (del inglés Last In, First Out, «último en entrar, primero en salir»).
¡Nuevo!!: Autómata finito y Pila (informática) · Ver más »
Princeton University Press
Princeton University Press es una editorial académica independiente estadounidense, estrechamente ligada a la Universidad de Princeton.
¡Nuevo!!: Autómata finito y Princeton University Press · Ver más »
Proceso (informática)
Un proceso, en informática, puede entenderse informalmente como un programa en ejecución.
¡Nuevo!!: Autómata finito y Proceso (informática) · Ver más »
PSPACE-completo
En teoría de la complejidad computacional, la clase de complejidad PSPACE-completo (PSPACE-complete en inglés) es el subconjunto de los problemas de decisión en PSPACE y todo problema en PSPACE puede ser reducido a él en tiempo polinomial.
¡Nuevo!!: Autómata finito y PSPACE-completo · Ver más »
Ravi Sethi
Ravi Sethi (n. 1947 en Murdana, Panyab) es un informático teórico de India, actual presidente de Avaya Labs Research.
¡Nuevo!!: Autómata finito y Ravi Sethi · Ver más »
Recursión
La recursión o recursividad es la forma en la cual se especifica un proceso basado en su propia definición.
¡Nuevo!!: Autómata finito y Recursión · Ver más »
Relación transitiva
Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.
¡Nuevo!!: Autómata finito y Relación transitiva · Ver más »
Serie de potencias
En matemáticas, una serie de potencias es una serie de la forma: alrededor de x.
¡Nuevo!!: Autómata finito y Serie de potencias · Ver más »
Servomecanismo
Un servomecanismo es un sistema formado de partes mecánicas y electrónicas que en ocasiones son usadas en robots, con parte móvil o fija.
¡Nuevo!!: Autómata finito y Servomecanismo · Ver más »
Sistema combinacional
Se denomina sistema combinacional o lógica combinacional a todo sistema lógico en el que sus salidas son función exclusiva del valor de sus entradas en un momento dado, sin que intervengan en ningún caso estados anteriores de las entradas o de las salidas.
¡Nuevo!!: Autómata finito y Sistema combinacional · Ver más »
Sistema determinista
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.
¡Nuevo!!: Autómata finito y Sistema determinista · Ver más »
Sistema dinámico
Un sistema dinámico es un sistema cuyo estado evoluciona con el tiempo.
¡Nuevo!!: Autómata finito y Sistema dinámico · Ver más »
Sistema operativo
Un sistema operativo (SO) es el conjunto de programas de un sistema informático que gestiona los recursos del hardware y provee servicios a los programas de aplicación de software.
¡Nuevo!!: Autómata finito y Sistema operativo · Ver más »
Sistema secuencial
A diferencia de los sistemas combinacionales, en los sistemas secuenciales, los valores de las salidas, en un momento dado, no dependen exclusivamente de los valores de las entradas en dicho momento, sino también dependen del estado anterior o estado interno.
¡Nuevo!!: Autómata finito y Sistema secuencial · Ver más »
Tabla de transición de estados
En teoría de autómatas y lógica secuencial, una tabla de transición de estados es una tabla que muestra qué estado se moverá un autómata finito dado, basándose en el estado actual y otras entradas.
¡Nuevo!!: Autómata finito y Tabla de transición de estados · Ver más »
Teoría de autómatas
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.
¡Nuevo!!: Autómata finito y Teoría de autómatas · Ver más »
Teoría de la complejidad computacional
La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.
¡Nuevo!!: Autómata finito y Teoría de la complejidad computacional · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Autómata finito y Teoría de la computabilidad · Ver más »
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.
¡Nuevo!!: Autómata finito y Transductor de estados finitos · Ver más »
Trie
Introducidos en 1959 independientemente por Rene de la Briandais y Edward Fredkin, un trie es una estructura de datos de tipo árbol que permite la recuperación de información (de ahí su nombre del inglés reTRIEval).
¡Nuevo!!: Autómata finito y Trie · Ver más »
Tupla
En matemáticas, una tupla o upla es una lista (secuencia) ordenada y finita de elementos.
¡Nuevo!!: Autómata finito y Tupla · Ver más »
Unix
Unix (registrado oficialmente como UNIX®) es un sistema operativo portable, multitarea y multiusuario; desarrollado en 1969 por un grupo de empleados de los laboratorios Bell de AT&T.
¡Nuevo!!: Autómata finito y Unix · Ver más »
Vértice (teoría de grafos)
En teoría de grafos, un vértice o nodo es la unidad fundamental de la que están formados los grafos.
¡Nuevo!!: Autómata finito y Vértice (teoría de grafos) · Ver más »
Redirecciona aquí:
Automata de estado finito, Automata finito, Automata finito no determinista, Automatas finitos, Autómata de estado finito, Autómatas finitos, Maquina de estado finito, Maquina de estados finitos, Maquinas de estado finito, Máquina de estado finito, Máquina de estados finitos, Máquinas de estado finito.
