18. Построение нисходящего преобразователя.

Построение преобразователя.

Покажем теперь, как по заданной СУ - схеме можно построить детерминированный преобразователь. В начале по заданной СУ - схеме построим транслирующую грамматику Г. Это всегда можно сделать, поскольку заданная СУ - схема должна быть простой. Если входная грамматика заданной СУ - схемы относится к классу LL(1) -грамматик, то и входная грамматика транслирующей грамматики также должна относиться к этому классу, поскольку при построении Т - грамматики входные правила изменениям не подвергались. Учитывая, что искомый преобразователь должен в процессе формирования выхода осуществлять и распознавание входной цепочки, будем его строить по правилам транслирующей грамматики, используя правила построения распознавателя.Такой преобразователь должен воспроизводить левый вывод входной цепочки в магазине и удалять терминальные символы, на ходящиеся в вершине, при совпадении их с очередным символом на входной ленте. Однако при этом в магазин будут записываться выходные символы, содержащиеся в правилах Т - грамматики, и возникнут неопределенные ситуации при появлении выходного символа в вершине магазина. Чтобы исключить такие ситуации, дополним этот правила построения преобразователя следующим правилом: при появлении выходного символа в вершине магазина он должен передаваться на выход независимо от того, какой символ находится под входной головкой.Построение функции переходов МП (1) для всех правил вида<A> --> b, где bV_твх и(V_твхU V_твыхU V_a)*, строим команды:( s₀, b, A)=( s₀, ', $ ), где' - зеркальное отображение цепочки. (2) Для всех правил вида<A> --> <B>, где BVa и(V_твхU V_твыхU V_a)*, строим команды:*( s₀, u, A ) = ( s₀, B , $ ),где uВЫБОР(<A> --> <B>_вх) и_вх- цепочка, полученная изпутем удаления из нее всех выходных символов. . (3) Для всех правил вида<A> --> $строим команды: *( s₀, u, A ) = ( s₀, $, $ ),гдеuВЫБОР(<A> --> $). (4) Для всех символов b, принадлежащих, V_твх , стоящих на первом месте в правой части правил транслирующей грамматики, т.е. символов,заносимых в магазин, строим правило: ( s₀, b, b ) = ( s₀, $, $ ).(5) Для всех выходных символов {u}, таких что uV_твыхU {$}, строим команды: *( s₀, z, {u} ) = ( s₀, $, {u} ),где zVтвх. Точнее команды строятся для сочетаний {u}z, таких что z может следовать за {u} в цепочках, выводимых в за данной грамматике. (6) Заключительное правило строим так: ( s₀, $, h0 ) = ( s₀, $, $ ).

Пример построения преобразователя. Применение правил построения команд преобразователя рассмотрим на примере транслирующей грамматики Г, которая описывает перевод инфиксных выражений, состоящих из идентификаторов и знаков + и *, в постфиксные польские выражения. Эта грамматика имеет следующую схему:Г _{4. 2}:R = {<E>+<E><E>{+}, <E>x<E><E>{x}, <E>a{a}}

Используя правило построения команд преобразователя (1) для правил грамматики, начинающихся входным терминальным символом, получаем команды преобразователя Мп1: q(s₀, +, <E>) = (s₀, {+}<E><E>, $),q(s₀, *, <E>) = (s₀, {*}<E><E>, $),q(s₀, a, <E>) = (s₀, {a},$)

Правила построения команд вида (2),(3),(4) к заданной грамматике неприменимы, поэтому с помощью правил вида (5) построим команды, обеспечивающие передачу выходных символов на выход. Эти команды имеют вид: q*(s₀, +, {+}) = (s₀, $, +), q*(s₀, *, {+}) = (s₀, $, +), q*(s₀, a, {+}) = (s₀, $, +), q*(s₀, $', {+}) = (s₀, $, +), q*(s₀, *, {*}) = (s₀, $, *), q*(s₀, +, {*}) = (s₀, $, *), q*(s₀, *,{a}) = (s₀, $, *), q*(s₀, $',{*}) = (s₀, $, *), q*(s₀, a,{a}) = (s₀, $, a), q*(s₀, +{a}) = (s₀, $, a), q*(s₀, *,{a}) = (s₀, $, a), q*(s₀, $', {a}) = (s₀, $, a)

Для перехода в заключительное состояние s₁в соответствии с правилом (6) построим команду:

q(s₀,$',h₀) = (s₁,$,$) Чтобы посмотреть как работает построенный преобразователь, рассмотрим построение выходной цепочки для входа +a*aa. Последовательность конфигураций, получаемых с помощью команд преобразователя имеет вид: (s₀,+a*aa,h₀E,$) |-- (s₀,a*aah₀{+}EE, $) |-- (s₀,*aa,h₀{+}T{a},$) |-- (s₀,*aa,h₀{+}E,a) |-- (s₀,aa,h₀{+}{*}T{a},a) |-- (s₀,a,h₀{+}{*}E,aa) |-- (s₀,$,h₀{+}{*}{a},aa) |-- (s₀,$,h₀{+}{*},aaa) |-- (s₀,$,h₀{+},aaa*)|-- (s₀,$,h₀,aaa*+) |-- (s₀,$,$,aaa*+).

Результатом работы преобразователяявляется выходная цепочка aaa*+, представляющая постфиксную запись заданной входной цепочки.