Методические указания к лабораторным работам по курсу "Теория вычислительных процессов и структур". Домашова Д.В - 5 стр.

переменная > }...
      (переменная с длиной>::=*<имя>|<число>*
      <произвольная переменная>::=*<имя>*
      <правая часть>::={<строка>|<имя>}…
      Выполнение неспециального оператора заключается в анализе и
преобразовании какой-нибудь одной строки: берется строка, на которую
ссылается имя из левой части (основной строки), в ней ищется подстрока,
соответствующая образцу; если такая строка есть, она заменяется на строку,
сформированную из правой части и становится новым значением имени из
левой части. Кроме обработки основной строки оператор может означать
переход к другому (помеченному) оператору, указанному в альтернативе
"переход":
      <переход>::={<безусловный переход>|<переход по успеху>|<переход по
неуспеху>}
      <безусловный переход>::=/(<метка>)
      <переход по успеху>::=/s(<метка>)
      <переход по неуспеху>::=/F(<метка>).
      При безусловном переходе следующим всегда выполняется оператор,
метка которого указана в круглых скобках. Остальные переходы - условные.
Если задан "переход по успеху", то переход по указанной метке происходит
только тогда, когда в данном операторе подстрока, соответствующая
образцу, найдена в основной строке; в противном случае преемником
данного оператора является следующий по порядку оператор программы.
"Переход по неуспеху" определяется противоположным образом.
      Операции над строками: образование строки, поиск по образцу, замена
части строки.
      Образование новой строки выполняется последовательной записью
произвольно данных строк; присвоить полученную строку некоторому имени
можно по правилу:
      <имя>=[<правая часть>]
      Поиск по образцу означает выделение из основной строки подстроки
образца в соответствии с правилом:
      <имя><образец>
      Исходы поиска: успех (если вхождение найдено (если вхождений
несколько, берется левое)); неуспех (вхождение не найдено).
      Замена части строки определяется правилом:
      <имя><образец>=[<правая часть>]
      По этому правилу часть основной строки, соответствующая образцу,
выделенному по предыдущему правилу, заменяется на строку, образованную
из правой части.
      Специальные операторы:
      <специальный оператор>::=<оператор печати>|<оператор останова>
       <оператор печати>::=[<метка>]=РRINТ=[<строка>|<имя>]

8