亚对数空间限定多墨水点交替式下推自动机研究

书籍简介:

本书主要内容包括：证明亚对数空间限定的仅有全称状态的多墨水点交替式下推自动机的计算能力随着墨水点个数的增加而增强；研究在亚对数空间下，仅有全称状态和仅有存在状态的多墨水点交替式下推自动机所识别语言族的闭包属性；研究自验证非确定性下推自动机随机计算模型与普通非确定性计算模型的关系，证明在亚对数空间下，具有1个墨水点的非确定性下推自动机的计算能力比具有1个墨水点的自验证非确定性下推自动机强。

书籍规格:

书籍信息归属:

亚对数空间限定多墨水点交替式下推自动机研究是科学技术文献出版社于2018.12出版的中图分类号为 TP23 的主题关于 下推自动机－计算能力－研究 的书籍。