mechaniser automatist automaton mechanizer computerizer systemiser simplificator automan formalizer systemizer