Аннотация:
Описаны особенности компилятора языка Сell, разрабатываемого для программирования иерархических автоматов, применяемых в том числе для спецификации поведения телекоммуникационных протоколов (ТКП), приведены алгоритмы работы его синтаксического и семантического анализаторов, а также рассмотрены аспекты синтеза исполняемого кода иерархического автомата (ИА) на процедурном языке Си, сериализованного для последовательного выполнения команд.