Аннотация:
Назовем гиперавтоматом конечный автомат, состояниями которого являются множества состояний некоторого конечного автомата. Гиперавтомат называется групповым, если полугруппа автомата, на базе которого он построен, является группой. В работе изучается вопрос о максимальном количестве регулярных языков, представимых в групповых гиперавтоматах.
Ключевые слова:конечные автоматы, гиперавтоматы, регулярные языки, конечные группы.
Полный текст:
PDF файл (410 kB)