Lookahead Hierarchies of Restarting Automata
暂无分享,去创建一个
The restarting automaton is a special kind of the linear bounded automaton with a read/write window of fixed length. It works in cycles, reducing the length of the actual word in each cycle. We study several versions of restarting automata and we show several hierarchies of language classes recognized by them with respect to the size of the read/write-window.
[1] Frantisek Mráz,et al. On Monotonic Automata with a Restart Operation , 1999, J. Autom. Lang. Comb..
[2] Frantisek Mráz,et al. On Restarting Automata with Rewriting , 1997, New Trends in Formal Languages.
[3] Michael A. Harrison,et al. Introduction to formal language theory , 1978 .
[4] Frantisek Mráz,et al. Different Types of Monotonicity for Restarting Automata , 1998, FSTTCS.