Петров, А.Е. (2010) Разрешимость теорий обобщений автоматных систем. Вестник ТвГУ. Серия: Прикладная математика (17). pp. 21-40. ISSN 1995-0136
|
PDF
- Published Version
405kB |
Abstract
В работе мы рассматриваем обобщение конечных автоматов путем добавления к их структуре бесконечной последовательности символов (оракула). Доказываем замкнутость класса языков, задаваемых такими автоматами, относительно пересечения, проекции и, в некоторых случаях, дополнения. Мы показываем, что этот класс шире класса регулярных языков. Предлагаем новый способ установления разрешимости теорий с помощью введённых объектов, приводим примеры таких теорий.
Abstract (en)
In this paper we extend finite automata by infinite sequence of symbols (oracle). We prove the class of languages which are recognized by these automata is closed under intersection, projection and under complement in some cases. We show this class is larger than regular languages. We present a new method to prove theory decidability using these automata. Also, we give examples of those theories.
Item Type: | Article |
---|---|
Additional Information: | Александр Евгеньевич Петров, Тверской государственный университет, 170100, г. Тверь, ул. Желябова, 33, ТвГУ, факультет ПМиК, аспирант кафедры информатики. |
Uncontrolled Keywords: | конечный автомат, автоматная структура, релятивизация |
Keywords (en): | Finite automaton, Automatic structure, relativisation |
Subjects: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.62 Логические и логико-предметные языки |
Divisions: | Университеты > TverSU > Faculties > PMK > Кафедра информатики |
ID Code: | 1291 |
Deposited By: | И.С. Солдатенко |
Deposited On: | 08 Jan 2017 08:14 |
Last Modified: | 08 Jan 2017 08:14 |
Repository Staff Only: item control page