The generation problem for invertible mealy automata
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Говерла
Анотація
An invertible Mealy automaton 𝐴 over an input-output alphabet 𝑋 generates a group 𝐺(𝐴) through its action on words over 𝑋. We prove that the following problem is algorithmically undecidable: given two invertible Mealy automata, decide whether they generate the same automaton group.
Оборотний автомат Мiлi 𝐴 над алфавiтом входiв-виходiв 𝑋 породжує групу 𝐺(𝐴) своєю дiєю на словах над 𝑋. Ми доводимо, що наступна проблема алгоритмiчно нерозв’язна: за заданими двома оборотними автоматами Мiлi, визначити, чи породжують вони одну й ту ж автоматну групу.
Опис
Тип публікації
Text
Тип текстової публікації
Стаття
ISSN
2616-7700
Ключові слова
Mealy automaton, automaton group, generation problem, subgroup problem, undecidable problem., автомат Мiлi, автоматна група, проблема породження, проблема пiдгрупи, нерозв’язна проблема.
Бібліографічний опис
Bondarenko, I. The generation problem forinvertible Mealy automata / I. Bondarenko // Науковий вісник Ужгородського університету : серія: Математика і інформатика / редкол. : М.М. Маляр (голов. ред.), Г.І. Сливка-Тилищак та ін. – Ужгород : Вид-во УжНУ "Говерла", 2025. – Т. 46№Вип. 1. – С. 13–17. – Бібліогр.: с. 16–17 (7 назв). – рез. укр., англ.