Определение формальных языков в метаязыке нормальных форм знаний

• Published in: Проблеми програмування
• Date: 2017
• Main Authors: Кургаев, А.Ф., Григорьев, С.Н.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2017
• Subjects: Формальні методи розробки програмного забезпечення
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/144508
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Определение формальных языков в метаязыке нормальных форм знаний / А.Ф. Кургаев, С.Н. Григорьев // Проблеми програмування. — 2017. — № 4. — С. 37-50. — Бібліогр.: 20 назв. — рос.

Исследованы выразительные возможности метаязыка нормальных форм знаний по отношению к формальным языкам разного уровня. Даны формальные описания множества лингвистических примеров. Разработано графическое метаописание интерпретатора универсальной машины Тьюринга, эквивалентное приведенному текстовом...