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 条
  • [21] FSA utilities: A toolbox to manipulate finite-state automata
    van Noord, G
    AUTOMATA IMPLEMENTATION, 1997, 1260 : 87 - 108
  • [22] Random Generation of Nondeterministic Finite-State Tree Automata
    Hanneforth, Thomas
    Maletti, Andreas
    Quernheim, Daniel
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (134): : 11 - 16
  • [23] An evolution strategy for the induction of fuzzy finite-state automata
    Mo, ZW
    Wan, M
    Shu, L
    2005 IEEE International Conference on Granular Computing, Vols 1 and 2, 2005, : 579 - 582
  • [24] Incremental construction and maintenance of minimal finite-state automata
    Carrasco, RC
    Forcada, ML
    COMPUTATIONAL LINGUISTICS, 2002, 28 (02) : 207 - 216
  • [25] PRONUNCIATION MODELING Automatic Learning of Finite-state Automata
    Pastor, Moises
    Casacuberta, Francisco
    INTEGRATION OF PHONETIC KNOWLEDGE IN SPEECH TECHNOLOGY, 2005, 25 : 133 - 148
  • [26] An Approximate Determinization Algorithm for Weighted Finite-State Automata
    A. L. Buchsbaum
    R. Giancarlo
    J. R. Westbrook
    Algorithmica, 2001, 30 : 503 - 526
  • [27] Indistinguishability of finite-state automata with respect to some environments
    Kurganskii A.N.
    Cybernetics and Systems Analysis, 2001, 37 (1) : 33 - 41
  • [28] A GEOMETRICAL VIEW OF THE DETERMINIZATION AND MINIMIZATION OF FINITE-STATE AUTOMATA
    COURCELLE, B
    NIWINSKI, D
    PODELSKI, A
    MATHEMATICAL SYSTEMS THEORY, 1991, 24 (02): : 117 - 146
  • [29] On a Class of High-Level Finite-State Automata
    Vinogradov, R. A.
    Sokolov, V. A.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2010, 44 (07) : 398 - 406
  • [30] An Efficient Parallel Determinisation Algorithm for Finite-state Automata
    Hanneforth, Thomas
    Watson, Bruce W.
    PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2012, 2012, : 42 - 52
12345