×

Found 260 Documents (Results 1–100)

Image-binary automata. (English) Zbl 07614751

Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 23rd IFIP WG 1.02 international conference, DCFS 2021, virtual event, September 5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13037, 176-187 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weighted automata. (English) Zbl 1508.68189

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 113-150 (2021).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Number of prefixes in trace monoids: clique polynomials and dependency graphs. (English) Zbl 07633513

Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 251-263 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Aperiodic weighted automata and weighted first-order logic. (English) Zbl 07561720

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 76, 15 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finite sequentiality of unambiguous max-plus tree automata. (English) Zbl 1517.68212

Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 55, 17 p. (2019).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

The equivalence, unambiguity and sequentiality problems of finitely ambiguous max-plus tree automata are decidable. (English) Zbl 1441.68128

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 53, 13 p. (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Weighted operator precedence languages. (English) Zbl 1441.68121

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 31, 15 p. (2017).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI

Mathematical renormalization in quantum electrodynamics via noncommutative generating series. (English) Zbl 1386.81144

Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 59-100 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weighted linear dynamic logic. (English) Zbl 1478.03065

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 149-163 (2016).
MSC:  03B70 03D05 68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

Computing the expected edit distance from a string to a PFA. (English) Zbl 1379.68219

Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 39-50 (2016).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

Learning weighted automata. (English) Zbl 1401.68144

Maletti, Andreas (ed.), Algebraic informatics. 6th international conference, CAI 2015, Stuttgart, Germany, September 1–4, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23020-7/pbk; 978-3-319-23021-4/ebook). Lecture Notes in Computer Science 9270, 1-21 (2015).
MSC:  68Q45 68Q32 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Rational transformations and a Kleene theorem for power series over rational monoids. (English) Zbl 1350.68191

Kuich, Werner (ed.) et al., Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement. Berlin: Springer (ISBN 978-3-642-24896-2/pbk). Lecture Notes in Computer Science 7020, 94-111 (2011).
MSC:  68Q70
PDFBibTeX XMLCite
Full Text: DOI

Independence of hyperlogarithms over function fields via algebraic combinatorics. (English) Zbl 1279.11069

Winkler, Franz (ed.), Algebraic informatics. 4th international conference, CAI 2011, Linz, Austria, June 21–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21492-9/pbk). Lecture Notes in Computer Science 6742, 127-139 (2011).
MSC:  11G55 34M15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Simulations of weighted tree automata. (English) Zbl 1297.68125

Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 321-330 (2011).
MSC:  68Q45 68Q70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Regular expressions on average and in the long run. (English) Zbl 1297.68123

Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 211-221 (2011).
MSC:  68Q45 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Complexity results and the growths of hairpin completions of regular languages (extended abstract). (English) Zbl 1297.68122

Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 105-114 (2011).
MSC:  68Q45 68Q17 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software