Text this: An Algorithm for Algebraic Synthesis of a Finite-State Machine Based on Operation Enumeration.