Abstract
This paper shows by means of an example how special system types are implemented within CAST:FSM. CAST:FSM is an interactive method bank which has been developed at the institute of systems sciences at the University of Linz/Austria to support working with finite-state machines. It is implemented in Interlisp-D and LOOPS, an AI programming environment running on SIEMENS 5815 workstations (equivalent to XEROX 1108). Here we discuss a special class of finite-state machines, the class of finite-memory machines. The theory of finite-memory machines can be looked up in literature, whereas an implementation in Interlisp-D/LOOPS within CAST:FSM is described in this paper. We show how the class hierarchy of LOOPS facilitates to conveniently implement both system types (e.g., finite-memory machines) and system transformations (e.g., finite-memory realization of finite-state machines). Some ideas for practical applications conclude our presentation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
8. Literature
Booth, Taylor L. Sequential Machines and Automata Theory John Wiley and Sons, New York 1967
Bobrow, D. G., M. J. Stefik The LOOPS Manual Xerox Corporation, Palo Alto, CA 1983
Gill, Arthur Introduction to the Theory of Finite-State Machines McGraw-Hill, New York 1962
Kohavi, Zvi Switching and Finite Automata Theory McGraw-Hill, New York 1970
Pichler, Franz R. Mathematische Systemtheorie Walter de Gruyter, Berlin, New York 1975
Pichler, Franz R. “CAST — Computer Aided Systems Theory: A framework for interactive method banks” in: R. Trappl (ed.), Cybernetics and Systems '88 Kluwer Academic Publishers, 1988, pp. 731–736
Pichler, Franz R. Konstruktion korrelationsimmuner Schaltfunktionen und Schaltwerke mittels Walsh-Fourieranalyse in: D. Dorninger, et al. (ed.) Contributions to General Algebra, Band 6, Hölder — Pichler — Tempsky, Wien, B. G. Teubner, Stuttgart 1988, pp. 213–222
Pichler, F. R., H. Prähofer CAST:FSM — Computer Aided Systems Theory:Finite-State Machines in: R. Trappl (ed.), Cybernetics and Systems '88 Kluwer Academic Publishers, 1988
Pichler, F. R., H. G. Schwärtzel CAST — Computerunterstützte Systemtheorie Springer Verlag, Berlin (to appear 1989)
Prähofer, Herbert LOOPS-Implementierung automatentheoretischer Methoden für “Design for Testability” Anwendungen Masters Thesis, Institute of Systems Sciences, University of Linz, Austria 1986
Williams, T. W., K. P. Parker “Design for Testability — A Survey” in: IEEE Proceedings of the IEEE Vol. 71, No. 1, January 1983, pp. 98–112
Teitelman, W., et al. Interlisp Reference Manual Xerox Corp., Palo Alto 1983
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Spalt, A. (1990). Implementation of finite-memory machines within CAST:FSM. In: Pichler, F., Moreno-Diaz, R. (eds) Computer Aided Systems Theory — EUROCAST '89. EUROCAST 1989. Lecture Notes in Computer Science, vol 410. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52215-8_8
Download citation
DOI: https://doi.org/10.1007/3-540-52215-8_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52215-7
Online ISBN: 978-3-540-46932-2
eBook Packages: Springer Book Archive