当前位置: X-MOL 学术arXiv.cs.FL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2024-03-07 , DOI: arxiv-2403.04301
Daihei Ise, Satoshi Kobayashi

This paper deals with the control generation of right linear grammars with unknown behaviors (RLUBs, for short) in which derivation behavior is not determined completely. In particular, we consider a physical property of control devices used in control systems and formulate it as a partial order over control alphabet of the control system. We give necessary and sufficient conditions for given finite language classes to be generated by RLUBs and their control systems using a given partial order over control alphabet.

中文翻译:

具有未知行为的右线性文法的受控生成的表征

本文研究具有未知行为的右线性文法(简称RLUB)的控制生成,其中推导行为未完全确定。特别地,我们考虑控制系统中使用的控制设备的物理属性,并将其表示为控制系统的控制字母表上的偏序。我们给出了由 RLUB 及其控制系统使用控制字母表上给定的偏序生成给定有限语言类的充分必要条件。
更新日期:2024-03-08
down
wechat
bug