Анализ автоматно-алгебраических моделей

• Опубліковано в: : Труды Института прикладной математики и механики
• Дата: 2012
• Автор: Скобелев, В.Г.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут прикладної математики і механіки НАН України 2012
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/124089
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Анализ автоматно-алгебраических моделей / В.Г. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2012. — Т. 24. — С. 202-208. — Бібліогр.: 33 назв. — рос.

Рассмотрены методы анализа автоматно-алгебраических моделей над конечным ассоциативно-коммутативным кольцом с единицей с позиции их возможного применения при решении задач защиты информации. Охарактеризована сложность решения задач идентификации (параметрической и начального состояния) и анализа множества неподвижных точек. Розглянуто методи аналiзу автоматно-алгебраїчних моделей над скiнченним асоцiативно-комутативним кiльцем. Охарактеризовано складнiсть розв’язання задач iдентифiкацiї (параметричної i початкового стану) i аналiзу множин нерухомих точок. Methods of analysis of automata-algebraic models over finite associative-commutative ring are presented considering their possible applications for solving information-protection problems. Complexity of solving of problems of identification (parametric and initial state) and of fixed-points analysis is characterized.