2011 | OriginalPaper | Chapter
An Automata-Theoretical Characterization of Context-Free Trace Languages
Authors : Benedek Nagy, Friedrich Otto
Published in: SOFSEM 2011: Theory and Practice of Computer Science
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We present a characterization of the class of context-free trace languages in terms of cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are governed by an external pushdown store.