Для цитирования:
Молчанов В. А. Представление универсальных планарных автоматов автономными входными сигналами // Известия Саратовского университета. Новая серия. Серия : Математика. Механика. Информатика. 2013. Т. 13, вып. 2. С. 31-37. DOI: 10.18500/1816-9791-2013-13-2-2-31-37, EDN: RHABIL
Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0).
Опубликована онлайн:
25.05.2013
Полный текст:
(downloads: 195)
Язык публикации:
русский
Рубрика:
УДК:
519.713.2, 512.534
EDN:
RHABIL
Представление универсальных планарных автоматов автономными входными сигналами
Авторы:
Молчанов Владимир Александрович, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского
Аннотация:
Универсальные планарные автоматы являются универсальными притягивающими объектами в категории автоматов, у которых множества состояний и выходных сигналов наделены структурами плоскостей. Основной результат работы показывает, что любой универсальный планарный автомат изоморфен многосортной алгебраической системе, канонически построенной из автономных входных сигналов исходного автомата.
Ключевые слова:
Список источников:
- Плоткин Б. И., Гринглаз Л. Я., Гварамия А. А., Элементы алгебраической теории автоматов, Высш. шк., М., 1994, 192 с.; Plotkin B. I., Greenglaz L. Ja., Gvaramija A. A., Algebraic structures in automata and databases theory, World Scientific, Singapore, River Edge, NJ, 1992
- Simovici Dan A., “On the theory of reduction of semilatticial automata”, An. Sti. ale Univ. “Al. l. Cuza” Din Iasi. (Ser. Nouă). Sec. 1a, 22:1 (1976), 107–110
- Гечег Ф., “О произведениях упорядоченных автоматов. I”, Acta Sci. Math., 24:3–4 (1963), 244–250 [Gécseg F., “On products of ordered automata. I”, Acta Sci. Math., 24:3–4 (1963),244–250]
- Гечег Ф., “О произведениях упорядоченных автоматов. II”, Acta Sci. Math., 25:1–2 (1964), 124–128 [Gécseg F., “On products of ordered automata. II”, Acta Sci. Math., 25:1–2 (1964),124–128]
- Eilenberg S., Automata, languages and machines, v. B, Academic Press, N.Y.–San Francisco–London, 1976, 451 pp.
- Картеси Ф., Введение в конечные геометрии, Наука, М., 1980, 320 с. ; Introduction to finite geometries, North-Holland Publishing Co., Amsterdam, 1976
- Улам С., Нерешенные математические задачи, Наука, М., 1964, 168 с. ; Ulam S. M., A Collection of Mathematical Problems, Los Alamos Scientific Laboratories, New Mexico, 1960
- Глускин Л. М., “Полугруппы и кольца эндоморфизмов линейных пространств”, Изв. АН СССР. Сер. мат., 23:6 (1959), 841–870 [Gluskin L. M., “Semigroups and rings of endomorphisms of linear spaces”, Izv. Akad. Nauk SSSR Ser. Mat., 23:6 (1959), 841–870]
- Jonson B., Topics in Universal Algebras, Lecture Notes in Mathematics, Springer Verlag, Berlin–Heidelberg–N.Y., 1972, 220 pp.
- Konig D., Theorie der endlichen und unendlichen Graphen, Acad. Verlag M. B. H., Leipzig, 1936, 258 pp.
- Krasner M., “Endotheorie de Galois abstraita”, Algèbre et Théorie des Nombres, Séminaire P. Dubreil, M.-L. Dubreil-Jacotin, L. Lesieur et C. Pisot, 1968/69, 22ieme annee, Fasc. 1, Paris, 1970, Exp. 6, 19 pp.
- Molchanov V. A., “A universal planar automaton is determined by its semigroup of input symbols”, Semigroup Forum, 82 (2011), 1–9
- Молчанов В. А., “Конкретная характеристика универсальных планарных автоматов”, Математика, механика, Cб. науч. тр., 13, Изд-во Сарат. ун-та, Саратов, 2011, 67–69 [Molchanov V. A., “On concrete characterization of universal planar automata”, Mathematics. Mechanics, 13, Saratov Univ. Press, Saratov, 2011, 67–69]
- Молчанов В. А., “Об относительно элементарной определимости класса универсальных планарных автоматов в классе всех полугрупп”, Алгебра и математическая логика, Tез. докл. Междунар. конф., посвящ. 100-летию со дня рождения В. В. Морозова, Изд-во Казанского (Приволжского) федерального ун-та, Казань, 2011, 145–147 [Molchanov V. A., “On relatively elementary definability of the class of universal planar automata in the class of all semigroups”, Modern Problems of Algebra & Mathematical Logic, Proc. of the international conference dedicated to 100-th anniversary of V. V. Morozov and youth school-conf., Kazan, 2011, 145–147]
- Ершов Ю. Л., Проблемы разрешимости и конструктивные модели, Наука, М., 1980, 416 с. [Ershov Yu. L., Problems of decidability and constructive models, Nauka, Moscow, 1980, 416 pp.]
Поступила в редакцию:
25.11.2012
Принята к публикации:
21.04.2013
Опубликована:
31.05.2013
Краткое содержание:
(downloads: 106)
- 1211 просмотров