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 条
  • [1] Smaller representations for finite-state transducers and finite-state automata
    Roche, E
    COMBINATORIAL PATTERN MATCHING, 1995, 937 : 352 - 365
  • [2] Rough finite-state automata
    Basu, S
    CYBERNETICS AND SYSTEMS, 2005, 36 (02) : 107 - 124
  • [3] FUNCTIONAL EQUIVALENCE OF FINITE-STATE AUTOMATA
    LETICHEV.AA
    DOKLADY AKADEMII NAUK SSSR, 1969, 185 (01): : 58 - &
  • [4] Deterministic chaotic finite-state automata
    Moatsum Alawida
    Azman Samsudin
    Je Sen Teh
    Wafa’ Hamdan Alshoura
    Nonlinear Dynamics, 2019, 98 : 2403 - 2421
  • [5] FORMALIZATION OF SYNTHESIS OF FINITE-STATE AUTOMATA
    VOROBYEV, SA
    TELECOMMUNICATIONS AND RADIO ENGINEERING, 1990, 45 (10) : 22 - 32
  • [6] Deterministic chaotic finite-state automata
    Alawida, Moatsum
    Samsudin, Azman
    Teh, Je Sen
    Alshoura, Wafa' Hamdan
    NONLINEAR DYNAMICS, 2019, 98 (03) : 2403 - 2421
  • [7] Irreversibility and dissipation in finite-state automata
    Ganesh, Natesh
    Anderson, Neal G.
    PHYSICS LETTERS A, 2013, 377 (45-48) : 3266 - 3271
  • [8] Program comprehension using information retrieval and probabilistic finite-state automata
    Chen, Hua
    Wang, Can
    Chen, Chun
    Tang, Wen-Bin
    Qian, Jian-Fei
    Zhejiang Daxue Xuebao (Gongxue Ban)/Journal of Zhejiang University (Engineering Science), 2008, 42 (12): : 2108 - 2111
  • [9] Computation of moments for probabilistic finite-state automata
    Andreu Sanchez, Joan
    Romero, Veronica
    INFORMATION SCIENCES, 2020, 516 (516) : 388 - 400
  • [10] Dynamic perfect hashing with finite-state automata
    Daciuk, J
    Maurel, D
    Savary, A
    Intelligent Information Processing and Web Mining, Proceedings, 2005, : 169 - 178
12345