CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store
| dc.date.accessioned | 2011-01-06T08:47:16Z | |
| dc.date.available | 2011-01-06T08:47:16Z | |
| dc.date.issued | 2011-01-06T08:47:16Z | |
| dc.description.everything | Eine Kurzfassung dieser Arbeit ist zur Tagung SOFSEM 2011 eingereicht und akzeptiert worden. Sie wird im entsprechenden Tagungsband erscheinen: BOOKTITLE = SOFSEM 2011: Theory and Practice of Computer Science, Proc. AUTHOR = Nagy, B., Otto, F. TITLE = An automata-theoretical characterization of context-free trace languages SERIES = Lecture Notes in Computer Science 6543 PUBLISHER = Springer ADDRESS = Berlin YEAR = 2011 PAGES = 406-417 | ger |
| dc.identifier.uri | urn:nbn:de:hebis:34-2011010635281 | |
| dc.identifier.uri | http://hdl.handle.net/123456789/2011010635281 | |
| 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 | Stateless automaton | eng |
| dc.subject | CD-system | eng |
| dc.subject | context-free trace language | eng |
| dc.subject.ccs | F.1.1 | |
| dc.subject.ccs | F.4.3 | |
| dc.subject.ddc | 004 | |
| dc.title | CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store | eng |
| dc.type | Technischer Report | |
| dcterms.abstract | We study cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are governed by an external pushdown store. In this way we obtain an automata-theoretical characterization for the class of context-free trace languages. | eng |
| dcterms.accessRights | open access | |
| dcterms.creator | Nagy, Benedek | |
| dcterms.creator | Otto, Friedrich | |
| dcterms.isPartOf | Kasseler Informatikschriften ;; 2010, 4 | ger |
| dcterms.source.series | Kasseler Informatikschriften | ger |
| dcterms.source.volume | 2010, 4 | ger |