Contents:
formalisms
formalisms.cfg
formalisms.depth_generate
formalisms.generate_tests
formalisms.tree_automata
formalisms.trees