A survey on the local divisor technique
A survey on the local divisor technique
复制标题
局部除数技术综述
DOI：
10.1016/j.tcs.2015.07.008
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
M. Kufleitner
中科院分区：
文献类型：
--
作者：
V. Diekert;M. Kufleitner
局部因子允许一个强大的归纳计划的大小幺半群。我们调查这种技术，给出了几个例子，这种证明方法。这些应用包括线性时序逻辑，有理表达式与Kleene星限制到前缀码有界同步延迟，丘奇-罗瑟同余语言，和西蒙的因子分解森林定理。我们还引入了可局部化语言类的概念，作为一个新的抽象概念，它统一了上述结果的一些证明。
Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linear temporal logic, rational expressions with Kleene stars restricted to prefix codes with bounded synchronization delay, Church–Rosser congruential languages, and Simon's Factorization Forest Theorem. We also introduce the notion of alocalizable language classas a new abstract concept which unifies some of the proofs for the results above.
登录
查看更多内容
最大和可变字长无逗号代码
DOI：
10.1109/tit.1969.1054292
发表时间：
1969
期刊：
IEEE Trans. Inf. Theory
影响因子：
--
作者：
R. Scholtz
通讯作者：
R. Scholtz
对于 Mazurkiewicz 轨迹来说，纯粹的未来局部时序逻辑是表达完整的
DOI：
10.1016/j.ic.2006.07.002
发表时间：
2004
期刊：
Inf. Comput.
影响因子：
--
作者：
V. Diekert;P. Gastin
通讯作者：
P. Gastin
具有有限同步延迟的 Omega-Rational 表达式
影响因子：
0.5
作者：
V. Diekert;M. Kufleitner
通讯作者：
M. Kufleitner
无限单词的因式分解森林
DOI：
10.1007/978-3-540-74240-1_20
发表时间：
2007
期刊：
Inf. Comput.
影响因子：
--
作者：
Thomas Colcombet
通讯作者：
Thomas Colcombet
DOI：
10.1007/978-3-642-21254-3_1
发表时间：
2011-05
期刊：
--
影响因子：
--
作者：
Thomas Colcombet
通讯作者：
Thomas Colcombet