К-язык
В качестве языка параллельного программирования был разработан так называемый К-язык. Суть языка: задается множество элементарных операторов и множество порождающих правил построения алгоритмов, образующие некоторое исчисление. Запись вывода в этом исчислении и является К-программой. Имеются три типа основных порождающих правил: суперпозиция, дизъюнкция, рекурренция. Правило суперпозиции означает, что результаты выполнения операторов b1,b2, ..., bk
служат аргументами для некоторого оператора B. Порядок выполнения операторов b1, b2, ..., bk безразличен, что и порождает параллелизм в их выполнении. Правило дизъюнкции задает ветвление в К-программе, а правило рекурренции – цикличность. К-язык относится к языкам асинхронного типа.
