Les dejo un código de un Autómata Finito Determinista (ADF) programado de manera sencilla en Python. Espero que les sirva para realizar alguna tarea.
#Alfabeto aceptado
A = ['a','b']
#Bandera por si la entrada no pertenece
#al alfabeto de entrada
bandera = True
#Tabla de transición
TablaT = [[0,'a',1],[1,'a',1],[1,'b',2]]
#Tabla de estados de la comparación
TablaC = []
#Estados finales
EF = [1]
#Estado inicial
E = 0
#Estado Actual
EA = E
#Cadena de entrada
CE = "aaaaa"
#Recorremos la Cadena de entrada
for c in CE:
print(c)
#Verificamos que sea del alfabeto aceptado
if c in A:
print("Esta en el alfabeto")
#Buscamos en la tablaT
for f in TablaT:
#Recorrido de las producciones
#Buscamos el estado actual y el caracter de entrada
if c in f and EA in f:
#Agregamos a la tabla final
TablaC.append([EA,c,f[2]])
#print(f[2])
#Actualizamos el estado actual
EA = f[2]
print("Estado Actual: "+str(EA))
else:
print("Cadena no pertenece al alfabeto")
bandera = False
#Comparamos el estado final
#Para saber si es terminal y se acepta
#o no la cadena de entrada.
if EA in EF and bandera == True:
print("---------------------------------\n")
print("Se acepta la cadena de entrada!!!\n")
print("-----Tabla de transiciones-------\n")
for t in TablaC:
print(t)
else:
print("No se acepta la cadena de entrada!!!\n")
print("-----Tabla de transiciones-------\n")
for t in TablaC:
print(t)
