一类鲁棒的 2-嵌套词语言
形式语言与自动机理论
2022-08-23 v1 计算机科学中的逻辑
摘要
正则嵌套词语言（又称可见下推语言）严格扩展了正则词语言，同时保留了其主要闭包与可判定性性质。先前的工作表明，考虑 2-嵌套词（即 enriched with two matchings 的词，又称 2-可见下推语言）的语言并不那么成功：相应的自动机模型在确定性化下不封闭。受索引语言同态表示的启发，本文确定了一类 2-嵌套词的子类，称之为 2-波词。该类严格扩展了嵌套词类，同时保留其主要性质。更确切地说，我们证明了相应自动机模型在确定性化下的封闭性，给出了所识别语言的逻辑刻画，并表明相应的图具有有界树宽。作为推论，我们导出了重要的闭包与可判定性性质。最后，我们证明了我们所定义语言的词投影属于线性索引语言类。
引用
@article{arxiv.2208.10347,
title = {A robust class of languages of 2-nested words},
author = {Séverine Fratani and Guillaume Maurras and Pierre-Alain Reynier},
journal= {arXiv preprint arXiv:2208.10347},
year = {2022}
}
备注
Extended version of paper published at MFCS 2022