Об основных направлениях в теории однородных структур

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