几类正则语言的 Parikh 归约 Church-Rosser 表示
形式语言与自动机理论
2017-03-30 v1
摘要
本文研究了 Parikh 归约 Church-Rosser 系统的概念。结果表明，对于两类正则语言，存在这样的系统，其利用重写系统的有限多个等价类来描述这些语言。这两类分别是：1.) 所有语法幺半群仅含阿贝尔群的正则语言类；2.) 所有定义在双字母字母表上的群语言类。这些系统的构造给出了一种幺半群表示，使得所有子群均为阿贝尔群。此外，还研究了这些表示的复杂性。
引用
@article{arxiv.1703.10056,
title = {Parikh-reducing Church-Rosser representations for some classes of regular languages},
author = {Tobias Walter},
journal= {arXiv preprint arXiv:1703.10056},
year = {2017}
}