umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Properties of Regular DAG Languages
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (Foundations of Language Processing)ORCID-id: 0000-0001-7349-7693
2016 (engelsk)Inngår i: 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, s. 427-438Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Springer Publishing Company, 2016. s. 427-438
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9618
HSV kategori
Identifikatorer
URN: urn:nbn:se:umu:diva-111983DOI: 10.1007/978-3-319-30000-9_33ISI: 000378745100038ISBN: 978-3-319-30000-9 (tryckt)ISBN: 978-3-319-29999-0 (tryckt)OAI: oai:DiVA.org:umu-111983DiVA, id: diva2:874859
Konferanse
10th International Conference on Language and Automata Theory and Applications (LATA 2016), Prague, Czech Republic, March 14-18, 2016
Tilgjengelig fra: 2015-11-29 Laget: 2015-11-29 Sist oppdatert: 2018-06-07bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Blum, JohannesDrewes, Frank

Søk i DiVA

Av forfatter/redaktør
Blum, JohannesDrewes, Frank
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 380 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf