DSpace
KOBRA
KOBRA

KOBRA - Dokumentenserver der Universität Kassel  → Fachbereiche  → FB 16 Elektrotechnik / Informatik  → Kasseler Informatikschriften (KIS)  

Please use this identifier to cite or link to this item: http://nbn-resolving.de/urn:nbn:de:hebis:34-2011010635281

Titel: CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store
Autor(en): Nagy, BenedekOtto, Friedrich
Klassifikation (DDC): 004 - Informatik (Data processing Computer science)
Issue Date: 6-Jan-2011
Serie/Report Nr.: Kasseler Informatikschriften2010, 4
Zusammenfassung: 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.
URI: urn:nbn:de:hebis:34-2011010635281
Bemerkungen: 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 
Appears in Collections:Kasseler Informatikschriften (KIS)

Files in This Item:

File Description SizeFormat
Technicalreport2010_4.pdf307,6 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.