Составители:
Рубрика:
Глава 5. О НЕКОТОРЫХ ЯЗЫКАХ
ПРОГРАММИРОВАНИЯ
§ 1. О языке Occam (“Бритва Оккама”)
Язык разрабатывался для работы с транспьютерами.
Базовыми элементами языка являются декларации и три “про-
цесса”:
– присваивание;
– ввод;
– вывод.
Ввод/вывод аналогичны таковым в языке CSP, но каналы гло-
бальны по отношению к процессам и имеют имена.
Каждый канал должен иметь одного отправителя и одного по-
лучателя.
Базовые процессы объединяются в обычные процессы с помо-
щью так называемых конструкторов; существуют
– последовательные конструкторы;
– параллельный конструктор;
– защищенный оператор взаимодействия.
Конструкторы PAR — параллельный, SEQ — последовательный.
В синтаксисе Occam каждый базовый процесс, конструктор и
декларация занимают отдельную строчку; а декларация заканчи-
вается двоеточием, в записи используются отступы.
Рекурсия не поддерживается.
Пример 1.
INT x,y:
SEQ
x:=x+1 # последовательное
y:=y+1 # увеличение значений x и y
Замечание. Для параллельного исполнен ия вместо SEQ можно
поставить PAR.
В языке Occam существуют также конструкторы
IF, CASE, WHILE, ALT (для защищенного взаимодействия).
Кроме того, имеется механизм, называемый репликатором (по-
хож на квантификатор).
60
Страницы
- « первая
- ‹ предыдущая
- …
- 57
- 58
- 59
- 60
- 61
- …
- следующая ›
- последняя »
