Problems of the change of operating time of finite automata
The necessary and sufficient condition for the finite automata quasicontrollability defined here is presented. For a given set @ of automata the conditions for the existence of an automaton A such that for each member of @ there exists an identical subautomaton of A, associated with the change of operating time of A, are also given.
Unable to display preview. Download preview PDF.
- /1/.COHN, N.: Controllability in linear sequential circuits. IRE Trans. Circuit Theory CT-9, 1(1962), 74–78.Google Scholar
- /2/.GRZYMALA-BUSSE, J.W.: Subautomata of finite automata, associated with the change of operating time. Report 46, Technical U. Poznan, 1972 (in Polish).Google Scholar
- /3/.HARTMANIS, J., DAVIS, W.A.: Homomorphic images of linear sequential machines. J. Comput. Syst. Sci. 1, 2(1967), 155–165.Google Scholar
- /4/.KAMBAYASHI, Y., YAJIMA, S.: Observable sequential machines and controllable sequential machines. Electron. Commun. Japan 52-A, 8(1969), 1–11.Google Scholar