Линейно реализуемые автоматы

Изучаются «линейно реализуемые» автоматы, т. е. автоматы, состояния которых можно закодировать так, что порождаемый кодированием булев оператор является линейным. Приведен критерий линейной реализуемости автомата, получены нижняя и верхняя оценки числа линейно реализуемых автоматов.