ordered data domains

新框架简化了有序数据域上寄存器自动机的学习

研究人员开发了一个统一的框架，用于在有序数据域（包括稠密和非稠密集合，如有理数和整数）上主动学习确定性寄存器自动机（DRAs）。这一新过程在多项式时间内运行，并利用成员资格、等价性和可记忆性查询的预言机。这项工作的一个重要成果是，在非稠密的整数有序域上最小化DRAs是可判定的，而此前这个问题仅在稠密域上已知可解。该研究还为有关DRAs的相关判定问题提供了增强的复杂性界限。