ИСТИНА

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