文章基本信息

标题：An Example of Π₃⁰-complete Infinitary Rational Relation
本地全文：下载
作者：Olivier Finkel
期刊名称：Computer Science Journal of Moldova
印刷版ISSN：1561-4042
出版年度：2007
卷号：15
期号：1
页码：3-21
出版社：Institute of Mathematics and Computer Science
摘要：We give in this paper an example of infinitary rational relation, accepted by a 2-tape Buchi automaton, which is Π₃⁰-complete in the Borel hierarchy. Moreover the example of infinitary rational relation given in this paper has a very simple structure and can be easily described by its sections.
关键词：Infinitary rational relations; topological properties; Borel hierarchy; Π₃⁰-complete set.