双向自动机的新规模层次
形式语言与自动机理论
2018-02-01 v1 计算复杂性
摘要
我们引入一种新型非一致双向自动机，它可对每一个带方格使用不同的转移函数。我们还通过允许在计算开始时对给定输入进行洗牌来增强该模型。然后我们针对确定性、非确定性和有界错误概率模型的类型，给出了关于状态数的一些层次与不可比结果。为此，我们基于子函数数量为所有三种模型提供了一些下界，并定义了两个见证函数。
引用
@article{arxiv.1801.10483,
title = {New Size Hierarchies for Two Way Automata},
author = {Kamil Khadiev and Rishat Ibrahimov and Abuzer Yakary},
journal= {arXiv preprint arXiv:1801.10483},
year = {2018}
}
备注
Presented on CCQ2017