Metalanguage ('BNF') for describing the grammar of programming languages. Ruby's parse.y uses BNF-style notation consumed by Yacc. Małaszkiewicz uses the parse.y rule for `string` — defined recursively as `string1 | string string1` — to explain why Ruby concatenates adjacent string literals at parse time.