Схема - программа
Cтраница 4
 |
Схема для управления выполнением программы с использованием световых кнопок ( СК. [46] |
На рис. 61 показана схема программы управления, использующего световое перо. [47]
На рис. 7.25 представлена схема программы решения системы (7.92) уравнений ТДТИ в относительных единицах на ЭВМ для тормозов. [48]
На рис. 2.8 представлена схема программы расчета электрических нагрузок электроприемников до 1000 В. [49]
Формально-комбинаторные методы формируют теорию схем программ, изучающую свойства программ, инвариантные к выбору интерпретации базовых операций. [50]
Оно показывает количественный состав схемы программы, но не раскрывает ее качественного своеобразия. Схема счета уже иллюстрирует вычислительный процесс, показывая наличие арифметических и логических операций, разветвления и циклы. Представим схему счета программы ранее рассмотренной задачи ( стр. [51]
Формально-комбинаторные методы формируют теорию схем программ, к-рая изучает свойства программ, инвариантные относительно выбора интерпретации базовых операций. [52]
Существенное место в теории схем программ занимают вопросы перевода схем программ из одной вычислительной модели в другую. [53]
Обозначим через РВ класс схем программ над стандартной памятью, допускающих возвраты вышеописанного вида. Класс Р ( п, т) - класс стандартных схем с я-стеками ( по данным), способными запоминать промежуточные значения переменных, и т-маркерами, Рвм - класс схем, допускающих возвраты и обладающих дополнительной возможностью расставлять метки на значениях переменных, РА / П / - класс схем, допускающих индексирование переменных, маркеры в качестве значений переменных и предикат равенства. С точки зрения дискретных преобразователей класс РВМ является классом отмечающих преобразователей над стандартной памятью. Эти соотношения будут использованы в следующей теореме. [54]
Пусть IR0 обозначает класс схем программ с рекурсивным вызовом процедур, у которых в описаниях процедур отсутствуют локальные переменные. [55]
Страницы: 1 2 3 4