arrow
返回

An Active Learning Algorithm for Bidirectional Deterministic Finite Automata

delete2026-01-01
delete0
PRE
AI
S
Simon Dieck *
S
Sicco Verwer
DOI:10.1007/978-3-032-02602-6_8delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
本文提出了一种L*风格算法,利用三种类型的预言机(oracle)在多项式时间内主动学习双向确定性有限自动机(biDFA)。我们展示了如何将W方法应用于等价预言机,并提出了一种新颖的状态方向选择启发式方法。通过该算法,可以识别一类线性语言的自动机,该类语言包含但不限于正则语言。由于等价预言机是算法的重要部分,我们还讨论了biDFA不同语言等价问题的复杂度界。这些结果与我们的算法共同证明了biDFA最小化问题的复杂度界。最后,我们提供了算法的实现,并通过实验展示了其在不同近似启发式下的性能。
Keyword:
active learning
bidirectional deterministic finite automaton
equivalence oracle
W-method
minimisation problem

期刊

I
IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF:
0
论文数:
22
被引数:
0

机构

D
delft university of technology
学者数:
3.1K
论文数: 1.4K
被引数: 0
引用论文

引用论文

暂无论文信息