The BNF for the grammar expression grammar formal language used is expected, and in the theory of languages and machines of wide range.