Thue

A metalanguage for writing the description of a compiler. Based on the semi-Thue grammar.