О гомоморфизмах автоматов на многообразиях над кольцом

• Veröffentlicht in: Доповіді НАН України
• Datum: 2013
• 1. Verfasser: Скобелев, В.В.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Видавничий дім "Академперіодика" НАН України 2013
• Schlagworte: Інформатика та кібернетика
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/85359
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: О гомоморфизмах автоматов на многообразиях над кольцом / В.В. Скобелев // Доповiдi Нацiональної академiї наук України. — 2013. — № 1. — С. 42-46. — Бібліогр.: 4 назв. — рос.

Охарактеризованы гомоморфизмы автоматов на многообразиях над конечным кольцом через гомоморфизмы многообразий в следующих двух случаях: 1) гомоморфизмы многообразий определены через гомоморфизмы заданных на них алгебр, а автоматы — с помощью унарных и бинарных операций этих алгебр; 2) гомоморфизмы многообразий определены через гомоморфизмы множеств траекторий, определяемых полиномиальными параметризациями многообразий, а функции переходов автоматов обеспечивают их движение по этим траекториям. Охарактеризовано гомоморфiзми автоматiв на многовидах над скiнченним кiльцем через гомоморфiзми многовидiв у таких двох випадках: 1) гомоморфiзми многовидiв визначено через гомоморфiзми заданих на них алгебр, а автомати — за допомогою унарних i бiнарних операцiй цих алгебр; 2) гомоморфiзми многовидiв визначено через гомоморфiзми траєкторiй, якi визначенi полiномiальними параметризацiями многовидiв, а функцiї переходiв автоматiв забезпечують рух по цих траєкторiях. Homomorphisms of automata on varieties over a finite ring are characterized in terms of homomorphisms of varieties in the following two cases: 1) homomorphisms of varieties are determined via homomorphisms of algebras onto varieties, while automata are determined via unary and binary operations of these algebras; 2) homomorphisms of varieties are determined via homomorphisms of sets of trajectories determined via polynomial parametrizations of varieties, while the transition mappings of automata provide their motion along these trajectories.