Asynchronous automata-theoretic characterization of aperiodic trace languages

被引：0
|
作者：
Adsul, Bharat [1 ]
Sohoni, Milind [2 ]
机构：
[1] Chennai Mathematical Institute, 92 G. N. Chetty Road, Chennai 600 017, India
[2] Department of Computer Sc. and Engg., Indian Institute of Technology, Mumbai 400 076, India
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004年 / 3328卷
关键词：
D O I：
10.1007/978-3-540-30538-5_8
中图分类号：
学科分类号：
摘要：
13
引用
收藏
页码：84 / 96
相关论文
共 50 条
  • [41] Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus
    Wurm, Christian
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS: CELEBRATING 20 YEARS OF LACL (1996-2016), 2016, 10054 : 308 - 323
  • [42] An automata-theoretic approach to branching-time model checking
    Kupferman, O
    Vardi, MY
    Wolper, P
    JOURNAL OF THE ACM, 2000, 47 (02) : 312 - 360
  • [43] An automata-theoretic approach to fair realizability and synthesis (Preliminary report)
    Vardi, MY
    COMPUTER AIDED VERIFICATION, 1995, 939 : 267 - 278
  • [44] A Novel Automata-Theoretic Approach to Timeline-Based Planning
    Della Monica, Dario
    Gigante, Nicola
    Montanari, Angelo
    Sala, Pietro
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 541 - 550
  • [45] ON THE EXISTENCE OF MINIMUM ASYNCHRONOUS AUTOMATA AND ON THE EQUIVALENCE PROBLEM FOR UNAMBIGUOUS REGULAR TRACE LANGUAGES
    BRUSCHI, D
    PIGHIZZINI, G
    SABADINI, N
    INFORMATION AND COMPUTATION, 1994, 108 (02) : 262 - 285
  • [46] An Automata-Theoretic Approach to Hardware/Software Co-verification
    Li, Juncao
    Xie, Fei
    Ball, Thomas
    Levin, Vladimir
    McGarvey, Con
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6013 : 248 - +
  • [47] SUPERFINITENESS OF QUERY ANSWERS IN DEDUCTIVE DATABASES - AN AUTOMATA-THEORETIC APPROACH
    LAKSHMANAN, LVS
    NONEN, DA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 652 : 176 - 190
  • [48] An automata-theoretic approach to the word problem for ω-terms over R
    Almeida, Jorge
    Zeitoun, Marc
    THEORETICAL COMPUTER SCIENCE, 2007, 370 (1-3) : 131 - 169
  • [49] Monitoring hybrid process specifications with conflict management: An automata-theoretic approach
    Alman, Anti
    Maggi, Fabrizio Maria
    Montali, Marco
    Patrizi, Fabio
    Rivkin, Andrey
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 2023, 139
  • [50] An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data
    Frenkel, Hadar
    Grumberg, Orna
    Sheinvald, Sarai
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 1 - 18
12345