That is an overview of the syntax the program supports. It's not even remotely a formal specification.