AUTOMATA WITH STORAGE ON INFINITE WORDS

被引：0
|
作者：
ENGELFRIET, J
HOOGEBOOM, HJ
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 372卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：289 / 303
页数：15
相关论文
共 50 条
  • [31] Automata and logics for words and trees over an infinite alphabet
    Segoufin, Luc
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 41 - 57
  • [32] Probabilistic Automata on Infinite Words: Decidability and Undecidability Results
    Chatterjee, Krishnendu
    Henzinger, Thomas A.
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 1 - 16
  • [33] Simplification Problems for Deterministic Pushdown Automata on Infinite Words
    Loeding, Christof
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2015, 26 (08) : 1041 - 1068
  • [34] Soliton cellular automata associated with infinite reduced words
    Glick, Max
    Inoue, Rei
    Pylyavskyy, Pavlo
    ANNALES DE L INSTITUT HENRI POINCARE D, 2020, 7 (02): : 249 - 302
  • [35] Decision Problems for Deterministic Pushdown Automata on Infinite Words
    Loeding, Christof
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (151): : 55 - 73
  • [36] Complexity of infinite words generated by countable q-automata
    Le Gonidec, Marion
    ANNALES DE L INSTITUT FOURIER, 2006, 56 (07) : 2463 - 2491
  • [37] Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words
    Finkel, Olivier
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2015, 9135 : 222 - 233
  • [38] Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
    Baier, Christel
    Bertrand, Nathalie
    Groesser, Marcus
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (03): : 3 - 16
  • [39] Weighted automata on infinite words in the context of Attacker-Defender games
    Halava, V.
    Harju, T.
    Niskanen, R.
    Potapov, I.
    INFORMATION AND COMPUTATION, 2017, 255 : 27 - 44
  • [40] Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words
    Gustafson, Paul
    Im, Mee Seong
    Khovanov, Mikhail
    LETTERS IN MATHEMATICAL PHYSICS, 2024, 114 (06)
12345