Kalacheva, 2006. Formal Algorithm of Recognition of the Infinite Rules for the Context Free Grammars. SPIIRAS Proceedings. 2, 3 (Apr. 2006), 217-222. DOI:https://doi.org/10.15622/sp.3.18.