Definicion de Automatas

Definición de Autómatas


1.- ¿Qué es un autómata?
Un autómata es un modelo matemático para una máquina de estado finito, en el que, dada una entrada de símbolos, “salta” mediante una serie de estados de acuerdo a una función de transición (que puede ser expresada como una tabla). Esta función de transición indica a qué estado cambiar dados el estado actual y el símbolo leído.

2.- ¿Qué es una maquina?
Una máquina es un conjunto de elementos móviles y fijos cuyo funcionamiento posibilita aprovechar, dirigir, regular o transformar energía, o realizar un trabajo con un fin determinado. ​

3.- ¿Cuál es la relación entre lenguaje y gramática?
Una lengua es un idioma, ya sea el español, el francés, o el inglés.
La gramática es un estudio estructural de las palabras y de las reglas y principios que gobiernan las lenguas.

4.- ¿cuál es la relación entre lenguaje y autómatas?
Formalmente, dado un autómata finito no determinista
M = (E, A, T, e0, F) el lenguaje aceptado por M es L(M) definido como
L(M)= {w | existe una computación aceptadora de M con entrada de w}
para el cual se cumplen los siguientes teoremas:
Dado un autómata finito no determinista (AFnD) M, existe un autómata finito determinista (AFD) M’ tal que L(M) = L(M’).
Construcción de gramáticas a partir de autómatas dados y de forma inversa.
Un lenguaje A es regular si existe un autómata finito determinista M con A = L(M).
Un lenguaje A es irregular si existe un Autómata finito no determinista N con A = L(N).

5.- ¿a qué se le llama expresión?
Una expresión es la representación o materialización de una idea, mediante el uso de recursos como el habla, la escritura o el lenguaje corporal. Es uno de los principales mecanismos cognitivos que permiten la comunicación entre la mayoría de los seres vivos que habitan la tierra; aunque sólo se trate de un instinto primitivo de protección o socialización.

Historia y evolución lenguaje y autómatas.

Comentarios

Entradas más populares de este blog

Traductores: Ensambladores, compiladores e intérpretes

Clasificación de los Compiladores

Automatas de pila Unidad 2