LogoTver State University Repository

Разрешимость теорий обобщений автоматных систем

Петров, А.Е. (2010) Разрешимость теорий обобщений автоматных систем. Вестник ТвГУ. Серия: Прикладная математика (17). pp. 21-40. ISSN 1995-0136

[img]
Preview
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