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.
@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}
}