*-连续的Kleene ω-代数
摘要：*-连续Kleene $ \omega $-代数的基本属性进行了定义和研究，其中包括在半模上具有*-连续作用的*-连续Kleene代数和一个也是*-连续的无限乘法操作。我们展示了*-连续Kleene $ \omega $-代数引出了迭代半环-半模对。我们展示了如何应用我们的工作来解决混合系统的某些能量问题。
作者：Zolt''an ''Esik, Uli Fahrenberg (INRIA), Axel Legay (INRIA)
论文ID：1501.01118
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2015-01-07