Valk, R. The use of metric and uniform spaces for the formalization of behavioral proximity of states. (English) Zbl 0341.94028 GI, Ges. Informatik, 1. Fachtagung Automatentheorie Formale Sprachen, Bonn 1973, Lecture Notes Comput. Sci. 2, 116-122 (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 Show Scanned Page Cited in 1 Document MSC: 68Q45 Formal languages and automata PDF BibTeX XML