Weighted Symbolic Automata with Data Storage
Weighted Symbolic Automata with Data Storage
复制标题
带数据存储的加权符号自动机
DOI：
10.1007/978-3-662-53132-7_17
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
H. Vogler
中科院分区：
文献类型：
--
作者：
Luisa Herrmann;H. Vogler
本文引入了带数据存储的加权符号自动机，它联合收割机将带存储类型的自动机、加权自动机和符号自动机的概念进行了综合和推广。通过定义两个特定的数据存储，我们表明，这种组合是丰富的，足以捕捉符号可见下推自动机和加权时间自动机。我们引入了一个加权MSO-逻辑，并证明了一个Büchi-Elgot-Trakhtenbrot定理，即，新的逻辑和新的自动机模型在表达上是等价的。
We introduce weighted symbolic automata with data storage, which combine and generalize the concepts of automata with storage types, weighted automata, and symbolic automata. By defining two particular data storages, we show that this combination is rich enough to capture symbolic visibly pushdown automata and weighted timed automata. We introduce a weighted MSO-logic and prove a Büchi-Elgot-Trakhtenbrot theorem, i.e., the new logic and the new automaton model are expressively equivalent.