Namespace Automata.Visualization Classes GraphFactory Static class for creating displayable graphs from finite state automata. GraphView Class for displaying finite-state automata as graphs in a separate window (and its own separate thread).