"978-3-642-22320-4" . . . . . "[91F0B45DE38C]" . . "Mr\u00E1z, Franti\u0161ek" . "Berlin" . . . . . "RIV/00216208:11320/11:10104127" . . . "\u0394-Clearing Restarting Automata and CFL" . "11320" . "RIV/00216208:11320/11:10104127!RIV12-GA0-11320___" . "12"^^ . . "P(GAP103/10/0783), P(GAP202/10/1333), S, Z(MSM0021620838)" . . "243866" . "0302-9743" . "\u0394-Clearing Restarting Automata and CFL"@en . . "2"^^ . . . . "2011-07-19+02:00"^^ . . "10.1007/978-3-642-22321-1_14" . . "formal languages; \u0394-clearing restarting automata; context-free languages; analysis by reduction"@en . "2"^^ . "Lecture Notes in Computer Science" . . . . "\u0394-Clearing Restarting Automata and CFL" . "Milano, It\u00E1lie" . "\u0394-clearing restarting automata represent a new restricted model of restarting automata which, based on a limited context, can either delete a substring of the current content of its tape or replace a substring by a special auxiliary symbol \u0394, which cannot be overwritten anymore, but it can be deleted later. The main result of this paper consists in proving that besides their limited operations, \u0394-clearing restarting automata recognize all context-free languages." . "\u0394-clearing restarting automata represent a new restricted model of restarting automata which, based on a limited context, can either delete a substring of the current content of its tape or replace a substring by a special auxiliary symbol \u0394, which cannot be overwritten anymore, but it can be deleted later. The main result of this paper consists in proving that besides their limited operations, \u0394-clearing restarting automata recognize all context-free languages."@en . "Springer-Verlag" . "\u010Cerno, Peter" . . "\u0394-Clearing Restarting Automata and CFL"@en .