La Teoría de Gráficas es una herramienta útil para el estudio de los autómatas, ya
que una gráfica representa una pareja (N,L) que consiste de N nodos y L ligas. Como los
símbolos de los nodos son manejados como enteros consecutivos se facilita el uso de sus
propiedades aritméticas o algebraicas, haciendo uso de matrices. Entre las gráficas más
importantes, para el estudio de los autómatas están los siguientes diagramas:
Diagrama de de Bruijn
Diagrama de subconjuntos
Diagrama de parejas
Para auxiliarnos en la construcción de los diagramas usamos el software elaborado por
McIntosh, en la Universidad Autónoma de Puebla, el NXLCAU.