C4 grammaticography colloquium: Electronic grammars: Taking advantage of the possibilities

Abstract

This paper shows how a formal grammar can be embedded into a descriptive grammar using Literate Programming. The formal grammar can automatically be extracted and converted into a parser, and the parser can be tested on the examples in the grammar. The result is an archivable, reproducible and verifiable grammatical description.