Рекурсивный нетерминал: различия между версиями

'''Рекурсивный нетерминал''' (''[[Recursive nonterminal symbol]]'') -

''[[нетерминал]]'' <math>A</math> ''[[контекстно-свободная грамматика|контекстно-свободной грамматики]]''

<math>G=(N,\Sigma,P,S)</math>, если <math>A\Longrightarrow^+\alpha A\beta</math>

для некоторых <math>\alpha</math> и <math>\beta</math>. Если <math>\alpha =e</math>, то <math>A</math>

называется ''леворекурсивным''. Аналогично, если <math>\beta

=e</math>, то <math>A</math> называется ''праворекурсивным''.

[[Грамматика]] <math>G</math> называется ''леворекурсивной''

(соответственно ''праворекурсивной''), если в <math>G</math> имеется

[Ахо-Ульман],  

 

[Касьянов/95]