A Model-Theoretic Approach to Regular String Relations
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science(2001)
摘要
Abstract: We study algebras of definable string relations-classes of regular n-ary relations that arise as the definable sets within a model whose carrier is the set of all strings. We show that the largest such algebra-the collection of regular relations-has some quite undesirable computational and model-theoretic properties. In contrast, we exhibit several definable relation algebras that have much tamer behavior: for example, they admit quantifier elimination, and have finite VC dimension. We show that the properties of a definable relation algebra are not at all determined by the one-dimensional definable sets. We give models whose definable sets are all star-free, but whose binary relations are quite complex, as well as models whose definable sets include all regular sets, but which are much more restricted and tractable than the full algebra of regular r elations.
更多查看译文
关键词
full algebra,regular relations-has,model-theoretic approach,definable relation algebra,regular string relations,one-dimensional definable set,definable string relations-classes,regular n-ary relation,definable set,regular set,binary relation,regular r elation,algebra,computational modeling,automata,formal language,formal logic,quantifier elimination,computer science,automata theory,vc dimension,formal languages,relation algebra
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络