×

Found 22 Documents (Results 1–22)

Edit distance neighbourhoods of input-driven pushdown automata. (English) Zbl 1489.68133

Weil, Pascal (ed.), Computer science – theory and applications. 12th international computer science symposium in Russia, CSR 2017, Kazan, Russia, June 8–12, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10304, 260-272 (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

State complexity of Kleene-star operations on trees. (English) Zbl 1353.68171

Dinneen, Michael J. (ed.) et al., Computation, physics and beyond. International workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21–24, 2012. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-27653-8/pbk). Lecture Notes in Computer Science 7160, 388-402 (2012).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

State trade-offs in unranked tree automata. (English) Zbl 1341.68106

Holzer, Markus (ed.) et al., Descriptional complexity of formal systems. 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25–27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22599-4/pbk). Lecture Notes in Computer Science 6808, 261-274 (2011).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Deterministic caterpillar expressions. (English) Zbl 1139.68374

Holub, Jan (ed.) et al., Implementation and application of automata. 12th international conference, CIAA 2007, Prague, Czech Republic, July 16–18, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-76335-2/pbk). Lecture Notes in Computer Science 4783, 97-108 (2007).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software