maybe function

maybe matches 0 or 1 of pattern p. In EBNF notation, this corresponds to a question mark ('?').