Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
<|reference_start|>Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors: 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.<|reference_end|>
@article{ise2024characterizations,
    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},
    archivePrefix={arXiv},
    eprint={2403.04301},
    primaryClass={cs.FL}
}