A system of functional parsers (combinators, transformers, generators.)
EBNF grammar and interpreters.