Formal Language Revision