INDICE

 2.1. Introducción

  2.2. Clasificación de las Máquinas Abstractas

  2.3. Otras clasificaciones

  2.4. Características comunes de las Máquinas Abstractas

2.4.1. Definiciones de propiedades

2.4.2. Elementos constitutivos de las máquinas abstractas

2.4.3. Definición y representación

2.4.4. Representaciones de la función de transición

  2.5. Máquinas Secuenciales

2.5.1. Máquina de Mealy (ME)

2.5.2. Máquina de Moore (MO)

2.5.3. Comparación de formas de representación entre Máquinas Mealy y Moore

2.5.4. Equivalencia entre Máquinas de Mealy y Máquina de Moore

2.5.5. Conversión de Máquinas Secuenciales

2.5.5.1. De Mealy a Moore

2.5.5.2. De Moore a Mealy

      2.6. Máquinas de Estados

  2.6.1. Autómatas Finitos Deterministas (AFD)

2.6.1.1. Definición

2.6.1.2. Interpretación de funcionamiento

2.6.1.3. Extensión a palabras

2.6.1.4. Aceptación de Palabras

2.6.1.5. Lenguaje reconocido por un AFD

2.6.1.6. Accesibilidad entre estados (A)

2.6.1.7. Conjunto Conexo

2.6.1.8. Equivalencias en los AFD

2.6.1.9. Conjunto cociente Q/E

2.6.1.10. Minimización de AFD

2.6.1.11. Implementación de un Algoritmo

  2.6.2. Autómatas Finitos No Deterministas (AFND)

2.6.2.1. Definición:

2.6.2.2. Conceptos asociados a los AFND

2.6.2.2.1. Relaciones de Transiciones-λ   (Conjunto T).

2.6.2.2.2. Cierre transitivo de la relación T  (Conjunto T*)

2.6.2.2.3. Extensión a palabras

2.6.2.2.4. Lenguaje Aceptado por un AFND

2.6.2.2.5. Equivalencias entre AF  Determinista y No determinista

2.6.2.3. Conversión de AFD a AFND

2.6.2.4. Conversión de AFND a AFD

  2.6.3. Autómatas Con Pila (AP)

2.6.3.1. Definición

2.6.3.2. Funcionamiento

2.6.3.3. Operaciones de Pila

2.6.3.4. Representación gráfica

2.6.3.5. Tipos de Transiciones:

2.6.3.6. Descripción instantánea de un AP

2.6.3.7. Movimiento de un AP

2.6.3.8. Autómatas a Pila Deterministas

2.6.3.9. Aceptación de palabras por un Autómata a Pila

2.6.3.10. Lenguaje aceptado por un Autómata a Pila

2.6.3.11. Tabla Operativa.