RRG An RRG is a type of regular language whose rules are all of the form: \[ A \implies \epsilon \text{ or } A \implies bC \]