Patterns and laws: syntaxis in bnf files