formal-grammar public under formal-system 10 List Picture As a command %3 n0 formal-grammar n2 context-free-grammar n0->n2 n1 formal-system n1->n0