Sequitur Principles
Digram Uniqueness:
- no pair of adjacent symbols (digram) appears more than once in the grammar.
Rule Utility:
- Every production rule is used more than once.
These two principles are maintained as an invariant while inferring a grammar for the input string.