在形式化验证领域,下推系统(pushdown systems)常用来建模单线程递归程序,良结构迁移系统(well-structured transition systems),......

良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个......

良结构下推系统是下推系统和良结构迁移系统的结合，该系统允许状态和栈字符是向量的形式，因而它们是无限的．状态迁移的同时允许栈进行......