Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909131179294720 |
|---|---|
| author | Ise, Daihei Kobayashi, Satoshi |
| author_facet | Ise, Daihei Kobayashi, Satoshi |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_04301 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors Ise, Daihei Kobayashi, Satoshi Formal Languages and Automata Theory 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. |
| title | Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors |
| topic | Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2403.04301 |