上升闭集单词的主动学习
形式语言与自动机理论
2025-07-30 v2
摘要
我们给出了关于计算上升闭集（upwards-closed sets）单词基数的 well quasi-order 理论中的一个结果的新证明。这种新证明基于Angluin的 L* 算法，该算法从最小充足教师（minimally adequate teacher）中学习自动机。这在特别是将两个1980年代的结果联系起来方面具有重要意义：Angluin的 L* 算法，以及Valk和Jantzen关于计算上升闭集整数元组基数的结果。沿途，我们描述了一种从最小充足教师学习准有序自动机的算法，并将Valk和Jantzen的结果的一种推广，从涵盖单词和整数的范围，扩展到有限生成单元 monoid。
引用
@article{arxiv.2504.21429,
title = {Active Learning of Upward-Closed Sets of Words},
author = {Quentin Aristote},
journal= {arXiv preprint arXiv:2504.21429},
year = {2025}
}
备注
13 pages, 2 figures; presented at CALCO 2025