Петров, А.Е. (2010) Разрешимость теорий обобщений автоматных систем. Вестник ТвГУ. Серия: Прикладная математика (17). С. 21-40. ISSN 1995-0136
|
PDF
- Опубликованная версия
405kB |
Абстракт
В работе мы рассматриваем обобщение конечных автоматов путем добавления к их структуре бесконечной последовательности символов (оракула). Доказываем замкнутость класса языков, задаваемых такими автоматами, относительно пересечения, проекции и, в некоторых случаях, дополнения. Мы показываем, что этот класс шире класса регулярных языков. Предлагаем новый способ установления разрешимости теорий с помощью введённых объектов, приводим примеры таких теорий.
Абстракт (англ.)
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.
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Александр Евгеньевич Петров, Тверской государственный университет, 170100, г. Тверь, ул. Желябова, 33, ТвГУ, факультет ПМиК, аспирант кафедры информатики. |
| Ключевые слова: | конечный автомат, автоматная структура, релятивизация |
| Ключевые слова (англ.): | Finite automaton, Automatic structure, relativisation |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.62 Логические и логико-предметные языки |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 1291 |
| Deposited By: | И.С. Солдатенко |
| Deposited On: | 08 Янв 2017 08:14 |
| Последнее изменение: | 08 Янв 2017 08:14 |
Repository Staff Only: item control page
