"2012-10-03+02:00"^^ . "On localization of (post)prefix (in)consistencies"@en . . "Proch\u00E1zka, Martin" . "6"^^ . "http://ksvi.mff.cuni.cz/workshop/theorietag2012/files/ProcTt12final_v2opt.pdf" . . . . "On localization of (post)prefix (in)consistencies" . "RIV/00216208:11320/12:10131373" . . . . . "Praha" . . "Praha" . . "A reducing automaton (red-automaton) is a deterministic automaton proposed for checking word and sub-word correctness by the use of analysis by reduction, see [3, 4, 5]. Its monotone version characterizes the class of deterministic context-free languages (DCFL). We propose a method for a construction of a deterministic push-down transducer for any monotone reducing automaton which is able with the help of special output symbols to localize its pre\uFB01x and post-pre\uFB01x (in)consistencies, and certain types of reducing con\uFB02icts." . . "11320" . "2"^^ . "156267" . "A reducing automaton (red-automaton) is a deterministic automaton proposed for checking word and sub-word correctness by the use of analysis by reduction, see [3, 4, 5]. Its monotone version characterizes the class of deterministic context-free languages (DCFL). We propose a method for a construction of a deterministic push-down transducer for any monotone reducing automaton which is able with the help of special output symbols to localize its pre\uFB01x and post-pre\uFB01x (in)consistencies, and certain types of reducing con\uFB02icts."@en . "grammar inconsistencies; error localization"@en . "RIV/00216208:11320/12:10131373!RIV13-GA0-11320___" . . "1"^^ . "22nd THEORIETAG AUTOMATA AND FORMAL LANGUAGES" . "Pl\u00E1tek, Martin" . "[B8FB9D3727FC]" . "On localization of (post)prefix (in)consistencies" . . . . "P(GAP103/10/0783), P(GAP202/10/1333)" . "Matfyzpress" . . "On localization of (post)prefix (in)consistencies"@en . . "978-80-7378-221-4" .