Пусть S⇒γ1⇒⋯⇒γm=ω - правосторонний вывод цепочки ω из аксиомы S грамматики G=(_,_,_,S). Тогда r-формой называется каждая цепочка γi,i=1…m