Definition talk:Formal Language/Vocabulary