Module Hierarchy

• recognizer: This package defines a deterministic finite-state recognizer in the recognizer module.
  • recognizer.complementation: Given a machine machine which recognizes a regular language L, return another machine, complement, which recognizes the complement of L.
  • recognizer.recognizer: This module defines a deterministic finite-state recognizer.