Application of Petri nets for the analysis of CF-grammars

Authors

  • I. Ya. Spectorsky доцент кафедри математичних методів системного аналізу Навчально-наукового комплексу "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України, Київ, Ukraine

Abstract

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.

Author Biography

I. Ya. Spectorsky, доцент кафедри математичних методів системного аналізу Навчально-наукового комплексу "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України, Київ

Спекторський Ігор Якович,

доцент, кандидат фізико-математичних наук, доцент кафедри математичних методів системного аналізу Навчально-наукового комплексу "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України, Київ

Downloads

Published

2011-12-15

Issue

No. 4 (2011)

Section

Mathematical methods, models, problems and technologies for complex systems research

License

This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles in this journal without asking prior permission from the publisher or the author. This is in accordance with the BOAI definition of open access.