Застосування мереж Петрі для аналізу КВ-граматик
The scheme of the use of Petri nets for the study of some properties of the CF-grammars is proposed. This method, enables, in particular, to investigate the emptiness and finiteness of language, generated by given CF-grammar, using tree cover of the relevant Petri net. Additionally, the proposed met...
Збережено в:
| Дата: | 2011 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | rus |
| Опубліковано: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2011
|
| Онлайн доступ: | http://journal.iasa.kpi.ua/article/view/74206 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | System research and information technologies |
Репозитарії
System research and information technologies| id |
journaliasakpiua-article-74206 |
|---|---|
| record_format |
ojs |
| spelling |
journaliasakpiua-article-742062018-03-30T15:08:52Z Application of Petri nets for the analysis of CF-grammars Применение сетей Петри для анализа КС-грамматик Застосування мереж Петрі для аналізу КВ-граматик Spectorsky, I. Ya. The scheme of the use of Petri nets for the study of some properties of the CF-grammars is proposed. This method, enables, in particular, to investigate the emptiness and finiteness of language, generated by given CF-grammar, using tree cover of the relevant Petri net. Additionally, the proposed method allows to formulate the necessary conditions for the generation of a given word by CF-grammar in terms of a matrix analysis of the relevant network. Предложена схема использования сетей Петри для исследования некоторых свойств КС-грамматик. Метод позволяет, в частности, исследовать заданную КС-грамматику на пустоту и конечность порождаемого языка, используя дерево покрываемости соответствующей сети Петри. Кроме того, предложенный метод позволяет сформулировать необходимые условия порождения заданного слова КС-грамматикой в терминах матричного анализа соответствующей сети. Запропоновано схему використання мереж Петрі для дослідження деяких властивостей КВ-граматик. Метод дозволяє, зокрема, досліджувати задану КВ-граматику на порожність та скінченність породжуваної мови, використовуючи дерево покриття відповідної мережі Петрі. Крім того, запропонований метод дозволяє сформулювати необхідні умови породження заданого слова КВ-граматикою в термінах матричного аналізу відповідної мережі. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2011-12-15 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/74206 System research and information technologies; No. 4 (2011); 129-133 Системные исследования и информационные технологии; № 4 (2011); 129-133 Системні дослідження та інформаційні технології; № 4 (2011); 129-133 2308-8893 1681-6048 rus http://journal.iasa.kpi.ua/article/view/74206/69669 Copyright (c) 2021 System research and information technologies |
| institution |
System research and information technologies |
| collection |
OJS |
| language |
rus |
| format |
Article |
| author |
Spectorsky, I. Ya. |
| spellingShingle |
Spectorsky, I. Ya. Застосування мереж Петрі для аналізу КВ-граматик |
| author_facet |
Spectorsky, I. Ya. |
| author_sort |
Spectorsky, I. Ya. |
| title |
Застосування мереж Петрі для аналізу КВ-граматик |
| title_short |
Застосування мереж Петрі для аналізу КВ-граматик |
| title_full |
Застосування мереж Петрі для аналізу КВ-граматик |
| title_fullStr |
Застосування мереж Петрі для аналізу КВ-граматик |
| title_full_unstemmed |
Застосування мереж Петрі для аналізу КВ-граматик |
| title_sort |
застосування мереж петрі для аналізу кв-граматик |
| title_alt |
Application of Petri nets for the analysis of CF-grammars Применение сетей Петри для анализа КС-грамматик |
| description |
The scheme of the use of Petri nets for the study of some properties of the CF-grammars is proposed. This method, enables, in particular, to investigate the emptiness and finiteness of language, generated by given CF-grammar, using tree cover of the relevant Petri net. Additionally, the proposed method allows to formulate the necessary conditions for the generation of a given word by CF-grammar in terms of a matrix analysis of the relevant network. |
| publisher |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| publishDate |
2011 |
| url |
http://journal.iasa.kpi.ua/article/view/74206 |
| work_keys_str_mv |
AT spectorskyiya applicationofpetrinetsfortheanalysisofcfgrammars AT spectorskyiya primeneniesetejpetridlâanalizaksgrammatik AT spectorskyiya zastosuvannâmerežpetrídlâanalízukvgramatik |
| first_indexed |
2024-04-08T15:04:57Z |
| last_indexed |
2024-04-08T15:04:57Z |
| _version_ |
1795779406567833600 |