|
Introducción
Clasificación de las Máquinas
Abstractas
Otras clasificaciones
Características comunes de las Máquinas
Abstractas
Definiciones de
propiedades
Elementos
constitutivos de las máquinas abstractas
Definición y
representación
Representaciones
de la función de transición
Máquinas Secuenciales
Máquina de Mealy
(ME)
Máquina de Moore (MO)
Comparación de
formas de representación entre Máquinas Mealy y Moore
Equivalencia entre Máquinas de Mealy y
Máquina de Moore
Conversión de Máquinas Secuenciales
De Mealy a Moore
De Moore a Mealy
Máquinas de Estados
Autómatas Finitos Deterministas (AFD)
Definición
Interpretación
de funcionamiento
Extensión a
palabras
Aceptación de
Palabras
Lenguaje
reconocido por un AFD
Accesibilidad entre estados (A)
Conjunto Conexo
Equivalencias en los AFD
Conjunto cociente Q/E
Minimización de AFD
Implementación de un Algoritmo
Autómatas Finitos No Deterministas (AFND)
Definición:
Conceptos
asociados a los AFND
Relaciones de Transiciones-λ (Conj. T).
Cierre transitivo de la relación
T (Conj. T*)
Extensión a palabras
Lenguaje Aceptado por un AFND
Equivalencias entre AF
Determinista y No determinista
Conversión de AFD a AFND
Conversión de AFND a AFD
Autómatas Con Pila (AP)
Definición
Funcionamiento
Operaciones de Pila
Representación gráfica
Tipos de Transiciones:
Descripción
instantánea de un AP
Movimiento de un
AP
Autómatas a Pila
Deterministas
Aceptación de
palabras por un Autómata a Pila
Lenguaje
aceptado por un Autómata a Pila
Tabla Operativa. |
