强制执行包括无块性在内的确定性下推自动机的操作特性
摘要：修改确定性下推自动机(DPDA)的算法，以保留标记语言、移除活锁、移除死锁、使所有状态和边均可访问，并确立操作块无阻塞性(即在每个初始推导中可以继续到达标记配置)。这个问题在确定有限自动机(DFA)中是可以轻松解决的，但在标准Petri网类中却无法解决。该算法用于监管控制问题(SCP)的操作扩展，其中规范是由DPDA建模的情况。
作者：Sven Schneider and Uwe Nestmann
论文ID：1403.5081
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-03-24