The SABNF grammar:

input: (the non-context-free string to parse)