Skip to Main content Skip to Navigation
New interface
Conference papers

Synchronization of grammars

Abstract : Deterministic graph grammars are finite devices which generate the transition graphs of pushdown automata. We define the notion of synchronization by grammars, generalizing previous sub-classes such as visibly and height-deterministic pushdown automata. The languages recognized by grammars synchronized by a given grammar form an effective boolean algebra lying between regular languages and deterministic context-free languages. We also provide a sufficient condition to obtain the closure under concatenation and its iteration.
Document type :
Conference papers
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : Didier Caucal Connect in order to contact the contributor
Submitted on : Monday, September 30, 2013 - 7:42:08 PM
Last modification on : Thursday, September 29, 2022 - 2:21:15 PM
Long-term archiving on: : Tuesday, December 31, 2013 - 2:40:34 AM


Files produced by the author(s)



Didier Caucal, Stéphane Hassen. Synchronization of grammars. Third International Computer Science Symposium in Russia (CSR'08), Jun 2008, Moscou, Russia. pp.110-121, ⟨10.1007/978-3-540-79709-8_14⟩. ⟨hal-00620185⟩



Record views


Files downloads