Изменения

C\rightarrow c

</tex>

# Возьмём множество, состоящее из единственного элемента: <tex>\lbrace S \rbrace</tex>.

# Из <tex>S</tex> достижимы нетерминалы <tex>A</tex>, <tex>B</tex>, <tex>C</tex> и <tex>D</tex>. Добавим их в множество и получим <tex>\lbrace S, A, B, C, D \rbrace</tex>.