"Mr\u00E1z, Franti\u0161ek" . . "11320" . . "Clearing Restarting Automata"@en . . "RIV/00216208:11320/09:00206898!RIV10-MSM-11320___" . . "978-3-85403-256-4" . "P(1ET100300517), Z(MSM0021620838)" . "2009-01-01+01:00"^^ . . "14"^^ . "\u00D6sterreichisches Computer Gesellschaft" . "1"^^ . "2"^^ . . . "Clearing Restarting Automata" . "Wien" . "Wien" . . "307254" . "Workshop on Non-Classical Models for Automata and Applications (NCMA)" . "[88FE56F97408]" . "\u010Cerno, Peter" . . "Restarting automata were introduced as a model for analysis by reduction which is a linguistically motivated method for checking correctness of a sentence. We propose a new restricted version of restarting automata called clearing restarting automata with a very simple definition but simultaneously with interesting properties with respect to their possible applications. The new model can be learned very efficiently from positive examples and its stronger version enables to learn effectively a large class of languages. We relate the class of languages recognized by clearing restarting automata to the Chomsky hierarchy."@en . . "Restarting automata were introduced as a model for analysis by reduction which is a linguistically motivated method for checking correctness of a sentence. We propose a new restricted version of restarting automata called clearing restarting automata with a very simple definition but simultaneously with interesting properties with respect to their possible applications. The new model can be learned very efficiently from positive examples and its stronger version enables to learn effectively a large class of languages. We relate the class of languages recognized by clearing restarting automata to the Chomsky hierarchy." . . "RIV/00216208:11320/09:00206898" . "Clearing Restarting Automata" . "Clearing; Restarting; Automata"@en . . . . . "Clearing Restarting Automata"@en . . . .