Blob Blame History Raw
# the project file for the grammar "max_count"

sym: formal.sym
all: formal.all
lex: formal.lex
mor: max_count.mor

info: A grammar for all words that consists of k "a"s, followed by l "b"s, 
info: followed by m "c"s, where m = max{k, l}.

# end of file =================================================================