Deterministic finite automaton Word function Automaton language Example of combining (multiplying) two automata Building abstract automaton Another example Shuffle operation definition Zigzag language definition SemiZigzag language definition Welding two languages definition