模糊自动机的Brzozowski类型确定化

摘要:模糊自动机的Brzozowski确定化方法在本文中得到了应用。这种方法比之前由Bv{e}lohl''avek、Li和Pedrycz、Ignjatovi''c等人开发的模糊自动机确定化方法取得了更好的结果。即,与普通的非确定性自动机情况类似,模糊自动机的Brzozowski类型确定化结果是一个与起始模糊自动机等价的最小确定性模糊自动机,并且我们还展示了在某些情况下,之前的方法会得到无限自动机,而Brzozowski类型确定化会得到一个有限的自动机。本文研究了完备剩余格上的模糊自动机,但是相同的结果也可以在更一般的背景下获得,例如在格序化幺半群上的模糊自动机,甚至是在交换半环上的加权自动机。

作者:Zorana Janv{c}i''c, Miroslav ''Ciri''c

论文ID:1311.5799

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2014-04-01

PDF 下载: 英文版 中文版pdf翻译中