Изменения

где <tex> a </tex> {{---}} терминал, <tex> A </tex> {{---}} нетерминал(возможно, стартовый), <tex> S </tex> {{---}} стартовый нетерминал (причём он не должен встречаться в правых частях правил), <tex> \varepsilon </tex> {{---}} пустая строка, <tex> \gamma </tex> {{---}} строка из не более, чем двух нетерминалов. Таким образом, пустая строка выводится только из стартового нетерминала, однако он по-прежнему может участвовать в формировании правил первого типа. (Это утверждение применимо и к ослабленной нормальной форме Грейбах)

где <tex> a </tex> {{---}} терминал, <tex> A </tex> {{---}} нетерминал(возможно, стартовый), <tex> S </tex> {{---}} стартовый нетерминал (причём он не должен встречаться в правых частях правил), <tex> \varepsilon </tex> {{---}} пустая строка, <tex> \gamma </tex> {{---}} строка из произвольного числа терминалов и нетерминалов.