具有未知行为的右线性文法受控生成的刻画
形式语言与自动机理论
2024-03-08 v1
摘要
本文研究具有未知行为（简称 RLUBs）的右线性文法的受控生成，其中推导行为未完全确定。特别是，我们考虑控制系统中使用的控制设备的物理属性，并将其公式化为控制系统控制字母表上的偏序。我们给出了给定的有限语言类由 RLUBs 及其控制系统使用给定的控制字母表偏序生成的充要条件。
引用
@article{arxiv.2403.04301,
title = {Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors},
author = {Daihei Ise and Satoshi Kobayashi},
journal= {arXiv preprint arXiv:2403.04301},
year = {2024}
}