?-Calculus -- The Hybrid ?-Calculus -- The Inverse Method Implements the Automata