Deterministic ordered restarting automata for picture languages

被引:0
|
作者
Friedrich Otto
František Mráz
机构
[1] Universität Kassel,Fachbereich Elektrotechnik/Informatik
[2] Charles University,Faculty of Mathematics and Physics, Department of Computer Science
来源
Acta Informatica | 2015年 / 52卷
关键词
68 Q 45;
D O I
暂无
中图分类号
学科分类号
摘要
The ordered restarting automaton (processing strings) is introduced, and it is shown that its nondeterministic variant is very expressive, as it accepts some languages that are not even context-free, while the deterministic ordered restarting automata just accept the regular languages. Then three different extensions of the deterministic ordered restarting automaton to two-dimensional inputs are defined that differ in the way in which they can move their read/write windows. We compare the classes of picture languages that these types of automata accept to each other and to some well studied classes of picture languages from the literature, and we present some closure and non-closure properties for them.
引用
收藏
页码:593 / 623
页数:30
相关论文
共 50 条
  • [1] Deterministic ordered restarting automata for picture languages
    Otto, Friedrich
    Mraz, Frantisek
    [J]. ACTA INFORMATICA, 2015, 52 (7-8) : 593 - 623
  • [2] Ordered Restarting Automata for Picture Languages
    Mraz, Frantisek
    Otto, Friedrich
    [J]. SOFSEM 2014: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2014, 8327 : 431 - 442
  • [3] Extended Two-Way Ordered Restarting Automata for Picture Languages
    Otto, Friedrich
    Mraz, Frantisek
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014, 8370 : 541 - 552
  • [4] On the Descriptional Complexity of Deterministic Ordered Restarting Automata
    Otto, Friedrich
    [J]. DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014, 2014, 8614 : 318 - 329
  • [5] Deterministic Ordered Restarting Automata that Compute Functions
    Otto, Friedrich
    Kwee, Kent
    [J]. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), 2015, 9168 : 401 - 412
  • [6] Restarting Automata for Picture Languages: A Survey on Recent Developments
    Otto, Friedrich
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, 2014, 8587 : 16 - 41
  • [7] On the descriptional complexity of stateless deterministic ordered restarting automata
    Otto, Friedrich
    Kwee, Kent
    [J]. INFORMATION AND COMPUTATION, 2018, 259 : 277 - 302
  • [8] Deterministic recognizability of picture languages with Wang automata
    Lonati, Violetta
    Pradella, Matteo
    [J]. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2010, 12 (04): : 73 - 94
  • [9] On stateless deterministic restarting automata
    Martin Kutrib
    Hartmut Messerschmidt
    Friedrich Otto
    [J]. Acta Informatica, 2010, 47 : 391 - 412
  • [10] On Stateless Deterministic Restarting Automata
    Kutrib, Martin
    Messerschmidt, Hartmut
    Otto, Friedrich
    [J]. SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2009, 5404 : 353 - +