Deterministic Finite Automata to define computation with labeled states and explicit transitions - View it on GitHub