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

• Veröffentlicht in: Проблеми програмування
• Datum: 2017
• Hauptverfasser: Кургаев, А.Ф., Григорьев, С.Н.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: Інститут програмних систем НАН України 2017
• Schlagworte: Формальні методи розробки програмного забезпечення
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/144508
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Определение формальных языков в метаязыке нормальных форм знаний / А.Ф. Кургаев, С.Н. Григорьев // Проблеми програмування. — 2017. — № 4. — С. 37-50. — Бібліогр.: 20 назв. — рос.

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