|
Вестник Московского университета. Серия 1: Математика. Механика, 1996, номер 4, страницы 22–24
(Mi vmumm2027)
|
|
|
|
Математика
Сложность автоматов, вычисляющих значения формул
А. Е. Андреев, А. А. Часовских
Аннотация:
Рассматривается задача о минимально возможном числе состояний для автомата,
вычисляющего значения булевских выражений заданной длины в различных операторных
базисах. Установлено, что порядок логарифма необходимого числа состояний
может быть константным, логарифмическим или линейным. Проведена полная классификация
базисов операций с этой точки зрения.
Библиогр. 4.
Поступила в редакцию: 03.05.1995
Образец цитирования:
А. Е. Андреев, А. А. Часовских, “Сложность автоматов, вычисляющих значения формул”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1996, № 4, 22–24
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm2027 https://www.mathnet.ru/rus/vmumm/y1996/i4/p22
|
Статистика просмотров: |
Страница аннотации: | 97 | PDF полного текста: | 30 |
|