摘要：关于不同的语义方面，我们证明了串行、Mealy类型和Moore类型带输出的加权有限自动机的等价性。
作者：Jelena Ignjatovi''c, Miroslav ''Ciri''c, Zorana Janv{c}i''c
论文ID：1410.2415
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-10
PDF 下载： 英文版 中文版pdf翻译中