Chu Spaces from the Representational Viewpoint

Vaughan Pratt¹

Abstract:

We give an elementary introduction to Chu spaces viewed as a set of strings all of the same length. This perspective dualizes the alternative view of Chu spaces as generalized topological spaces, and has the advantage of substituting the intuitions of formal language theory for those of topology.

This paper is based on an invited talk at the 1996 Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS'96), Hyderabad, in a session honoring Rohit Parikh on the occasion of his 60th birthday. The paper will appear in a Festscrift for Parikh.