Раціональність функцій росту ініціальних автоматів Мілі
Функція росту gA(n) ініціального автомата Мілі A обчислює кількість станів у композиції автоматів
 A^n = Ao…o A (n разів) після мінімізації, які досягаються з ініціального стану. Досліджено, коли
 генератриса функції росту є раціональною для таких класів ініціальних автоматів: стиску...
Saved in:
| Published in: | Доповіді НАН України |
|---|---|
| Date: | 2019 |
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2019
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/158072 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Раціональність функцій росту ініціальних автоматів Мілі / Є.В. Бондаренко, В.М. Скочко // Доповіді Національної академії наук України. — 2019. — № 3. — С. 3-8. — Бібліогр.: 13 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Функція росту gA(n) ініціального автомата Мілі A обчислює кількість станів у композиції автоматів
A^n = Ao…o A (n разів) після мінімізації, які досягаються з ініціального стану. Досліджено, коли
генератриса функції росту є раціональною для таких класів ініціальних автоматів: стискуючих з нільпотентною автоматною групою, біреверсивних, поліноміальних.
Функция роста gA(n) инициального автомата Мили A подcчитывает количество состояний в композиции
автоматов A^n = Ao…o A (n раз) после минимизации, достижимых с инициального состояния. Исследовано, когда генератриса функции роста является рациональной для следующих классов автоматов: стягивающих с нильпотентной автоматной группой, биреверсивных, полиномиальных.
The growth function γA(n) of an initial Mealy automaton A counts the number of states in a composition of automata A^n = Ao…o A (n times) after the minimization that are reachable from the initial state. We study the question when the generating function of the growth function is rational for the following automata classes: contracting with a nilpotent automaton group, bireversible, and polynomial ones.
|
|---|---|
| ISSN: | 1025-6415 |