CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions
| dc.date.accessioned | 2009-12-10T14:31:08Z | |
| dc.date.available | 2009-12-10T14:31:08Z | |
| dc.date.issued | 2009-12-10T14:31:08Z | |
| dc.identifier.uri | urn:nbn:de:hebis:34-2009121031420 | |
| dc.identifier.uri | http://hdl.handle.net/123456789/2009121031420 | |
| dc.language.iso | eng | |
| dc.rights | Urheberrechtlich geschützt | |
| dc.rights.uri | https://rightsstatements.org/page/InC/1.0/ | |
| dc.subject | Restarting automaton | eng |
| dc.subject | CD-system | eng |
| dc.subject | modes of operation | eng |
| dc.subject.ccs | F.1.1 | |
| dc.subject.ccs | F.4.3 | |
| dc.subject.ddc | 004 | |
| dc.title | CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions | eng |
| dc.type | Technischer Report | |
| dcterms.abstract | We introduce a new mode of operation for CD-systems of restarting automata by providing explicit enable and disable conditions in the form of regular constraints. We show that, for each CD-system M of restarting automata and each mode m of operation considered by Messerschmidt and Otto, there exists a CD-system M' of restarting automata of the same type as M that, working in the new mode ed, accepts the language that M accepts in mode m. Further, we prove that in mode ed, a locally deterministic CD-system of restarting automata of type RR(W)(W) can be simulated by a locally deterministic CD-system of restarting automata of the more restricted type R(W)(W). This is the first time that a non-monotone type of R-automaton without auxiliary symbols is shown to be as expressive as the corresponding type of RR-automaton. | eng |
| dcterms.accessRights | open access | |
| dcterms.creator | Otto, Friedrich | |
| dcterms.isPartOf | Kasseler Informatikschriften ;; 2009, 2 | ger |
| dcterms.source.series | Kasseler Informatikschriften | ger |
| dcterms.source.volume | 2009, 2 | ger |