Базовая модель функционирования автомата в системе программирования Cell

Предлагается система программирования Cell, обеспечивающая создание взаимоувязанной спецификации иерархического автомата на основе частично формализованных описаний его подавтоматов и синтез программного обеспечения, реализующего автомат. В статье описана модель иерархического автомата, принятая в языке Cell, рассмотрены основные элементы языка для описания иерархической структуры, а также предложена модель исполнения автомата без использования методологии и технологии организации параллельных вычислений, названная сериализацией вычислений.