Title :
Formalization of context-free grammars by means of modified algebra of algorithms
Author :
Volodymyr Ovsyak;Dmytro Bui;Oleksandr Ovsyak;Julia Petruszka
Author_Institution :
KZI Department, Kielce University of Technology, Al. Tysionclecia Panstwa Polskiego 7, Kielce, POLAND
Abstract :
We consider the use of the modified algebra of algorithms to formalize the grammars and derivations of context-free grammars. The inference rules and the derivations themselves of several applied grammars have been given by formulas of modified algebra of algorithms. We illustrate the use of operations of sequencing as well as operations of paralleling to describe the inference rules.
Keywords :
"Grammar","Algebra","Sequential analysis","Algorithm design and analysis","Inference algorithms","Electronic mail","Syntactics"
Conference_Titel :
Perspective Technologies and Methods in MEMS Design (MEMSTECH), 2015 XI International Conference on
