[1] ASHBY W R, CULBERTSON J T, DAVIS M D, et al. Automata studies (AM-34)[M]. Princeton: Princeton University Press, 2016: 129-153.
[2] MEALY G H. A method for synthesizing sequential circuits[J]. Bell System Technical Journal, 1955, 34(5): 1045-1079.
[3] WAGNER F, WOLSTENHOLME P. State machine misunderstandings[J]. Computing and Control Engineering, 2004(17): 3-4.
[4] 崔玲, 张建标. 基于动态聚类的有限状态机多错误诊断[J]. 北京工业大学学报, 2021, 47(6): 607-615.
CUI L, ZHANG J B. Multiple-fault diagnosis of finite state machine based on dynamic clustering[J]. Journal of Beijing University of Technology, 2021, 47(6): 607-615.
[5] UCAN A B, SAY A C. Advice hierarchies among finite automata[J]. Information and Computation, 2022, 288: 104878.
[6] MICHALISZYN J, OTOP J. Learning infinite-word automata with loop-index queries[J]. Artificial Intelligence, 2022, 307: 103710.
[7] KUTRIB M, MALCHER A, WENDLANDT M. Input-driven multi-counter automata[J]. Theoretical Computer Science, 2021, 870: 121-136.
[8] BEIER S, HOLZER M. Nondeterministic right one-way jumping finite automata[J]. Information and Computation, 2022, 284: 104687.
[9] FAZEKAS S Z, HOSHI K, YAMAMURA A. Two-way deterministic automata with jumping mode[J]. Theoretical Computer Science, 2021, 864: 92-102.
[10] VAANDRAGER F, MIDYA A. A myhill-nerode theorem for register automata and symbolic trace languages[J]. Theoretical Computer Science, 2022, 912(12): 37-55.
[11] ARREDONDO D, LAKIN M R. Robust finite automata in stochastic chemical reaction networks[J]. Royal Society Open Science, 2021, 8(12): 211310.
[12] CZARNECKI K, HELSEN S. Classification of model transformation approaches [C]//OOPSLA’03 Workshop on Generative Techniques in the Context of MDA, 2003.
[13] BORDIHN H, HOLZER M. On the number of active states in finite automata[J]. Acta Informatica, 2021, 58(4): 301-318.
[14] GAO Z, WANG B, FENG J E, et al. Finite automata approach to reconstructibility of switched Boolean control networks[J]. Neurocomputing, 2021, 454(24): 34-44.
[15] 潘雁, 祝跃飞. 主动自动机学习中的等价查询算法优化[J].软件学报, 2023, 34(7): 3241-3255.
PAN Y, ZHU Y F. Optimization of equivalence query algorithm in active automata learning[J]. Journal of Software,2023, 34(7): 3241-3255.
[16] DENG H, YAN Y, CHEN Z Q. A matrix-based static approach to analysis of finite state machines[J]. Frontiers of Information Technology & Electronic Engineering, 2022, 23(8): 1239-1247.
[17] 伍旭东, 唐麒, 张伟, 等. 基于扩展有限状态机的SCA符合性测试方法研究[J]. 计算机工程与应用, 2021, 57(16): 263-268.
WU X D, TANG Q, ZHANG W, et al. Research on SCA compliance testing method based on extended finite state machine[J]. Computer Engineering and Applications, 2021, 57(16): 263-268.
[18] EBERT C, CAIN J. Cyclomatic complexity[J]. IEEE Software, 2016, 33(6): 27-29.
[19] RUPINDER P S, HARDEEP S. A cyclomatic complexity generalization for a composite service[J]. International Journal of Computer Theory and Engineering, 2021, 13(2): 47-49. |