Команды реализации условного оператора | MetodPro.ru

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

Команды реализации условного оператора


Команда SEL  выбирает в регистре управления подсписок управления в зависимости от того какое значение находится в вершине стека. Команда JOIN возвращает управление главному списку после выполнения соответствующей ветки условного оператора.

(… SEL (…JOIN) (…JOIN)…)

В зависимости от того находится ли в вершине стека true или false  выполняется либо подсписок с1, либо подсписок с0. После завершения выполнения команд подсписка команда JOIN обеспечивает возвращение списка C для дальнейшего выполнения программы.

(x.s) e (sel c1 c0.c) d -> s e c1(или c0) (c.d)

s e (JOIN) (c.d) -> s e c d

(cond (atom (quote a))

     (cons (quote a) (quote (7 8)))

     (quote ())

)

1)    s e (ldc a atom sel (ldc (7 8) ldc a cons join)  (ldc nil join) stop) d

3)    (true.s) e (sel (ldc (7 8) ldc a cons join) (ldc nil join)  stop) d

4)    s e (ldc (7 8) ldc a cons join) (stop.d)

7)    ((a 7 8).s) e (join) (stop.d)

8)    ((a 7 8).s) e (stop) d



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

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