Formal Language Translator