Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors

Daihei Ise,Satoshi Kobayashi
2024-03-07
Abstract: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.
Formal Languages and Automata Theory
What problem does this paper attempt to address?