Text this: Automata theory:distributed models