Grammar Compiler

Define a constraint grammar for a domain. The grammar is compiled into a finite-state machine and fingerprinted for audit.