Богоявленский Юрий Анатольевич, Корзун Дмитрий Жоржевич
Общий вид решений системы линейных диофантовых уравнений, ассоциированной с контекстно-свободной грамматикой
Труды Петрозаводского государственного университета
Серия "Прикладная математика и информатика"
В работе продолжены исследования, начатые M.Filgueiras и A.Tomas и заключающиеся в использовании теории формальных языков для изучения систем линейных диофантовых уравнений. Получен общий вид решений такой системы, ассоциированной с некоторой КС-грамматикой, на основе чего предлагается алгоритм ее решения, исследованы вопросы разрешимости подобных систем, включая критерии разрешимости, условия существования конечного или бесконечного числа решений и проверка на совместность.
Только зарегистрированные пользователи могут оставлять комментарии. Пожалуйста, зарегистрируйтесь.
Описание документа
Издатель: Петрозаводский государственный университет
Copyright: Богоявленский Ю.А., Корзун Д.Ж.
Место издания: Петрозаводский государственный университет
Год издания: 1997