. "Limited restarting automata"@en . "RIV/00216208:11320/14:10290161!RIV15-GA0-11320___" . . "1"^^ . "\u00D6sterreichische Computer Gesellschaft" . "Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings" . "1"^^ . "Limited restarting automata" . . "28"^^ . "Restarting automata were introduced as a tool for modelling a method of checking correctness of sentences called analysis by reduction. The first ten years of research on restarting automata brought out their interesting properties and introduced several extensions to the original model. Here we concentrate on recent developments in the opposite direction - from complex to simpler models. Such development aims to find automata models which are somewhat limited in their power but have other desired properties, like e.g. simpler definition, more effective recognition or learnability. All these properties are crucial for possible applications of restarting automata." . "P(GAP103/10/0783)" . . . "26226" . . "2014-07-28+02:00"^^ . "Limited restarting automata"@en . . "Restarting automata were introduced as a tool for modelling a method of checking correctness of sentences called analysis by reduction. The first ten years of research on restarting automata brought out their interesting properties and introduced several extensions to the original model. Here we concentrate on recent developments in the opposite direction - from complex to simpler models. Such development aims to find automata models which are somewhat limited in their power but have other desired properties, like e.g. simpler definition, more effective recognition or learnability. All these properties are crucial for possible applications of restarting automata."@en . "grammatical inference; analysis by reduction; restarting automaton"@en . "Wien, Austria" . "Limited restarting automata" . . "RIV/00216208:11320/14:10290161" . . "Mr\u00E1z, Franti\u0161ek" . . "Kassel, Germany" . . . . . . "[2CE57F27DF99]" . "978-3-85403-304-2" . "11320" . .