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

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Левый вывод''' (''[[Leftmost derivation]]'') -
'''Левый вывод''' (''[[Leftmost derivation]]'')
такой ''[[вывод]]'' <math>\alpha_0,\alpha_1,\ldots,\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> заменой в ней
самого левого [[нетерминал|нетерминала]].
самого левого [[нетерминал|нетерминала]].
==Литература==
==Литература==
[Ахо-Ульман],  
* Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.
* Касьянов В.Н.  Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.


[Касьянов/95],
* Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986.
 
[Касьянов-Поттосин]

Текущая версия от 12:54, 29 апреля 2011

Левый вывод (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] заменой в ней самого левого нетерминала.

Литература

  • Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.
  • Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.
  • Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986.