Определение формальных языков в метаязыке нормальных форм знаний
Исследованы выразительные возможности метаязыка нормальных форм знаний по отношению к формальным языкам разного уровня. Даны формальные описания множества лингвистических примеров. Разработано графическое метаописание интерпретатора универсальной машины Тьюринга, эквивалентное приведенному текстовом...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2017 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144508 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Определение формальных языков в метаязыке нормальных форм знаний / А.Ф. Кургаев, С.Н. Григорьев // Проблеми програмування. — 2017. — № 4. — С. 37-50. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862663834088505344 |
|---|---|
| author | Кургаев, А.Ф. Григорьев, С.Н. |
| author_facet | Кургаев, А.Ф. Григорьев, С.Н. |
| citation_txt | Определение формальных языков в метаязыке нормальных форм знаний / А.Ф. Кургаев, С.Н. Григорьев // Проблеми програмування. — 2017. — № 4. — С. 37-50. — Бібліогр.: 20 назв. — рос. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Исследованы выразительные возможности метаязыка нормальных форм знаний по отношению к формальным языкам разного уровня. Даны формальные описания множества лингвистических примеров. Разработано графическое метаописание интерпретатора универсальной машины Тьюринга, эквивалентное приведенному текстовому описанию. Представленное определение интерпретатора универсальной машины Тьюринга может быть применено для решения задачи моделирования поведения любой Т-машины (решающей задачу преобразования данных на ее ленте памяти). Дано формальное определение транслятора детерминированной машины Тьюринга. Обоснована и определена возможность описания в метаязыке нормальных форм знаний интерпретирующе-транслирующего и транслирующе-транслирующего процессов постановки и решения произвольной задачи, имеющей решение.
Досліджено виразні можливості метамови нормальних форм знань стосовно формальних мов різного рівня. Дано формальні описи множини лінгвістичних прикладів. Розроблено графічне метавизначення інтерпретатора універсальної машини Тьюринга, еквівалентне наведеному текстовому опису. Представлене визначення інтерпретатора універсальної машини Тьюринга може бути застосоване для розв’язку задач моделювання поведінки будь-якої Т-машини (яка вирішує задачу перетворення даних на її стрічці пам’яті). Дано формальне визначення транслятора детермінованої машини Тьюринга. Обґрунтовано й сформульовано можливість опису в метамові нормальних форм знань інтерпретуюче-транслюючого й транслююче-транслюючого процесів постановки й розв’язку довільної задачі, що має розв'язок.
The expressive means of the metalanguage of normal forms of knowledge in relation to different level formal languages are investigated. The formal descriptions of a multitude of linguistic examples are given. The graphic metadescription equivalent to the given text description of the interpreter of the universal Turing machine is developed. The description provided of the universal Turing machine interpreter can be applied to solving the task of modelling the behavior of any T-machine (which performs the task of data conversion on its memory tape). The formal definition of the translator of the determined Turing machine is given. The ability to describe in the metalanguage of normal forms of knowledge the interpreting-translating and the translating-translating processes of formulating and solving of a given task, for which a solution exists is substantiated and defined.
|
| first_indexed | 2025-12-07T15:12:29Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144508 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T15:12:29Z |
| publishDate | 2017 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Кургаев, А.Ф. Григорьев, С.Н. 2018-12-25T19:17:14Z 2018-12-25T19:17:14Z 2017 Определение формальных языков в метаязыке нормальных форм знаний / А.Ф. Кургаев, С.Н. Григорьев // Проблеми програмування. — 2017. — № 4. — С. 37-50. — Бібліогр.: 20 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144508 004.8 Исследованы выразительные возможности метаязыка нормальных форм знаний по отношению к формальным языкам разного уровня. Даны формальные описания множества лингвистических примеров. Разработано графическое метаописание интерпретатора универсальной машины Тьюринга, эквивалентное приведенному текстовому описанию. Представленное определение интерпретатора универсальной машины Тьюринга может быть применено для решения задачи моделирования поведения любой Т-машины (решающей задачу преобразования данных на ее ленте памяти). Дано формальное определение транслятора детерминированной машины Тьюринга. Обоснована и определена возможность описания в метаязыке нормальных форм знаний интерпретирующе-транслирующего и транслирующе-транслирующего процессов постановки и решения произвольной задачи, имеющей решение. Досліджено виразні можливості метамови нормальних форм знань стосовно формальних мов різного рівня. Дано формальні описи множини лінгвістичних прикладів. Розроблено графічне метавизначення інтерпретатора універсальної машини Тьюринга, еквівалентне наведеному текстовому опису. Представлене визначення інтерпретатора універсальної машини Тьюринга може бути застосоване для розв’язку задач моделювання поведінки будь-якої Т-машини (яка вирішує задачу перетворення даних на її стрічці пам’яті). Дано формальне визначення транслятора детермінованої машини Тьюринга. Обґрунтовано й сформульовано можливість опису в метамові нормальних форм знань інтерпретуюче-транслюючого й транслююче-транслюючого процесів постановки й розв’язку довільної задачі, що має розв'язок. The expressive means of the metalanguage of normal forms of knowledge in relation to different level formal languages are investigated. The formal descriptions of a multitude of linguistic examples are given. The graphic metadescription equivalent to the given text description of the interpreter of the universal Turing machine is developed. The description provided of the universal Turing machine interpreter can be applied to solving the task of modelling the behavior of any T-machine (which performs the task of data conversion on its memory tape). The formal definition of the translator of the determined Turing machine is given. The ability to describe in the metalanguage of normal forms of knowledge the interpreting-translating and the translating-translating processes of formulating and solving of a given task, for which a solution exists is substantiated and defined. ru Інститут програмних систем НАН України Проблеми програмування Формальні методи розробки програмного забезпечення Определение формальных языков в метаязыке нормальных форм знаний Визначення формальних мов у метамові нормальних форм знань The definition of formal languages in the meta language of normal forms of knowledge Article published earlier |
| spellingShingle | Определение формальных языков в метаязыке нормальных форм знаний Кургаев, А.Ф. Григорьев, С.Н. Формальні методи розробки програмного забезпечення |
| title | Определение формальных языков в метаязыке нормальных форм знаний |
| title_alt | Визначення формальних мов у метамові нормальних форм знань The definition of formal languages in the meta language of normal forms of knowledge |
| title_full | Определение формальных языков в метаязыке нормальных форм знаний |
| title_fullStr | Определение формальных языков в метаязыке нормальных форм знаний |
| title_full_unstemmed | Определение формальных языков в метаязыке нормальных форм знаний |
| title_short | Определение формальных языков в метаязыке нормальных форм знаний |
| title_sort | определение формальных языков в метаязыке нормальных форм знаний |
| topic | Формальні методи розробки програмного забезпечення |
| topic_facet | Формальні методи розробки програмного забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144508 |
| work_keys_str_mv | AT kurgaevaf opredelenieformalʹnyhâzykovvmetaâzykenormalʹnyhformznanii AT grigorʹevsn opredelenieformalʹnyhâzykovvmetaâzykenormalʹnyhformznanii AT kurgaevaf viznačennâformalʹnihmovumetamovínormalʹnihformznanʹ AT grigorʹevsn viznačennâformalʹnihmovumetamovínormalʹnihformznanʹ AT kurgaevaf thedefinitionofformallanguagesinthemetalanguageofnormalformsofknowledge AT grigorʹevsn thedefinitionofformallanguagesinthemetalanguageofnormalformsofknowledge |