共 11 条
- [3] FISCHER R, 1975, T C INFORMATION THEO
- [4] Gantmacher, 1959, THEORY MATRICES, P125
- [5] Hedlund GA., 1969, MATH SYST THEORY, V3, P320, DOI DOI 10.1007/BF01691062
- [6] Hopcroft J.E., 1969, FORMAL LANGUAGES THE
- [7] Manning A., 1971, B LOND MATH SOC, V3, P215, DOI DOI 10.1112/BLMS/3.2.215
- [8] Parry W., 1964, T AM MATH SOC, V112, P55, DOI [10.1090/S0002-9947-1964-0161372-1, DOI 10.1090/S0002-9947-1964-0161372-1]
- [9] Tarski Alfred, 1951, DECISION METHOD ELEM
- [10] SUBSHIFTS OF FINITE TYPE AND SOFIC SYSTEMS [J]. MONATSHEFTE FUR MATHEMATIK, 1973, 77 (05): : 462 - 474