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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Доповіді НАН України
Дата:	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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Динамический алгоритм стабилизации походки шагающей машины
за авторством: Жога, В.В., та інші
Опубліковано: (2008)

Системы ELECTROPULS – электродинамические испытательные машины будущего
Опубліковано: (2012)

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

Доверительные вычисления с использованием складывающей машины. I
за авторством: Анисимов, А.В., та інші
Опубліковано: (2017)

Ітераційні методи для обчислення зважених псевдообернених матриць зі змішаними вагами на основі їх розвинення у матричні степеневі ряди
за авторством: Варенюк, Н.А., та інші
Опубліковано: (2020)

Элементы прикладной теории электромагнитных дефектоскопов
за авторством: Божко, А.Е., та інші
Опубліковано: (2007)