Грамматика без e-правил: различия между версиями

Грамматика без <math>e</math>-правил (''[[e-Free grammar]]'') - [[КС-грамматика]] <math>G</math>=<math>(N</math>,<math>\Sigma</math>, <math>P</math>,<math>S)</math>, для которой справедливо одно из следующих правил:

(1) <math>P</math> не содержит ''<math>e</math>-правил'', т.е. правил вида <math>A \longrightarrow e</math>, где <math>A \in N</math>;

(2) в <math>P</math> есть точно одно <math>e</math>-правило <math>S \longrightarrow e</math> и <math>S</math> не встречается в правых частях остальных правил из <math>P</math>.

Любая КС-грамматика может быть приведена к ''[[эквивалентные грамматики|эквивалентной]]'' ей без <math>e</math>-правил.