在洗牌投影下封闭的语言对
形式语言与自动机理论
2015-03-31 v1
摘要
洗牌投影的动机在于特殊参数化系统的安全性质验证。给出了基本定义和性质，特别是与字母同态相关的部分。展示了迭代洗牌积与洗牌投影之间的关系。引入了一类特殊的多计数器自动机，以通过这些自动机由转换表示的计算来表述洗牌投影。这种洗牌投影的重新表述导致了构造在洗牌投影下封闭的语言对的原则。此外，表明在某些条件下这些转换是有理的，这意味着针对洗牌投影的封闭性是可判定的。对于正则语言，证明了这些条件的可判定性。最后，在无附加条件的情况下，展示了正则语言对是否在洗牌投影下封闭这一问题的可判定性。在附录中讨论了洗牌投影与两种语言的洗牌积之间的关系。此外，定义了S-自动机中计算的一种洗牌积。
引用
@article{arxiv.1503.08602,
title = {Pairs of Languages Closed under Shuffle Projection},
author = {Peter Ochsenschläger and Roland Rieke},
journal= {arXiv preprint arXiv:1503.08602},
year = {2015}
}