The verification of conversion algorithms between finite automata

被引：0

作者：

Dongchen Jiang

Wei Li

机构：

[1] Beijing Forestry University,School of Information Science & Technology

[2] Beihang University,State Key Laboratory of Software Development Environment

来源：

Science China Information Sciences | 2018年 / 61卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[21] ALGORITHMS FOR FINDING DIRECTED GRAPH ISOMORPHISMS BY FINITE AUTOMATA
YANG, CC
MAY, CP
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1980, 9 (02): : 117 - 140
[22] Parallel Algorithms for Minimal Nondeterministic Finite Automata Inference
Jastrzab, Tomasz
Czech, Zbigniew J.
Wieczorek, Wojciech
FUNDAMENTA INFORMATICAE, 2021, 178 (03) : 203 - 227
[23] Some Algorithms for Equivalent Transformation of Nondeterministic Finite Automata
Mel'nikov, B. F.
Saifullina, M. R.
RUSSIAN MATHEMATICS, 2009, 53 (04) : 54 - 57
[24] Digit set conversion by on-line finite automata
Surarerks, A
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2001, 8 (02) : 337 - 358
[25] The Conversion between Left-linear Grammar and Right-linear Grammar in Finite Automata
Wang, R. H.
PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND INFORMATION TECHNOLOGY (SEIT2015), 2016, : 293 - 296
[26] A symbiosis between cellular automata and genetic algorithms
Cerruti, Umberto
Dutto, Simone
Murru, Nadir
CHAOS SOLITONS & FRACTALS, 2020, 134
[27] Finite automata based algorithms on subsequences and supersequences of degenerate strings
Iliopoulos, Costas
Rahman, M. Sohel
Voracek, Michal
Vagner, Ladislav
JOURNAL OF DISCRETE ALGORITHMS, 2010, 8 (02) : 117 - 130
[28] Inverse problems for finite automata: A solution based on genetic algorithms
Leblanc, B
Lutton, E
Allouche, JP
ARTIFICIAL EVOLUTION, 1998, 1363 : 157 - 166
[29] IMPLEMENTATION OF FINITE AUTOMATA ALGORITHMS AS STRUCTURED PROGRAMS .1.
DEVYATKOV, VV
AUTOMATION AND REMOTE CONTROL, 1984, 45 (09) : 1230 - 1238
[30] ALGORITHMS FOR IMPLEMENTING FINITE AUTOMATA IN HOMOGENEOUS ARRAYS WITH FAULTY CELLS
ASATIANI, GG
CHACHANIDZE, VG
AUTOMATION AND REMOTE CONTROL, 1983, 44 (01) : 132 - 139

← 1 2 3 4 5 →