[Oops.] Type error for production rule for CFG

[plin25]

Chapter number or note title: Models of Computation Lecture 5: Context-Free Languages and Grammars

Page number: 1

Error description: The third bullet explaining CFG states

• A finite set R of production rules of the form A → w, where A ∈ Γ is a non-terminal and w ∈ (Σ ∪ Γ)* is a string of symbols and variables.

which does not include the possibility of w = ε, as seen a few lines later in the example production rule C → ε

Suggested fix (if any): Replace w ∈ (Σ ∪ Γ) with w ∈ (Σ ∪ Γ) ∪ {ε}

[echuber2]

Couldn't (Σ ∪ Γ)* already imply ε because of the Kleene star?

[plin25]

I'm an idiot