# Erasing rule

Jump to: navigation, search

In a formal grammar, an erasing rule is a rule which maps a string of symbols to the empty string (ε).

Formally, an erasing rule is an ε-production, like

$A \to \epsilon$