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

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

CIP：2019001482

出版地：北京

出版时间：2018.12

出版价格：42元

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