Богоявленский Юрий Анатольевич, Корзун Дмитрий Жоржевич

Общий вид решений системы линейных диофантовых уравнений, ассоциированной с контекстно-свободной грамматикой

В работе продолжены исследования, начатые M.Filgueiras и A.Tomas и заключающиеся в использовании теории формальных языков для изучения систем линейных диофантовых уравнений. Получен общий вид решений такой системы, ассоциированной с некоторой КС-грамматикой, на основе чего предлагается алгоритм ее решения, исследованы вопросы разрешимости подобных систем, включая критерии разрешимости, условия существования конечного или бесконечного числа решений и проверка на совместность.

Сборник

Все статьи сборника:


Только зарегистрированные пользователи могут оставлять комментарии. Пожалуйста, зарегистрируйтесь.

Описание документа
Богоявленский Ю. А. Общий вид решений системы линейных диофантовых уравнений, ассоциированной с контекстно-свободной грамматикой / Ю. А. Богоявленский, Д. Ж. Корзун. – Текст : электронный // Труды Петрозаводского государственного университета. Серия "Прикладная математика и информатика". – 1997. – Вып. 6. – С. 1–16. — URL: http://elibrary.petrsu.ru/books/835 (дата обращения: 19.04.2024)

Издатель: Петрозаводский государственный университет

Copyright: Богоявленский Ю.А., Корзун Д.Ж.

Место издания: Петрозаводский государственный университет

Год издания: 1997