转移系统与Ferrers语言的单射包
组合数学
2019-07-05 v1 信息论
math.IT
摘要
我们考虑装备有对合的有序字母表上的自反且对合的转移系统。我们用Galois格描述了任意二元集的单射包，并由此导出其有限性判别法。我们的描述引出了Ferrers语言的概念。
引用
@article{arxiv.1907.02231,
title = {Injective envelopes of transition systems and Ferrers languages},
author = {Mustapha Kabil and Maurice Pouzet},
journal= {arXiv preprint arXiv:1907.02231},
year = {2019}
}
备注
23 pages