Зображення обкладинки

Интерпретатор универсальной машины Тьюринга

На примере интерпретатора универсальной машины Тьюринга доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей этот язык. В процессе об...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Доповіді НАН України
Дата:	2016
Автори:	Кургаев, А.Ф., Григорьев, С.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2016
Теми:	Інформатика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/125870
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Модельное проектирование процессора
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Нормальные формы знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2015)

Новое определение SPARQL — языка запросов Semantic Web
за авторством: Кургаев, А.Ф.
Опубліковано: (2018)

Формализация списков в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф.
Опубліковано: (2017)

Новое определение языка веб-онтологий OWL2
за авторством: Кургаев, А.Ф.
Опубліковано: (2018)

Структурно-механическое моделирование универсальной сверхпластичности
за авторством: Васин, Р.А., та інші
Опубліковано: (2000)

Экономичный интерпретатор для узлов сенсорной сети
за авторством: Рагозин, Д.В.
Опубліковано: (2006)

Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
за авторством: Зайцев, Д.А.
Опубліковано: (2012)

К вопросу об универсальной переводческой скорописи
за авторством: Кислицына, Н.Н.
Опубліковано: (2008)

Две модели вопросно-ответной «машины диалога»
за авторством: Верлань, А.Ф., та інші
Опубліковано: (2020)

Разработка универсальной калибровки валков для прокатки круглых профилей высокой точности
за авторством: Биба, В.И., та інші
Опубліковано: (2009)

Метаязык нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2016)

Определение формальных языков в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Анализ доминирующих моделей представления и использования знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2014)

Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ
за авторством: Князева, М.А., та інші
Опубліковано: (2008)

Энергоэффективные компрессорные машины в процессах добычи угля и метана
за авторством: Булат, А.Ф., та інші
Опубліковано: (2014)

Грид и облачные технологии для моделирования движения намагниченного асимметричного тела во внешнем магнитном поле
за авторством: Ляшко, С.И., та інші
Опубліковано: (2016)

Математические модели динамики симметричного волчка во внешних аксиально симметричных полях
за авторством: Зуб, С.С.
Опубліковано: (2018)

Математическая модель разделения магнитной руды
за авторством: Ляшко, С.И., та інші
Опубліковано: (2018)

Численное решение обратной задачи индукционного каротажа для тонкослоистых разрезов типа «рябчик»
за авторством: Миронцов, Н.Л.
Опубліковано: (2018)

Критерий достоверности решения обратной задачи электрометрии скважин
за авторством: Миронцов, Н.Л.
Опубліковано: (2018)

Оптимізація цільового перенесення ліків із систем мікроголок
за авторством: Ляшко, С.І., та інші
Опубліковано: (2017)

Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах
за авторством: Канарская, И.С.
Опубліковано: (2016)

Теория выпуклых продолжений в задачах комбинаторной оптимизации
за авторством: Яковлев, С.В.
Опубліковано: (2017)

О комбинаторной структуре задач оптимального размещения геометрических объектов
за авторством: Яковлев, С.В.
Опубліковано: (2017)

Про характерні співвідношення кореляцій в деяких системах лінійних структуральних рівнянь
за авторством: Балабанов, О.С.
Опубліковано: (2016)

Разработка новой высокодинамичной машины для термической резки
за авторством: Верещаго, Е.Н., та інші
Опубліковано: (2004)

Минимизация КНФ частично-монотонных булевых функций
за авторством: Пынько, А.П.
Опубліковано: (2017)

Системний підхід до освоєння підземного простору мегаполісів в умовах невизначеностей та багатофакторних ризиків
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2018)

Численное моделирование дробно-дифференциальной динамики процесса фильтрационно-конвективной диффузии на основе параллельных алгоритмов для кластерных систем
за авторством: Богаенко, В.А., та інші
Опубліковано: (2017)

Задача упакування гомотетичних опуклих багатогранників
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2017)

Новый модифицированный экстраградиентный метод с расхождением Брэгмана
за авторством: Семёнов, В.В.
Опубліковано: (2018)

Математична модель вектора прискорення за його слідами в сейсморозвідці
за авторством: Литвин, О.О.
Опубліковано: (2016)

On multivariate public key based on a pair of transformation with density gap
за авторством: Ustimenko, V.A.
Опубліковано: (2018)

On new symbolic key exchange protocols and cryptosystems based on a hidden tame homomorphism
за авторством: Ustimenko, V.A.
Опубліковано: (2018)

On new multivariate cryptosystems based on hidden Eulerian equations
за авторством: Ustimenko, V.A.
Опубліковано: (2017)

Образний підхід до кількісної оцінки цінності інформації
за авторством: Заяць, В.М., та інші
Опубліковано: (2018)

Машины и технологии для подземной добычи ураносодержащих руд на базе эластомерных конструкций
за авторством: Булат, А.Ф., та інші
Опубліковано: (2013)

Математическое моделирование управления гидросистемой шагающей машины
за авторством: Боровин, Г.К., та інші
Опубліковано: (2009)