Possible Answers For: Formal recognizer