Weighted Logics for Traces
Weighted Logics for Traces
复制标题
迹线的加权逻辑
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
I. Meinecke
中科院分区：
文献类型：
--
作者：
I. Meinecke
我们研究迹线的定量模型，即为每个迹线分配半环中的元素的迹线系列。我们展示了可识别的迹线序列与可通过迹线加权逻辑的限制公式定义的迹线序列的一致性。我们使用从公式到文字到公式到痕迹的转换技术，反之亦然。这样，我们还展示了非周期和一阶可定义迹系列的等价性。
We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series with those which are definable by restricted formulas from a weighted logics over traces. We use a translation technique from formulas over words to those over traces, and vice versa. This way, we show also the equivalence of aperiodic and first-order definable trace series.