4624
правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Рекурсивный нетерминал''' (''Recursive nonterminal symbol'') - ''нетерминал'' <math>A</math> ''конт...) |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Рекурсивный нетерминал''' (''Recursive nonterminal symbol'') - | '''Рекурсивный нетерминал''' (''[[Recursive nonterminal symbol]]'') - | ||
''нетерминал'' <math>A</math> ''контекстно-свободной грамматики'' | ''[[нетерминал]]'' <math>A</math> ''[[контекстно-свободная грамматика|контекстно-свободной грамматики]]'' | ||
<math>G=(N,\Sigma,P,S)</math>, если <math>A\Longrightarrow^+\alpha A\beta</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>\alpha</math> и <math>\beta</math>. Если <math>\alpha =e</math>, то <math>A</math> | ||
Строка 6: | Строка 6: | ||
=e</math>, то <math>A</math> называется ''праворекурсивным''. | =e</math>, то <math>A</math> называется ''праворекурсивным''. | ||
Грамматика <math>G</math> называется ''леворекурсивной'' | [[Грамматика]] <math>G</math> называется ''леворекурсивной'' | ||
(соответственно ''праворекурсивной''), если в <math>G</math> имеется | (соответственно ''праворекурсивной''), если в <math>G</math> имеется | ||
хотя бы один леворекурсивный (соответственно | хотя бы один леворекурсивный (соответственно |