umu.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Blum, Johannes
Publications (1 of 1) Show all publications
Blum, J. & Drewes, F. (2016). Properties of Regular DAG Languages. In: A.H. Dediu, J. Janoušek, C. Martín-Vide, and B. Truthe (Ed.), Proc. 10th International Conference on Language and Automata Theory and Applications (LATA 2016): . Paper presented at 10th International Conference on Language and Automata Theory and Applications (LATA 2016), Prague, Czech Republic, March 14-18, 2016 (pp. 427-438). Springer Publishing Company
Open this publication in new window or tab >>Properties of Regular DAG Languages
2016 (English)In: Proc. 10th International Conference on Language and Automata Theory and Applications (LATA 2016) / [ed] A.H. Dediu, J. Janoušek, C. Martín-Vide, and B. Truthe, Springer Publishing Company, 2016, p. 427-438Conference paper, Published paper (Refereed)
Abstract [en]

A DAG is a directed acyclic graph. We study the properties of DAG automata and their languages, called regular DAG languages. In particular, we prove results resembling pumping lemmas and show that the finiteness problem for regular DAG languages is in P.

Place, publisher, year, edition, pages
Springer Publishing Company, 2016
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9618
National Category
Computer Sciences
Identifiers
urn:nbn:se:umu:diva-111983 (URN)10.1007/978-3-319-30000-9_33 (DOI)000378745100038 ()978-3-319-30000-9 (ISBN)978-3-319-29999-0 (ISBN)
Conference
10th International Conference on Language and Automata Theory and Applications (LATA 2016), Prague, Czech Republic, March 14-18, 2016
Available from: 2015-11-29 Created: 2015-11-29 Last updated: 2018-06-07Bibliographically approved
Organisations

Search in DiVA

Show all publications