Zur Kurzanzeige

dc.date.accessioned2009-12-10T14:31:08Z
dc.date.available2009-12-10T14:31:08Z
dc.date.issued2009-12-10T14:31:08Z
dc.identifier.uriurn:nbn:de:hebis:34-2009121031420
dc.identifier.urihttp://hdl.handle.net/123456789/2009121031420
dc.language.isoeng
dc.rightsUrheberrechtlich geschützt
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/
dc.subjectRestarting automatoneng
dc.subjectCD-systemeng
dc.subjectmodes of operationeng
dc.subject.ddc004
dc.titleCD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditionseng
dc.typeTechnischer Report
dcterms.abstractWe 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.accessRightsopen access
dcterms.creatorOtto, Friedrich
dcterms.isPartOfKasseler Informatikschriften ;; 2009, 2ger
dc.subject.ccsF.1.1
dc.subject.ccsF.4.3
dcterms.source.seriesKasseler Informatikschriftenger
dcterms.source.volume2009, 2ger


Dateien zu dieser Ressource

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige