Grunnleggende konsepter
本稿では、整数リセット付き時間オートマトン(IRTA)で認識される時間言語のクラスに対して、Myhill-Nerodeの定理に類似した特性化を提案する。この特性化は、K-単調性と呼ばれる新しい概念に基づいており、時間言語がIRTAで認識されるための必要十分条件を提供する。さらに、この特性化を用いて、IRTAの標準形を導出し、その標準形のサイズに関する多項式時間のクエリ複雑度を持つ、Angluinスタイルの能動学習アルゴリズムを開発する。
Doveri, K., Ganty, P., & Srivathsan, B. (2024). A Myhill-Nerode style Characterization for Timed Automata With Integer Resets. arXiv preprint arXiv:2410.02464.
本稿は、整数リセット付き時間オートマトン(IRTA)で認識可能な時間言語のクラスを特徴付けることを目的とする。