Кўпмодулли ҳисоблаш тизимларининг ишлаб туриш алгоритмини формал модели таклиф 
қилинади.  Чекли  автоматлар  ўрнига  чекли  алгебра   қаралиб,  автоматлар  назариясининг  асосий 
тушунчалари  ва  натижалари  ривожлантирилган.  Қаралаётган  модел  ўзининг  берилган 
қийматларини   блокли   қайта  ишлаш  билан  эмас,  балки  у  автомат  акслантиришларнинг   икки 
тўпламига  асосланган:  кириш  сўзларини  чиқиш  сўзларига  қисман  акслантириш  (алмаштириш) 
тўпламида  ва  алмаштириш  бошқарув  операторларининг  тўпламида.   Реал  ҳисоблаш 
тизимларининг ишлаш принципи кўрсатилган модулли  ҳисоблаш тизими мос келганлиги сабабли, 
келтирилган  тушунчалар  ва  олинган  натижалар  ҳисоблаш  дастурларини  тузишда  ва 
алгоритмларни таҳлил этишда енгил қўллаш мумкин.

Предлагается  формальная  модель  алгоритма  функционирования  многомодульной 
вычислительной  системы  (ВС).  Развивается  научная  мысль  о  нескольких    важных  понятиях  и 
результатах  обычной  теории  автоматов  на  случай,  когда  вместо  конечного  автомата
рассматриваются  конечные  алгебры.  Обосновывается,  что  модель   отличается  от  известных  не 
только блочностью обработки данных, но и тем, что она основана на двух множествах автоматных 
отображений: на множестве частичных отображений (преобразований) входных слов в выходные 
и на множестве операторов управления преобразованиями. Ввиду совпадения принципов работы 
описанной  модульной  ВС  и  реальных  машин  можно  ожидать,  что  вводимые  понятия  и 
полученные результаты будут легче применимы для составления программ вычисления и анализа 
алгоритмов. 

A formal model of the algorithm for the operation of a multimodular VS is proposed several 
important  concepts  and  results  of  the   ordinary  theory   of   automata   develop  in  the  case  when  finite 
algebras  are  used  instead  of  finite  automata.  The  Model  differs  from  renown  not  only   in  block 
processing of data , but also because if is based on two sets of automaton mappings.On the  set of partial 
mappings  (transformations)   of  input  words  to  the  output  and  on  the  set  oftransformationscontrail 
operators.In view of the coincidence of the principles of operation of the described modular aircraft and 
real machines, one can expect shat the results obtained will be more easily applied the computation and 
analyses of algorithms.