一个非 CRCL 的 ACCL
计算机科学中的逻辑
2014-12-03 v2
摘要
证明每个正则集都是几乎合流同余语言（ACCL）是相当容易的，而已知每个正则集都是 Church-Rosser 同余语言（CRCL）。是否存在一个 ACCL 而非 CRCL，似乎仍是一个悬而未决的问题。本文给出一个这样的 ACCL。
引用
@article{arxiv.1411.5853,
title = {An ACCL which is not a CRCL},
author = {Colm Ó Dúnlaing},
journal= {arXiv preprint arXiv:1411.5853},
year = {2014}
}