automata theory; discrete-event systems; finite automata; formal languages; measures;
机译:离散事件自动机的常规语言签名实测
机译:在有限自动机中将时间逻辑集成为离散事件控制设计的基于状态的规范语言
机译:仅量测量子自动机可识别的语言类别的代数表征
机译:离散事件自动机的语言措施
机译:自动机,转换半群和语言:各种形式语言的标准自动机。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:离散事件自动机的常规语言的签名实际测量
机译:自动机游戏,随机自动机和形式语言