共 15 条
[1]
GAO Y, DESCRIPTIONAL COMPLE, P153
[3]
Harel D., 1998, MODELING REACTIVE SY
[4]
HOPCROFT JE, 2007, 825 TUCS
[5]
JEFFREY EF, 1997, MASTERING REGULAR EX
[6]
Karttunen L, 2001, LECT NOTES COMPUT SC, V2088, P34
[7]
Linz Peter., 2006, INTRO FORMAL LANGUAG, V4th
[8]
LUCIAN I, 2003, P 2003 INT C PAR DIS, P1706
[10]
Salomaa A., 1969, THEORY AUTOMATA