Module predefined

Source

Functionsยง

ladder_grammar
Generates a graph grammar for a string with width width, also called ladder. If width = 1 it reduces to a string grammar. It has two productions:
string_grammar
Generates a simple string grammar. It has two productions: