The verification of conversion algorithms between finite automata
- 15 Downloads
This work was supported by Beijing Natural Science Foundation (Grant No. 4164092) and Fundamental Research Funds for Central Universities (Grant No. BLX2015-17).
11432_2017_9155_MOESM1_ESM.pdf (310 kb)
© Science China Press and Springer-Verlag GmbH Germany, part of Springer Nature 2017