Functionsยง
- ladder_
grammar - Generates a graph grammar for a string with width
width
, also called ladder. Ifwidth
= 1 it reduces to a string grammar. It has two productions: - string_
grammar - Generates a simple string grammar. It has two productions: