Some Notes on Rational Spaces
Allan Cheng, Dexter C. Kozen · 1996
. Set constraints are inclusions between expressions denoting sets of ground terms over a finite ranked alphabet #. Rational spaces are topological spaces obtained as spaces of runs of topological #- hypergraphs. They were introduced by Kozen in [Koz95], where the topological structure of the spaces of solutions to systems of set constraints was given in terms of rational spaces. In this paper we continue the investigation of rational spaces. We give a Myhill-Nerode like characterization of rational points, which in turn is used to re-derive results about the rational points of finitary rational spaces. We define congruences on #-hypergraphs, investigate their interplay with the Myhill-Nerode characterization, and finally we determine the computational complexity of some decision problems related to rational spaces. 1 Introduction Set constraints are inclusions between expressions denoting sets of ground terms. They have been used extensively in program analysis and type inference f...