FINITE-STATE AUTOMATA IN INFORMATION TECHNOLOGIES

被引：1
|
作者：
Kryvyi, S. L. [1 ]
机构：
[1] Taras Shevchenko Natl Univ Kiev, Kiev, Ukraine
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 2011年 / 47卷 / 05期
关键词：
finite-state automaton; Buchi automaton; Muller automaton; verification;
D O I：
10.1007/s10559-011-9347-x
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A short review of applications of finite-state automata in some modern areas of computer science and technologies is presented. In particular, fields of application of finite-state automata in computer algebra, Petri nets, biology, and verification are considered.
引用
收藏
页码：669 / 683
页数：15
相关论文
共 50 条
  • [41] Recurrent Neural Language Models as Probabilistic Finite-state Automata
    Svete, Anej
    Cotterell, Ryan
    2023 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING, EMNLP 2023, 2023, : 8069 - 8086
  • [42] ON A CLASS OF TIMER HYBRID SYSTEMS REDUCIBLE TO FINITE-STATE AUTOMATA
    INAN, K
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1995, 5 (01): : 83 - 96
  • [43] Finite-state registered automata for non-concatenative morphology
    Cohen-Sygal, Yael
    Wintner, Shuly
    COMPUTATIONAL LINGUISTICS, 2006, 32 (01) : 49 - 82
  • [44] Recognition of Human Activity Based on Probabilistic Finite-State Automata
    Viard, K.
    Fanti, M. P.
    Faraut, G.
    Lesage, J-J
    2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2017,
  • [45] Compiling regular formalisms with rule features into finite-state automata
    Kiraz, GA
    35TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS AND THE 8TH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, PROCEEDINGS OF THE CONFERENCE, 1997, : 329 - 336
  • [46] Simpler and more general minimization for weighted finite-state automata
    Eisner, J
    HLT-NAACL 2003: HUMAN LANGUAGE TECHNOLOGY CONFERENCE OF THE NORTH AMERICAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, PROCEEDINGS OF THE MAIN CONFERENCE, 2003, : 64 - 71
  • [47] Learning Residual Finite-State Automata Using Observation Tables
    Kasprzik, Anna
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (31): : 205 - 212
  • [48] Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
    Su, Rong
    van Schuppen, Jan H.
    Rooda, Jacobus E.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (11) : 2527 - 2541
  • [49] Constructing deterministic finite-state automata in recurrent neural networks
    Omlin, CW
    Giles, CL
    JOURNAL OF THE ACM, 1996, 43 (06) : 937 - 972
  • [50] FUNCTIONAL SIMULATION OF RAILWAY STATIONS ON THE BASIS OF FINITE-STATE AUTOMATA
    Bobrovskiy, Vladimir
    Kozachenko, Dmitriy
    Vernigora, Roman
    TRANSPORT PROBLEMS, 2014, 9 (03) : 57 - 65
12345