Z-多规则函数
摘要：Z-多项正则函数类的研究及其在逻辑、Z-有理表达式、Z-有理序列和传感器中的自然特征的介绍 Z-多项正则函数的渐近增长率的可计算性及其使用逻辑公式表示所需变量的最小数量的研究 Z-多项正则函数的一阶可定义性的可判定性研究 基于非周期性的残余传感器及其语义特征的引入与研究
作者：Thomas Colcombet, Ga"etan Dou''eneau-Tabot, Aliaume Lopez
论文ID：2207.07450
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-04-19