350 руб
Журнал «Информационно-измерительные и управляющие системы» №4 за 2009 г.
Статья в номере:
Метод приведения систем логических уравнений к форме линейных последовательностных машин
Ключевые слова: расширение пространства логические системы конечные автоматы
Авторы:
В. В. Дубаренко, В. Г. Курбанов
Аннотация:
Рассматривается метод расширения пространства состояний логических систем. Метод позволяет сводить исходные системы в форме конечных автоматов к линейным системам алгебраических уравнений в форме, известной как линейные последовательностные машины
Страницы: 37
Список источников
  1. Гилл А. Линейные последовательностные машины. М.: Наука, 1974. 288 с.
  2. Cook S.A. The complexity of theorem proving procedures, Proceedings of the 3rd ACM Simposium on Theory of Cmputing (1971). Рp. 151-158.
  3. Жегалкин И. И. Арифметизация символической логики // «Матем. сб.», 1928, т. 35, Вып. 3-4, с. 335.
  4. Кук С. А. Сложность процедур вывода теорем. Кибернетический сборник, новая серия, вып. 12, с. 5-15].
  5. Эйкхофф П. Основы идентификации систем управления. М.: Мир, 1975. 588с.