6.17.5.3 Defining Recognizers