关于事件时钟输入驱动下推自动机的确定化
摘要：用事件时钟模型定义了一个扩展模型，其中事件时钟与调用返回操作相关联， 并提出了这些自动机的一种新的直接确定化过程:一个具有k个不同时钟约束的n状态非确定性自动机被转化为一个具有2^(n^2)个状态、2^(n^2+k)个栈符号，并具有与原始自动机中相同的时钟约束的确定性自动机。该构造在状态数和栈符号数方面是渐进最优的。
作者：Mizuhito Ogawa, Alexander Okhotin
论文ID：2103.04079
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-03-09