ИСТИНА

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