Clases - LuisJackRamirez/PyCompiler GitHub Wiki

Las clases que conforman el programa.

Estado

Los nodos de un autómata, representados como nodos en un diagrama de estados.

Atributos

Identificador

Un simple entero positivo que lo identifica y es único en el AFN.

Conjunto de transiciones

Las varias transiciones símbolo-destino entre estados

Estado inicial (EdoInicial) y estado final (EdoFinal)

Es importante declarar si es un estado inicial o final.

Token

Un entero mayor a cero para su utilización en el analizador léxico. Sólo es necesario para los estados de aceptación

Transición

Atributos

Símbolo

El caracter del alfabeto que genera la transición de un estado A a un estado B, incluyendo épsilon para el caso de AFN.

Estados destino

Un conjunto de estados a los que nos lleva el símbolo.

Autómata Finito No Determinista (AFN)

Atributos

Estado inicial (EdoInicial)

Estado a partir del cual comienza el análisis.

Alfabeto

El conjunto de caracteres que define los estados.

Estados AFN (EdosAFN)

El conjunto de nodos en todo el autómata.

Estados de aceptación (EdosAceptacion)

Conjunto de estados que definen el final del análisis.

Identificador del AFN (IdAFN)

Métodos

AFN crearBásico (char c)

Crear un autómata sencillo

Autómata Finito Determinista (AFD)