×

Found 157 Documents (Results 1–100)

The word problem for finitary automaton groups. (English) Zbl 07729460

Bordihn, Henning (ed.) et al., Descriptional complexity of formal systems. 25th IFIP WG 1.02 international conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13918, 94-108 (2023).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Profinite topologies. (English) Zbl 1511.68176

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 615-652 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finite transducers and rational transductions. (English) Zbl 1517.68195

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

Synthesis of computable regular functions of infinite words. (English) Zbl 07559499

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 43, 17 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A Mahler’s theorem for word functions. (English) Zbl 07561618

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 125, 13 p. (2019).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Automatic semigroups vs automaton semigroups. (English) Zbl 07561617

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 124, 15 p. (2019).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Generic properties in some classes of automaton groups. (English) Zbl 1425.68277

Castillo-Ramirez, Alonso (ed.) et al., Cellular automata and discrete complex systems. 25th IFIP WG 1.5 international workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11525, 91-103 (2019).
MSC:  68Q70 20F10
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Generic properties of subgroups of free groups and finite presentations. (English) Zbl 1392.20017

Kahrobaei, Delaram (ed.) et al., Algebra and computer science. Joint AMS-EMS-SPM meeting algebra and computer science, Porto, Portugal, June 10–13, 2015. Joint mathematics meetings groups, algorithms, and cryptography, San Antonio, TX, USA, January 10–13, 2015. Joint AMS-Israel Mathematical Union meeting applications of algebra to cryptography, Tel-Aviv, Israel, June 16–19, 2014. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2303-2/pbk; 978-1-4704-3587-5/ebook). Contemporary Mathematics 677, 1-43 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On torsion-free semigroups generated by invertible reversible Mealy automata. (English) Zbl 1405.68197

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer (ISBN 978-3-319-15578-4/pbk). Lecture Notes in Computer Science 8977, 328-339 (2015).
MSC:  68Q70 20M35
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

State complexity of neighbourhoods and approximate pattern matching. (English) Zbl 1386.68096

Potapov, Igor (ed.), Developments in language theory. 19th international conference, DLT 2015, Liverpool, UK, July 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21499-3/pbk; 978-3-319-21500-6/ebook). Lecture Notes in Computer Science 9168, 389-400 (2015).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software