Багатоосновні алгебри

Узагальненням в визначенні алгебр є поняття багато основної алгебри, сигнатуру якої визначено на деякій сукупності множини , що є основами алгебри.

Прикладом багато основної алгебри є система алгоритмічних алгебр (САА) Глушкова, основами якої є множина операторів ( ) і множина логічних умов ( ) із визначеною на множинах сигнатурою операцій .

Деякі операції сигнатури та їх порівняння із відповідними операторами мови програмування Pascal подано у таблиці на наступних таблицях:

Сигнатура операцій в САА

№	Сигнатура послідовних операцій алгоритмічної алгебри	Відповідні оператори мови Паскаль
	Композиція
	-диз’юнкція
	-ітерація
	Обернена -ітерація
	Перемикач

 

Сигнатура паралельних операцій в САА-М

№	Сигнатура паралельних операцій САА-М	Позначення операції
	Фільтрація	Унарна операція, що породжує оператори-фільтри
	Синхронна диз’юнкція	Бінарна операція синхронного застосування операторів і
	Асинхронна диз’юнкція (інколи позначають )	Бінарна операція паралельного виконання операторів і на двох підструктурах певної моделі (наприклад, ядрах мікропроцесора)