В. В. Шевченко 09.2001 язык: русский  Аннотация Представлено развитие математического аппарата конструктивных логических систем, базирующегося не нетривиальном обобщении недетерминированного конечного автомата. Рассмотрены взаимосвязи конструктивных логических систем с традиционными описаниями (конечные автоматы, конечные случайные процессы, сети Петри и др.). Рассмотрены прикладные аспекты аппарата конструктивных логических систем.

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад