Module predefined

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: