Delineate between algorithm and automaton, add modulo alg