|
Линейно реализуемые автоматы
С. Б. Родин МГУ им. М.В. Ломоносова
Аннотация:
Изучаются «линейно реализуемые» автоматы, т. е. автоматы, состояния которых можно закодировать так, что порождаемый кодированием булев оператор является линейным. Приведен критерий линейной реализуемости автомата, получены нижняя и верхняя оценки числа линейно реализуемых автоматов.
Ключевые слова:
теория автоматов, переходные системы, подстановка, кодирование, сложность.
Статья поступила: 21.11.2016
Образец цитирования:
С. Б. Родин, “Линейно реализуемые автоматы”, Дискрет. матем., 29:1 (2017), 59–79; Discrete Math. Appl., 27:6 (2017), 387–402
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1406https://doi.org/10.4213/dm1406 https://www.mathnet.ru/rus/dm/v29/i1/p59
|
|