finite-automaton public under formal-system 10, model-of-computation 6 List Picture As a command %3 n0 finite-automaton n3 pushdown-automaton n0->n3 n1 formal-system n1->n0 n2 model-of-computation n2->n0