Funder
National Natural Science Foundation of China
Natural Science Foundation of Heilongjiang Province of China
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference13 articles.
1. Caines, P.E., Greiner, R., & Wang, S. (1988). Dynamical logic observers for finite automata. In Proceedings of the 27th IEEE conference on decision and control Vol. 1 (pp. 226–233).
2. Finite-automaton aperiodicity is pspace-complete;Cho;Theoretical Computer Science,1991
3. Kari, J. (2016). A Lecture note on automata and formal languages. http://users.utu.fi/jkari/automata/.
4. Lower bounds for natural proof systems;Kozen,1977
5. An introduction to formal language and automata;Linz,2006
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献