Анализ автоматных моделей, определенных на многообразиях над конечным кольцом
Досліджено автоматні моделі, визначені над скінченним кільцем на багатовиді з алгеброю та на параметризованому багатовиді із заданою множиною траєкторій. Визначено гомоморфізми вказаних структур. Встановлено, яким чином гомоморфізм однієї структури на іншу дає змогу за автоматною моделлю, яку задано...
Gespeichert in:
| Veröffentlicht in: | Проблемы управления и информатики |
|---|---|
| Datum: | 2013 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/207638 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Анализ автоматных моделей, определенных на многообразиях над конечным кольцом / В.В. Скобелев // Проблемы управления и информатики. — 2013. — № 4. — С. 147–156. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862714890469244928 |
|---|---|
| author | Скобелев, В.В. |
| author_facet | Скобелев, В.В. |
| citation_txt | Анализ автоматных моделей, определенных на многообразиях над конечным кольцом / В.В. Скобелев // Проблемы управления и информатики. — 2013. — № 4. — С. 147–156. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Проблемы управления и информатики |
| description | Досліджено автоматні моделі, визначені над скінченним кільцем на багатовиді з алгеброю та на параметризованому багатовиді із заданою множиною траєкторій. Визначено гомоморфізми вказаних структур. Встановлено, яким чином гомоморфізм однієї структури на іншу дає змогу за автоматною моделлю, яку задано на початковій структурі, побудувати її гомоморфний образ, визначений на результуючій моделі. Охарактеризовано множини групових автоматів, автоматів зі станами-джерелами, автоматів зі станами-стоками, автоматів, які мають стани-близнюки, та 1-діагностовних автоматів.
There are analyzed automata models determined over finite ring on variety with algebra and on parametrized variety with prescribed set of trajectories. Homomorphisms of pointed structures are determined. It is proposed some method of exploring this homomorphism for design for any automata model determined in initial structure its image determined in resulting structure. The sets of group automata, automata with source-states, automata with flow-states, automata with twins-states and automata with 1-distinguishable states are characterized.
|
| first_indexed | 2025-12-07T17:54:08Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-207638 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0572-2691 |
| language | Russian |
| last_indexed | 2025-12-07T17:54:08Z |
| publishDate | 2013 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Скобелев, В.В. 2025-10-10T17:38:50Z 2013 Анализ автоматных моделей, определенных на многообразиях над конечным кольцом / В.В. Скобелев // Проблемы управления и информатики. — 2013. — № 4. — С. 147–156. — Бібліогр.: 11 назв. — рос. 0572-2691 https://nasplib.isofts.kiev.ua/handle/123456789/207638 519.712 + 681.3 10.1615/JAutomatInfScien.v45.i8.30 Досліджено автоматні моделі, визначені над скінченним кільцем на багатовиді з алгеброю та на параметризованому багатовиді із заданою множиною траєкторій. Визначено гомоморфізми вказаних структур. Встановлено, яким чином гомоморфізм однієї структури на іншу дає змогу за автоматною моделлю, яку задано на початковій структурі, побудувати її гомоморфний образ, визначений на результуючій моделі. Охарактеризовано множини групових автоматів, автоматів зі станами-джерелами, автоматів зі станами-стоками, автоматів, які мають стани-близнюки, та 1-діагностовних автоматів. There are analyzed automata models determined over finite ring on variety with algebra and on parametrized variety with prescribed set of trajectories. Homomorphisms of pointed structures are determined. It is proposed some method of exploring this homomorphism for design for any automata model determined in initial structure its image determined in resulting structure. The sets of group automata, automata with source-states, automata with flow-states, automata with twins-states and automata with 1-distinguishable states are characterized. ru Інститут кібернетики ім. В.М. Глушкова НАН України Проблемы управления и информатики Проблемы защиты информации Анализ автоматных моделей, определенных на многообразиях над конечным кольцом Аналіз автоматних моделей, визначених на багатовидах над скінченним кільцем Analysis of Automata Models Determined on Varieties over Finite Ring Article published earlier |
| spellingShingle | Анализ автоматных моделей, определенных на многообразиях над конечным кольцом Скобелев, В.В. Проблемы защиты информации |
| title | Анализ автоматных моделей, определенных на многообразиях над конечным кольцом |
| title_alt | Аналіз автоматних моделей, визначених на багатовидах над скінченним кільцем Analysis of Automata Models Determined on Varieties over Finite Ring |
| title_full | Анализ автоматных моделей, определенных на многообразиях над конечным кольцом |
| title_fullStr | Анализ автоматных моделей, определенных на многообразиях над конечным кольцом |
| title_full_unstemmed | Анализ автоматных моделей, определенных на многообразиях над конечным кольцом |
| title_short | Анализ автоматных моделей, определенных на многообразиях над конечным кольцом |
| title_sort | анализ автоматных моделей, определенных на многообразиях над конечным кольцом |
| topic | Проблемы защиты информации |
| topic_facet | Проблемы защиты информации |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/207638 |
| work_keys_str_mv | AT skobelevvv analizavtomatnyhmodeleiopredelennyhnamnogoobraziâhnadkonečnymkolʹcom AT skobelevvv analízavtomatnihmodeleiviznačenihnabagatovidahnadskínčennimkílʹcem AT skobelevvv analysisofautomatamodelsdeterminedonvarietiesoverfinitering |