Autómata: secuencia de estado que producen un evento.

Eventos discretos: son aquellos en los que se considera su estado solo en ciertos momentos,
separados por intervalos de tiempo, sin importar lo que ocurre en el sistema entre estos momentos.

Los sistemas discretos: son abstracción de ciertos sistemas, de los cuales se enfatiza su aspecto
“discreto”. Consta de un conjunto de estados separados por intervalo de tiempo sin importar lo que
ocurre entre un estado y otro.

Estado: es una situación en la que se permanece un cierto lapso de tiempo.

Evento o acción: permite pasar de un estado a otro.

Diferencia entre estado y evento: en el estado se permanece un cierto tiempo, mientras los
eventos son instantáneos.

Estado Inicial: estado en que inicia el proceso.

Estados excluyentes: No deben verificarse varias simultáneamente. Por ejemplo, una persona no
es soltera y casada a la vez.

Condición de estado Comprensivas: Quiere decir que entre todas ellas cubren todos los casos
posibles. Por ejemplo una persona es soltera, o casada o divorciada, sin haber otras opciones. (Sin
tener en cuenta el concubinato).

Transiciones: Son los nombres de los eventos van a estar formados por un carácter, y le
llamaremos transiciones en vez de “eventos”.

Estado final: Es un estado especial identificado por un ovalo de doble trazo. Los estados finales
indican que cuando se llega a ellos, la secuencia de eventos que llevo hasta ahí puede considerarse
como “aceptable”.

Componentes De Una Maquina Abstracta

Cabeza lectora: se coloca en los segmentos de la cinta que contienen los caracteres que componen
la palabra de entrada, y al colocarse sobre un carácter lo “lee” y manda esta información al control.

Control: El control le indica a la cabeza lectora cuando debe recorrerse a la derecha o izquierda. Se
supone que hay manera de saber cuándo se acaba la entrada (por ejemplo, al llegar al blanco).

La aguja: la aguja del control puede estar cambiando de posición, y hay algunas posiciones
llamadas finales, que son consideradas Especiales, porque permiten determinar si una palabra es
aceptada o rechazada.

Funcionamiento de los autómatas finitos: consiste en ir pasando de un estado a otro.

La función de transición: indica a qué estado se va a pasar sabiendo cual es el estado actual y el
símbolo que se está leyendo.

Palabras reservadas o Lenguaje aceptado: es el conjunto de palabras aceptadas por dicha

máquina. Para que un AFD acepte “palabras vacías” se necesita que el estado inicial sea también
final.
Autómata finito (AF):

Gramática regular que permite la derivación de palabras de un lenguaje.

Los AF constan de cinco elementos fundamentales AF=(∑, E, F, s, δ). Un
alfabeto (∑), un conjunto de estados (E), estado inicial (s), un conjunto de
estados finales (F) y una función δ: E×∑ E que permite determinar cuál
es el estado siguiente.

Autómata Finito Determinístico (AFD):

Es aquel en donde es posible determinar claramente cuál es el estado

siguiente.

Autómata finito no determinístico (AFN):

Es aquel en donde la función de estado siguiente, no conduce a un estado

único determinado.

 C

Cadena:

Es una secuencia de símbolos que se coloca uno seguido del otro.

Cadena vacía (ε):

Es aquella cadena que no tiene símbolos.

Composiciones:

Conjunto de reglas que se deben usar para la estructuración de las

palabras válidas en el lenguaje.

 G

Gramática:

Están integradas por el alfabeto y las composiciones para la estructuración

correcta de las palabras validas en un lenguaje.

 L

Lenguaje:
Es un conjunto de símbolos (o palabras) y métodos para estructurar y
combinar dichos símbolos.

Lenguaje natural:

Conjunto de símbolos y reglas para formar palabras, frases y oraciones

que se utilizan para la comunicación entre las personas. Este tipo
de lenguajes también se conocen como idiomas, así es el caso del idioma
español, francés, italiano, inglés etc.

Lenguajes formales:

Lenguajes de menor capacidad para simular y

modelar lenguajes naturales, como el lenguaje binario, Java, C, Basic o
Pascal que se utilizan en la comunicación con las computadoras.

 M

Máquina de estado finito:

Es una forma especial de representar los autómatas finitos, en donde no

existen estados aceptados y donde los símbolos de salida se colocan
juntamente con los símbolos de entrada en cada una de las aristas de
la máquina.

Máquina de Turing (MT):

Consiste de una cinta que se extiende de manera infinita en donde se

escribe o se lee información por medio de una cabeza de lectura-escritura.

 P

Programa fuente: es aquel que nos permite escribir un algoritmomediante

un lenguaje formal. Por eso al código desarrollado al programar se le
llama código fuente.

Programa objeto: es el resultado de traducir un programa fuente para

obtener un lenguaje comprensible por la máquina.

 T
Tabla de transición:

Tabla que concentra la información de un autómata así como los valores

que puede tomar la función de estado siguiente.

Teoría de la complejidad:

Es la parte de la computación que se encarga de analizar la cantidad de

recursos necesarios para resolver un problema como son tiempo y
espacio.