О проблеме абстрактной характеризации универсальных графовых автоматов (2024)
Данная работа посвящена алгебраической теории автоматов, являющейся одним из разделов математической кибернетики, в котором изучаются устройства преобразования информации, возникающие во многих прикладных задачах. В зависимости от исследуемых задач рассматриваются автоматы, у которых основные множества наделены дополнительными математическими структурами, согласованными с функциями автомата. В настоящей работе исследуются автоматы над графами — графовые автоматы, множество состояний и множество выходных сигналов которых наделены математическими структурами графов.
Идентификаторы и классификаторы
Одним из направлений современной алгебры является исследование автоматов в категориях [1], то есть автоматов у которых множества состояний и выходных сигналов наделены математическими структурами из некоторой категории K, а функции переходов и выходов являются морфизмами этой категории.
Такие алгебраические системы были предметом изучения многих известных алгебраистов, таких как Б. И. Плоткин [2], А. Г. Пинус [3, 4], Л. М. Глускин [5, 6], Ю. М. Важенин [7, 8], А. В. Михалёв [9] и многих других.
Список литературы
1. Плоткин Б. И., Гринглаз Л. Я., Гварамия А. А. Элементы алгебраической теории автома-
тов. М.: Высш. шк., 1994. 191 с.
2. Плоткин Б. И. Группы автоморфизмов алгебраических систем. М.: Наука, 1966. 604 с.
3. Пинус А. Г. Об элементарной эквивалентности производных структур свободных полу-
групп, унаров и групп // Алгебра и логика. 2004. Т. 43, №6. С. 730–748.
4. Пинус А. Г. Об элементарной эквивалентности производных структур свободных реше-
ток // Изв. вузов. Матем. 2002. №5. С. 44–47.
5. Глускин Л. М. Полугруппы и кольца эндоморфизмов линейных пространств // Изв. АН
СССР. Сер. мат. 1959. Т. 23. С. 841–870.
6. Глускин Л. М. Полугруппы изотонных преобразований // УМН. 1961. Т. 16, №5. С. 157–
162.
7. Важенин Ю.М. Элементарные свойства полугрупп преобразований упорядоченных множеств // Алгебра и логика. 1970. Т. 9, №3. С. 281–301.
8. Важенин Ю.М. Об элементарной определяемости и элементарной характеризуемости
классов рефлексивных графов // Изв. вузов. Матем. 1972. №7. С. 3–11.
9. Михалeв А. В. Кольца эндоморфизмов модулей и структуры подмодулей // Итоги науки
и техн. Сер. Алгебра. Топол. Геом. 1974. Т. 12. С. 51–76.
10. Улам С. Нерешенные математические задачи. М.: Наука, 1964. 168 с.
11. Jonsson B. Topics in Universal Algebras // Lecture Notes in Math. Springer-Verlag, 1972.
Vol. 250. P. 230.
12. Харари Ф. Теория графов. М.: Мир, 1973. 300 с.
13. Мальцев А. И. Алгебраические системы. М.: Наука. Физматлит, 1970. 392 с.
14. Акимова С. А. Абстрактная характеристика полугруппы эндоморфизмов упорядоченного
множества // Математика. Механика: cб. науч. тр. Саратов : Изд-во Сарат. ун-та. 2004.
№6. С. 3–5.
15. Фарахутдинов Р. А. Относительно элементарная определимость класса универсальных
графовых полуавтоматов в классе полугрупп // Изв. вузов. Матем. 2022. №1. С. 74–84.
16. Кейслер Г., Чен Ч. Ч. Теория моделей. М.: Мир, 1977. 616 с.
17. Molchanov V. A., Farakhutdinov R. A. On Concrete Characterization of Universal Graphic
Automata // Lobachevskii Journal of Mathematics. 2022. Vol. 43, №3. P. 664–671.
18. Куратовский К., Мостовский А. Теория множеств. М.: Мир, 1970. 416 с.
Выпуск
Другие статьи выпуска
В статье изучаются свойства решеток конгруэнций алгебр с одним оператором и основной операцией меньшинства, определенной специальным образом и называемой симметрической. Операцией меньшинства называется тернарная операция
В работе рассматривается плоский биллиард, ограниченный эллипсом, в поле потенциальной силы. Была найдена явная формула полиномиального потенциала, сохраняющего интегрируемость такого биллиарда. Для него была изучена структура слоения Лиувилля на всех неособых уровнях энергии с помощью метода разделения переменных. А именно, был предложен алгоритм, который строит бифуркационную диаграмму, а также инвариант Фоменко-Цишанга, исходя из значений параметров потенциала. Кроме того, была изучена топология изоэнергетического многообразия и обнаружены случаи динамики твердого тела, лиувиллево эквивалентные нашему биллиарду.
В статье рассматривается проблема суммируемости для тригонометрических интегралов с квадратичной фазой. Аналогичная задача рассмотрена в работах [2], [3], [4] в частных
случаях. Наши результаты обобщают результаты этих работ на кратные тригонометрические интегралы.
Мы рассмотрим задачу о равномерных оценках осцилляторных интегралов с гладкой фазовой функцией, имеющей особенность типа
Задача классификации целочисленных квадратичных форм имеет долгую историю, на протяжении которой многие математики внесли свой вклад в ее решение. Бинарные фор-
мы были всесторонне изучены Гауссом. Он и позднейшие исследователи наметили также основные пути решения проблемы классификации тернарных форм и форм более высоких размерностей. Величайшими достижениями последующего периода явились глубокое развитие теории рациональных квадратичных форми проведенная Эйхлером полная классификация неопределенных форм в размерностях 3 и выше в терминах спинорных родов.
В работе предлагается алгоритм для вычисления неэквивалентные соответствующий квадратичные формы граням области Вороного второй совершенный формы от много переменных и с помощью этого алгоритма вычислено все соответствующий неэквивалентные квадратичные формы.
Оценивание качества приближения иррационального или трансцендентного числа рациональными дробями является одним из направлений теории диофантовых приближений.
Количественная характеристика такого приближения называется мерой иррациональности числа. С конца 19 века учёными разрабатывались методы оценки меры иррациональности и были получены её значения для огромного количества иррациональных и трансцендентных чисел. Наиболее часто используемый метод получения таких оценок – построение линейных форм с целыми коэффициентами, приближающих данную величину и исследование их асимптотического поведения. Приближающие линейные формы конструируется на основе цепных дробей, аппроксимаций Паде, бесконечных рядов, вещественных и комплексных интегралов. Способы исследования асимптотики таких форм в настоящее время достаточно стандартны, но построение линейной формы, обладающей хорошими приближающими свойствами, и есть главная задача.
Издательство
- Издательство
- ТГПУ им. Л.Н. Толстого
- Регион
- Россия, Тула
- Почтовый адрес
- 3300026, Тульская область, г. Тула, проспект Ленина, 125
- Юр. адрес
- 300026, Тульская обл, г Тула, Центральный р-н, пр-кт Ленина, зд 125
- ФИО
- Подрезов Константин Андреевич (РЕКТОР)
- E-mail адрес
- info@tsput.ru
- Контактный телефон
- +7 (487) 2359162
- Сайт
- https://tsput.ru/