D.巴韦。;克里希纳，S.N。;帕瓦德，R。;特里维迪，A。 在定时范围限定的上下文敏感语言上。 （英语） Zbl 07117544号 Hofman，Piotrek（编辑）等人，《语言理论的发展》。第23届国际会议，DLT 2019，波兰华沙，2019年8月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11647, 168-181 (2019). 摘要：以布尔运算下的闭包和可判定空性问题为特征的完美语言是可判定自动机理论模型选择相应类别模型的基础。正则语言和明显的下推语言是完美语言的典型例子。在之前的工作中，作者建立了一种时间上下文敏感的完美语言，其特征是多栈下推自动机（MPA）具有显式的轮数限制，其中每轮最多使用一个堆栈。本文通过描述一种对时间上下文敏感的完美语言的替代限制，来补充无界时间MPA的结果，这种语言被称为作用域有界的多层时间下推自动机，其中每个堆栈符号都必须在有界的堆栈上下文中弹出。该模型使用可视下推字母表和事件时钟恢复具有可判定空性、布尔运算下的闭包和等效逻辑特征的有界MPA。关于整个系列，请参见[Zbl 1416.68011号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{D.Bhave}等人，Lect。注释计算。科学。11647、168--181（2019；Zbl 07117544） 全文： 内政部 arXiv公司