scispace - formally typeset
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

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

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.