Properties of Regular DAG Languages

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

BLUM, Johannes, Frank DREWES, 2016. Properties of Regular DAG Languages. Language and Automata Theory and Applications : 10th International Conference, LATA 2016. Prague, Czech Republic, Mar 14, 2016 - Mar 18, 2016. In: DEDIU, Adrian-Horia, ed., Jan JANOUŠEK, ed., Carlos MARTÍN-VIDE, ed., Bianca TRUTHE, ed.. Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Proceedings. Cham:Springer, pp. 427-438. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-29999-0. Available under: doi: 10.1007/978-3-319-30000-9_33

@inproceedings{Blum2016-02-26Prope-44806, title={Properties of Regular DAG Languages}, year={2016}, doi={10.1007/978-3-319-30000-9_33}, number={9618}, isbn={978-3-319-29999-0}, issn={0302-9743}, address={Cham}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Proceedings}, pages={427--438}, editor={Dediu, Adrian-Horia and Janoušek, Jan and Martín-Vide, Carlos and Truthe, Bianca}, author={Blum, Johannes and Drewes, Frank} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/44806"> <dcterms:abstract xml:lang="eng">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.</dcterms:abstract> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-02-01T13:25:43Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-02-01T13:25:43Z</dcterms:available> <dcterms:issued>2016-02-26</dcterms:issued> <dc:creator>Blum, Johannes</dc:creator> <dc:creator>Drewes, Frank</dc:creator> <dc:language>eng</dc:language> <dc:contributor>Blum, Johannes</dc:contributor> <dcterms:title>Properties of Regular DAG Languages</dcterms:title> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/44806"/> <dc:contributor>Drewes, Frank</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account