[icWasya]

А как вааще может что-то выводиться когда
S>aABF
и
А>FF
То есть из S всегда выводится цепочка, содержащая нетерминал F,
а нетерминал F может только "размножаться", и никогда не сводится ни к терминалу, ни к пустой цепочке?