共 37 条
- [1] AMADGE PJ, 1986, 7TH P INT C AN OPT S, P202
- [3] BUCHI JR, 1960, INT C LOGIC METHOD P
- [4] CHO H, 1989, MATH CONTR SIGNALS S
- [7] COHEN G, 1984, 23RD P C DEC CONTR L, P539
- [8] DUBOIS D, 1983, 22ND P IEEE C DEC CO, P1062
- [9] Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA
- [10] GERTNER I, 1987, LOGICAL ANAL DIGITAL