text: Тогда грамматика G {\displaystyle G} является грамматикой типа i , i = 0 , 1 , 2 , 3 {\displaystyle i,i=0,1,2,3} , неукорачивающей, линейной, λ {\displaystyle \lambda } -свободной, контектсно-свободной или контекстно-зависимой тогда и только тогда, когда грамматика G 1 = ( V N , V T , X 0 , F ) {\displaystyle G_{1}=(V_{N},V_{T},X_{0},F)} обладает этим свойством.