Метод приведения систем логических уравнений к форме линейных последовательностных машин

В. В. Дубаренко; В. Г. Курбанов

Метод приведения систем логических уравнений к форме линейных последовательностных машин

научная статья Страницы: 37

Ключевые слова: расширение пространства логические системы конечные автоматы

Аннотация

Рассматривается метод расширения пространства состояний логических систем. Метод позволяет сводить исходные системы в форме конечных автоматов к линейным системам алгебраических уравнений в форме, известной как линейные последовательностные машины

Для цитирования

Дубаренко В.В., Курбанов В.Г. Метод приведения систем логических уравнений к форме линейных последовательностных машин // Информационно-измерительные и управляющие системы. 2009. № 4. С. 37.

Список источников

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

[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с.