Sequential monotonicity for restarting automata

被引:0
|
作者
Jurdzinski, Tomasz [1 ]
Otto, Friedrich
机构
[1] Univ Wroclaw, Inst Comp Sci, PL-51151 Wroclaw, Poland
[2] Univ Kassel, Fachbereich Elektrotech Informat, D-34109 Kassel, Germany
来源
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS | 2007年 / 41卷 / 02期
关键词
restarting automaton; sequential monotonicity; hierarchies; COMPLEXITY;
D O I
10.1051/ita:2007013
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
As already 2- monotone R- automata accept NP- complete languages, we introduce a restricted variant of j- monotonicity for restarting automata, called sequential j- monotonicity. For restarting automata without auxiliary symbols, this restricted variant still yields infinite hierarchies. However, for restarting automata with auxiliary symbols, all degrees of sequential monotonicity collapse to the first level, implying that RLWW- automata that are sequentially monotone of degree j for any j >= 1 only accept context- free languages.
引用
收藏
页码:157 / 175
页数:19
相关论文
共 50 条
  • [1] Different types of monotonicity for restarting automata
    Jancar, P
    Mráz, F
    Plátek, M
    Vogel, J
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 343 - 354
  • [2] Degrees of non-monotonicity for restarting automata
    Jurdzinski, T.
    Mraz, F.
    Otto, F.
    Platek, M.
    THEORETICAL COMPUTER SCIENCE, 2006, 369 (1-3) : 1 - 34
  • [3] Marcus t-contextual grammars and cut hierarchies and monotonicity for restarting automata
    Mraz, F.
    Otto, F.
    Platek, M.
    Jurdzinski, T.
    THEORETICAL COMPUTER SCIENCE, 2006, 366 (03) : 272 - 296
  • [4] Shrinking restarting automata
    Jurdzinski, Tomasz
    Otto, Friedrich
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2007, 18 (02) : 361 - 385
  • [5] RESTARTING TILING AUTOMATA
    Prusa, Daniel
    Mraz, Frantisek
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (06) : 863 - 878
  • [6] On restarting automata with rewriting
    Jancar, P
    Mraz, F
    Platek, M
    Vogel, J
    NEW TRENDS IN FORMAL LANGUAGES: CONTROL, COOPERATION, AND COMBINATORICS, 1997, 1218 : 119 - 136
  • [7] Weighted restarting automata
    Friedrich Otto
    Qichao Wang
    Soft Computing, 2018, 22 : 1067 - 1083
  • [8] Restarting tree automata
    Stamer, Heiko
    Otto, Friedrich
    SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 510 - +
  • [9] Clearing Restarting Automata
    Cerno, Peter
    Mraz, Frantisek
    FUNDAMENTA INFORMATICAE, 2010, 104 (1-2) : 17 - 54
  • [10] Weighted restarting automata
    Otto, Friedrich
    Wang, Qichao
    SOFT COMPUTING, 2018, 22 (04) : 1067 - 1083