Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
COHN, N.: Controllability in linear sequential circuits. IRE Trans. Circuit Theory CT-9, 1(1962), 74–78.
GRZYMALA-BUSSE, J.W.: Subautomata of finite automata, associated with the change of operating time. Report 46, Technical U. Poznan, 1972 (in Polish).
HARTMANIS, J., DAVIS, W.A.: Homomorphic images of linear sequential machines. J. Comput. Syst. Sci. 1, 2(1967), 155–165.
KAMBAYASHI, Y., YAJIMA, S.: Observable sequential machines and controllable sequential machines. Electron. Commun. Japan 52-A, 8(1969), 1–11.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grzymala-Busse, J.W. (1975). Problems of the change of operating time of finite automata. In: Mülbacher, J. (eds) GI — 5. Jahrestagung. GI 1975. Lecture Notes in Computer Science, vol 34. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07410-4_635
Download citation
DOI: https://doi.org/10.1007/3-540-07410-4_635
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07410-6
Online ISBN: 978-3-540-37929-4
eBook Packages: Springer Book Archive