Algorithms of analyzing left context terminal grammars used for automated programs testing

After designing testing scripts, sometimes it is needed to analyze their properties. To make script specification formal, one can use left context terminal grammars. The article gives proof of left context terminal grammars and context free grammars equivalence and develops algorithms for analyzing properties of such grammars that are useful in analyzing testing script properties