二维自动机投影语言的识别与复杂性结果
形式语言与自动机理论
2020-09-02 v1
摘要
二维语言 的行投影（相应地，列投影）是由 中每个二维单词的首行（相应地，首列）组成的一维语言。行投影操作此前以“边界语言(frontier language)”之名被研究，且以往工作集中于单维与二维语言类。本文研究各类二维自动机所识别语言的投影。我们证明（四向）二维自动机所识别语言的行投影与列投影恰好是上下文敏感的。我们还证明一元三向二维自动机所识别语言的列投影可用非确定性对数空间识别。最后，我们研究双向二维自动机投影语言的状态复杂性，聚焦于并集与对角连接的语言运算。
引用
@article{arxiv.2009.00602,
title = {Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata},
author = {Taylor J. Smith and Kai Salomaa},
journal= {arXiv preprint arXiv:2009.00602},
year = {2020}
}