COMPUTATION TREE LOGIC AND REGULAR OMEGA-LANGUAGES

被引：12
|
作者：
THOMAS, W
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 354卷
关键词：
D O I：
10.1007/BFb0013041
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：690 / 713
页数：24
相关论文
共 50 条
  • [31] Learning Regular Omega Languages
    Angluin, Dana
    Fisman, Dana
    ALGORITHMIC LEARNING THEORY (ALT 2014), 2014, 8776 : 125 - 139
  • [32] Learning regular omega languages
    Angluin, Dana
    Fisman, Dana
    THEORETICAL COMPUTER SCIENCE, 2016, 650 : 57 - 72
  • [33] THEORY OF OMEGA-LANGUAGES .2. STUDY OF VARIOUS MODELS OF OMEGA-TYPE GENERATION AND RECOGNITION
    COHEN, RS
    GOLD, AY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 15 (02) : 185 - 208
  • [34] A NOTE ON OMEGA-REGULAR LANGUAGES
    TAKAHASHI, M
    YAMASAKI, H
    THEORETICAL COMPUTER SCIENCE, 1983, 23 (02) : 217 - 225
  • [35] OMEGA-LANGUAGES ACCEPTED BY FINITE AUTOMATA WHOSE STRUCTURES ARE CASCADE PRODUCTS OF RESETS
    MORIYA, T
    INFORMATION SCIENCES, 1992, 61 (1-2) : 179 - 186
  • [36] A CLASSIFICATION OF OMEGA-REGULAR LANGUAGES
    KAMINSKI, M
    THEORETICAL COMPUTER SCIENCE, 1985, 36 (2-3) : 217 - 229
  • [37] Learning of Regular ω-Tree Languages
    Jayasrirani, M.
    Begam, M. H.
    Thomas, D. G.
    GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2008, 5278 : 295 - +
  • [38] On the computation of quotients and factors of regular languages
    Mircea Marin
    Temur Kutsia
    Frontiers of Computer Science in China, 2010, 4 : 173 - 184
  • [39] On the computation of quotients and factors of regular languages
    Marin, Mircea
    Kutsia, Temur
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2010, 4 (02): : 173 - 184
  • [40] Approximate Automata for Omega-Regular Languages
    Dimitrova, Rayna
    Finkbeiner, Bernd
    Torfah, Hazem
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 334 - 349
12345