Sequitur Example (12)

bbebeebebebbebee

S -> bAAeAbe

A -> be

Enforce digram uniqueness.

be occurs twice.

Use existing rule A -> be.

Previous slide

Next slide

Back to first slide

View graphic version