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

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


[Касьянов/95],
* Касьянов В.Н.  Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.


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

Текущая версия от 12:01, 23 июня 2011

Правый вывод (Rightmost 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.