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] An approximate determinization algorithm for weighted finite-state automata
Buchsbaum, AL
Giancarlo, R
Westbrook, JR
ALGORITHMICA, 2001, 30 (04) : 503 - 526
[22] FSA utilities: A toolbox to manipulate finite-state automata
van Noord, G
AUTOMATA IMPLEMENTATION, 1997, 1260 : 87 - 108
[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] PRONUNCIATION MODELING Automatic Learning of Finite-state Automata
Pastor, Moises
Casacuberta, Francisco
INTEGRATION OF PHONETIC KNOWLEDGE IN SPEECH TECHNOLOGY, 2005, 25 : 133 - 148
[25] Incremental construction and maintenance of minimal finite-state automata
Carrasco, RC
Forcada, ML
COMPUTATIONAL LINGUISTICS, 2002, 28 (02) : 207 - 216
[26] An Approximate Determinization Algorithm for Weighted Finite-State Automata
A. L. Buchsbaum
R. Giancarlo
J. R. Westbrook
Algorithmica, 2001, 30 : 503 - 526
[27] 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
[28] Indistinguishability of finite-state automata with respect to some environments
Kurganskii A.N.
Cybernetics and Systems Analysis, 2001, 37 (1) : 33 - 41
[29] 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
[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

← 1 2 3 4 5 →