Equivalent Transformations of Automata by Using Behavioural Automata
| dc.creator | Ciobanu,Gabriel | |
| dc.creator | Rudeanu,Sergiu | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:56Z | |
| dc.date.available | 2024-02-06T12:55:56Z | |
| dc.description | This paper uses category theory to emphasize the relationships between Mealy, Moore and Rabin-Scott automata, and the behavioural automata are used as a unifying framework. Some of the known links between Mealy, Moore and RabinScott automata are translated into isomorphisms of categories, and we also show how behavioural automata connect to these automata. Considering the distinction between final and sequential behaviours of an automaton, we define a sequential version of Mealy automata and study its relationship to behavioural automata. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-11-1540 | |
| dc.identifier | https://lib.jucs.org/article/28880/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9523 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 13(11): 1540-1549 | |
| dc.subject | Mealy | |
| dc.subject | Moore and Rabin-Scott automata | |
| dc.subject | semiautomata | |
| dc.subject | behavioural automata | |
| dc.subject | final and sequential behaviours of automata | |
| dc.subject | category theory | |
| dc.title | Equivalent Transformations of Automata by Using Behavioural Automata | |
| dc.type | Research Article |