References
Cheng D Z, Qi H S, Zhao Y. An Introduction to Semi-tensor Product of Matrices and Its Applications. Singapore: World Scientific Publishing Co. Pte. Ltd., 2012
Xu X R, Hong Y G. Matrix expression and reachability analysis of finite automata. Journal of Control Theory and Applications, 2012, 10(2): 210–215
Yan Y Y, Chen Z Q, Liu Z X. Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition. Frontiers of Computer Science, 2014, 8(6): 948–957
Yue J M, Yan Y Y, Chen Z Q, Jin X. Identification of predictors of Boolean networks from observed attractor states. Mathematical Methods in the Applied Sciences, 2019, DOI:https://doi.org/10.1002/mma.5616
Li F F, Yu Z X. Feedback control and output feedback control for the stabilisation of switched Boolean networks. International Journal of Control, 2015, 89(2): 337–342
Yue J M, Yan Y Y, Chen Z Q. Three matrix conditions for the reduction of finite automata based on the theory of semi-tensor product of matrices. SCIENCE CHINA Information Sciences, 2019, DOI: https://doi.org/10.1007/s11432-018-9739-9
Acknowledgements
This work was supported by the National Natural Science Foundation of China (Grant Nos. U1804150, 61573199) and the 2018 Henan Province Science and Technique Foundation (182102210045).
Author information
Authors and Affiliations
Electronic supplementary material
Rights and permissions
About this article
Cite this article
Yan, Y., Yue, J., Fu, Z. et al. Algebraic criteria for finite automata understanding of regular language. Front. Comput. Sci. 13, 1148–1150 (2019). https://doi.org/10.1007/s11704-019-6525-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11704-019-6525-x