!reset-isgm [password] Formally: S → !reset-isgm password password → ε password → string
S
→ !reset-isgm password
password
→ ε
→ string