1
# the project file for the grammar "formal4"
8
morinfo: A grammar for all words that consists of k "a"s,
9
morinfo: followed by l "b"s, followed by m "c"s, where m = max{k, l}.
11
# end of file =================================================================