F
František Mráz
Researcher at Charles University in Prague
Publications - 93
Citations - 761
František Mráz is an academic researcher from Charles University in Prague. The author has contributed to research in topics: Deterministic automaton & Automaton. The author has an hindex of 13, co-authored 87 publications receiving 749 citations. Previous affiliations of František Mráz include University of Kassel.
Papers
More filters
Journal Article
On monotonic automata with a restart operation
Journal Article
Lookahead hierarchies of restarting automata
TL;DR: This work studies several versions of restarting automata and shows several hierarchies of language classes recognized by them with respect to the size of the read/write-window.
Book ChapterDOI
On Restarting Automata with Rewriting
TL;DR: This work introduces restarting automata with rewriting, which are acceptors on the one hand, and (special) regulated rewriting systems on the other hand.
Book ChapterDOI
Ordered Restarting Automata for Picture Languages
František Mráz,Friedrich Otto +1 more
TL;DR: A deterministic two-dimensional ordered restarting automaton with window size three-by-three for processing rectangular pictures is introduced, showing that it is quite expressive as it can simulate the deterministic sgraffito automaton, and some closure and non-closure properties for the class of picture languages accepted by these automata are presented.