蔡晓娟；小川，水井裕人 井结构下推系统：密集时间下推自动机案例。 （英语） Zbl 1417.68080号 Codish，Michael（编辑）等人，《函数与逻辑编程》。2014年6月4日至6日，第十二届国际研讨会，FLOPS 2014，日本金泽。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8475, 336-352 (2014). 摘要：本文研究了一个具有良好拟序状态和堆栈字母的下推系统的一般框架，以显示可达性的可判定性，这是我们早期的工作[作者，Lect.Notes Compute.Sci.8052，121–136（2013；Zbl 1390.68461号)]. 作为一个例子，稠密时间下推系统可达性可判定性的另一种证明[P.A.阿卜杜拉等，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。35–44 (2012;Zbl 1360.68535号)] 显示了。我们的证据对于扩展更为可靠，例如随时间变化的定期估值。关于整个系列，请参见[Zbl 1291.68015号]. 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 引文：Zbl 1390.68461号；Zbl 1360.68535号 PDF格式BibTeX公司 XML格式引用 \textit{X.Cai}和\textit{M.Ogawa}，Lect。注释计算。科学。8475，336--352（2014；Zbl 1417.68080） 全文： DOI程序