О РАЗРЕШИМОСТИ СИСТЕМ НЕКОММУТАТИВНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ, ПОРОЖДАЮЩИХ КОНТЕКСТНО-СВОБОДНЫЕ ЯЗЫКИ


Цитировать

Полный текст

Аннотация

Рассматриваются системы алгебраических ( полиномиальных ) уравнений над некоммутативным относительно умножения кольцом. Получено условие разрешимости таких систем в виде формальных степенных рядов, изучаются системы линейных алгебраических уравнений, для которых исследована возможность понижения порядка систем. Рассмотренные системы обобщают свойства систем уравнений, определяющих контекстно-свободные и линейные языки.

Об авторах

Олег Игоревич Егорушкин

Красноярский государственный аграрный университет

Email: safonovkv@rambler.ru
старший преподаватель кафедры математического моделирования и информатики; Красноярский государственный аграрный университет

Дмитрий Андреевич Калугин-Балашов

Сибирский федеральный университет

аспирант; Сибирский федеральный университет

Константин Владимирович Сафонов

Сибирский государственный аэрокосмический университет имени академика М. Ф. Решет-нева

доктор физико-математических наук, заведующий кафедрой прикладной математики; Сибирский государственный аэрокосмический университет имени академика М. Ф. Решет-нева

Список литературы

  1. Глушков, В. М. Алгебра, языки, программирование / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко . Киев : Нау-кова думка, 1974.
  2. Семенов, А. Л. Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик / А. Л. Семенов // Доклады АН СССР. 1973. Т. 212. С. 50-52.
  3. Сафонов, К. В. О возможности вычислительного распознавания контекстно-свободных языков / К. В. Сафонов // Вычислительные технологии. 2005. Т. 10. № 4. С. 91-98.
  4. Сафонов, К. В. О синтаксическом анализе и проблеме В. М. Глушкова распознавания контекстно-свободных языков Х омского / К. В. Сафонов, О. И. Егорушкин // Вестн. Т ом . гос. ун-та. Прил. 2006. № 17. С. 63-66.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML

© Егорушкин О.И., Калугин-Балашов Д.А., Сафонов К.В., 2009

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах