Последовательность вывода в структурно-операционной семантике языка While. | MetodPro.ru

Реклама на сайте

Последовательность вывода в структурно-операционной семантике языка While.


25. Последовательность вывода
Конечную последовательность
 y0,y1... yk, состоящую из конфигураций, удовлетворяющих условиям:
a) y0 = <S,s>,
b)  yi -> yi+1, где 0<=i<k
c)  yk  – терминальная(тупиковая) конфигурация  и бесконечную последовательность  y0,y1 ,y2...  для которой выполняются  условия:
a) y0 = <S,s>,
b)  yi -> yi+1, где i >= 0
будем называть последовательностью вывода.
Будем называть  y0->i yi, если существует вычисление из i шагов, приводящее в конфигурацию yi из конфигурации y0.
Запись y0 ->* yi будем обозначать что существует вычисление, приводящее в конфигурацию yi из конфигурации y0 за конечное число шагов.
Отметим, что y0->i yi и y0 ->* yi не обязательно являются последовательностями вывода. Они будут таковыми если yi – тупиковая конфигурация.





Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем