Йерархия на Чомски: Разлика между версии

м
→‎Тип 1: корекция на уточнението за <sup>+</sup>. ε е дума (макар и празна)
м (→‎Класове в йерархията: без рефлексивност в стила на текста)
м (→‎Тип 1: корекция на уточнението за <sup>+</sup>. ε е дума (макар и празна))
Граматиките от ''тип 1'' ([[контекстна граматика|контекстните граматики]]) са граматики, които съдържат само правила със следния вид
: <math>v \circ a \circ w \rightarrow v \circ \langle b\rangle \circ w;\ v,w \in (T\cup N)^*, a\in (T\cup N)^+, b\in N</math>.
(За множество М, М<sup>+</sup> е съкращение на <math>M^* - \lbrace\langle\varepsilon\rangle\rbrace</math>.)
 
Такива правила се наричат ''[[контекст]]ни'' (англ. ''context-sensitive'').
3280

редакции