TY JOUR TI TRANSFORMING OF THE PUSHDOWN RECOGNIZER WITH FINITE SET OF STATES INTO RECOGNIZER WITH ONE STATE KW context-free language KW pushdown recognizer KW state KW equivalent transforming JO Bulletin of Belgorod State Technological University named after. V. G. Shukhov AU Ryazanov, Y.D. PY 2016 IS 1 PB Belgorod State Technological University named after V.G. Shukhov