Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Доповіді НАН України
Datum:	2016
Hauptverfasser:	Кургаев, А.Ф., Григорьев, С.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2016
Schlagworte:	Інформатика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/125870
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Интерпретатор универсальной машины Тьюринга / А.Ф. Кургаев, С.Н. Григорьев // Доповіді Національної академії наук України. — 2016. — № 10. — С. 28-34. — Бібліогр.: 10 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Модельное проектирование процессора
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)

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

Новое определение SPARQL — языка запросов Semantic Web
von: Кургаев, А.Ф.
Veröffentlicht: (2018)

Новое определение языка веб-онтологий OWL2
von: Кургаев, А.Ф.
Veröffentlicht: (2018)

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

Структурно-механическое моделирование универсальной сверхпластичности
von: Васин, Р.А., et al.
Veröffentlicht: (2000)

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

К вопросу об универсальной переводческой скорописи
von: Кислицына, Н.Н.
Veröffentlicht: (2008)

Две модели вопросно-ответной «машины диалога»
von: Верлань, А.Ф., et al.
Veröffentlicht: (2020)

Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)

Определение формальных языков в метаязыке нормальных форм знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)

Анализ доминирующих моделей представления и использования знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2014)

Разработка универсальной калибровки валков для прокатки круглых профилей высокой точности
von: Биба, В.И., et al.
Veröffentlicht: (2009)

Энергоэффективные компрессорные машины в процессах добычи угля и метана
von: Булат, А.Ф., et al.
Veröffentlicht: (2014)

Грид и облачные технологии для моделирования движения намагниченного асимметричного тела во внешнем магнитном поле
von: Ляшко, С.И., et al.
Veröffentlicht: (2016)

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

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

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

Оптимізація цільового перенесення ліків із систем мікроголок
von: Ляшко, С.І., et al.
Veröffentlicht: (2017)

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

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

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

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

Разработка новой высокодинамичной машины для термической резки
von: Верещаго, Е.Н., et al.
Veröffentlicht: (2004)

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

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

Задача упакування гомотетичних опуклих багатогранників
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2017)

Новый модифицированный экстраградиентный метод с расхождением Брэгмана
von: Семёнов, В.В.
Veröffentlicht: (2018)

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

On new symbolic key exchange protocols and cryptosystems based on a hidden tame homomorphism
von: Ustimenko, V.A.
Veröffentlicht: (2018)

On multivariate public key based on a pair of transformation with density gap
von: Ustimenko, V.A.
Veröffentlicht: (2018)

On new multivariate cryptosystems based on hidden Eulerian equations
von: Ustimenko, V.A.
Veröffentlicht: (2017)

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

Математическое моделирование управления гидросистемой шагающей машины
von: Боровин, Г.К., et al.
Veröffentlicht: (2009)

Динамический алгоритм стабилизации походки шагающей машины
von: Жога, В.В., et al.
Veröffentlicht: (2008)

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

Две модели вопросно-ответной «машины диалога»
von: Верлань, Анатолій Федорович, et al.
Veröffentlicht: (2020)

Доверительные вычисления с использованием складывающей машины. I
von: Анисимов, А.В., et al.
Veröffentlicht: (2017)

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

Элементы прикладной теории электромагнитных дефектоскопов
von: Божко, А.Е., et al.
Veröffentlicht: (2007)