Левый вывод: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Левый вывод''' (''Leftmost derivation'') - такой ''вывод'' <math>\alpha_0,</math>\alpha_1,<math>\ldots,</math>\alp...)
 
Нет описания правки
Строка 1: Строка 1:
'''Левый вывод''' (''Leftmost derivation'') -  
'''Левый вывод''' (''[[Leftmost derivation]]'') -  
такой ''вывод'' <math>\alpha_0,</math>\alpha_1,<math>\ldots,</math>\alpha_n<math> в
такой ''[[вывод]]'' <math>\alpha_0,\alpha_1,\ldots,\alpha_n</math> в
''контекстно-свободной грамматике'',
''[[контекстно-свободная грамматика|контекстно-свободной грамматике]]'',
что для любого </math>i<math> цепочка </math>\alpha_i<math> получается из </math>\alpha_{i-1}<math> заменой в ней
что для любого <math>i</math> цепочка <math>\alpha_i</math> получается из <math>\alpha_{i-1}</math> заменой в ней
самого левого нетерминала.
самого левого [[нетерминал|нетерминала]].
==Литература==
==Литература==
[Ахо-Ульман], [Касьянов/95],
[Ахо-Ульман], [Касьянов/95],


[Касьянов-Поттосин]
[Касьянов-Поттосин]

Версия от 18:33, 18 ноября 2009

Левый вывод (Leftmost derivation) - такой вывод [math]\displaystyle{ \alpha_0,\alpha_1,\ldots,\alpha_n }[/math] в контекстно-свободной грамматике, что для любого [math]\displaystyle{ i }[/math] цепочка [math]\displaystyle{ \alpha_i }[/math] получается из [math]\displaystyle{ \alpha_{i-1} }[/math] заменой в ней самого левого нетерминала.

Литература

[Ахо-Ульман], [Касьянов/95],

[Касьянов-Поттосин]