finite-automaton

public under formal-system 10, model-of-computation 6

List Picture As a command

• pushdown-automaton