Формальные языки


Построение восходящих преобразователей - часть 3



                                                          <R>  ® <Q><R>,


                                                          <Q>  ® -a{a}{-},


                                                           <R>  ® $.


 
Напомним, что при построении восходящих распознавателей  обработка каждого правила A
<A> ® ax

с номером k с символом x, занимающим самую правую позицию в правой части правила, связывалась операция  Свертка(k).  В  постфиксной транслирующей грамматике самую правую позицию могут занимать символы действия, поэтому при построении восходящего преобразователя эти символы можно объединить с операцией свертки в одну  операцию,  которую  назовем
Свертка  - Действие(k) (СД(k)). Учитывая, что все символы действия постфиксной транслирующей грамматики могут быть объединены  с  операциями свертки, приходим к заключению, что процедура построения восходящего распознавателя может быть применена для построения  восходящего преобразователя при условии, что вместо операции Cвертка (k) будет использоваться операция Свертка -  Действие(k)  для  правил построения постфиксной транслирующей грамматики,  содержащая символы действия.



- Начало -  - Назад -  - Вперед -