This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Literature
BOURBAKI, N.: General Topology, Paris 1966 KELLEY, J.L.: General Topology, New York 1970
BRAUER, W.: Zu den Grundlagen einer Theorie topologischer sequentieller Systeme und Automaten, GMD — Bericht Nr. 31, Bonn 1970
KALMAN, R.E., FALB, P.L., ARBIB, M.A.: Topics in Mathematical System Theory, New York 1969
KUPKA, I., WILSING, N.: A formal framework for dialog languages, Bericht Nr. 2 des Instituts für Informatik, Hamburg 1972
KURATOWSKI, K.: Topology, New York 1966
MICHAEL, E.: Topologies on spaces of subsets, Trans.Amer.Math.Soc. 71(1951) p.152–p.182
POHL, H.-J.: Ein Ansatz zur Theorie topologischer Automaten, Diss. Humboldt-Universität Berlin o.J.
VALK, R.: Topologische Wortmengen, topologische Automaten, zustandsendliche stetige Abbildungen, GMD-Mitteilung Nr. 19, Bonn 1972
Rights and permissions
Copyright information
© 1973 Springer-Verlag
About this paper
Cite this paper
Valk, R. (1973). The use of metric and uniform spaces for the formalization of behavioral proximity of states. In: GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen. Lecture Notes in Computer Science, vol 2. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039145
Download citation
DOI: https://doi.org/10.1007/BFb0039145
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06527-2
Online ISBN: 978-3-540-37826-6
eBook Packages: Springer Book Archive