Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 11, Москва, 1977 г.
Авторы: Янов Ю.И.
Метод свёрток для разрешения свойств формальных систем
Аннотация:
В работе описан способ разрешения свойств алгоритмов и других формальных систем, основанный на преобразовании нагруженных бесконечных деревьев в конечные диаграммы. Таким путем получаются разрешающие процедуры для тех свойств, которые сохраняются при преобразованиях и разрешимы на множестве конечных диаграмм. Для применения этого подхода к машинам Тьюринга их функционирование описывается в виде бесконечных деревьев, характеризующих некоторые семантические свойства машин. Приводятся примеры классов машин с разрешимыми свойствами указанного типа.
Язык публикации: русский,  страниц: 44
Направление исследований:
Математические вопросы и теория численных методов
Полный текст на русском языке:
Список цитирующих публикаций:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 0 (+0), всего с 01.09.2019 — 0
Сведения об авторах:
  • Янов Юрий Иванович,  ИПМ им. М.В. Келдыша РАН