×

Found 71 Documents (Results 1–71)

100
MathJax

Regular model checking with regular relations. (English) Zbl 07530233

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 190-203 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Yet another characterization of the Pisot substitution conjecture. (English) Zbl 1458.37015

Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer. Lect. Notes Math. 2273, 397-448 (2020).
MSC:  37B10 37B15 37B51
PDF BibTeX XML Cite
Full Text: DOI arXiv

From combinatorial games to shape-symmetric morphisms. (English) Zbl 1457.91116

Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer. Lect. Notes Math. 2273, 227-291 (2020).
MSC:  91A46 91A68 68R15
PDF BibTeX XML Cite
Full Text: DOI Link

State complexity of the multiples of the Thue-Morse set. (English) Zbl 07453075

Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 34-49 (2019).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

On runtime enforcement via suppressions. (English) Zbl 07378578

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 34, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

On Hadamard series and rotating \(\mathbb{Q}\)-automata. (English) Zbl 07378323

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 6, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

The shortest identities for max-plus automata with two states. (English) Zbl 1441.68120

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 48, 13 p. (2017).
MSC:  68Q45 15A30 15A80
PDF BibTeX XML Cite
Full Text: DOI

On multiplicative independent bases for canonical number systems in cyclotomic number fields. (English) Zbl 1427.11115

Elsholtz, Christian (ed.) et al., Number theory – Diophantine problems, uniform distribution and applications. Festschrift in honour of Robert F. Tichy’s 60th birthday. Cham: Springer. 313-332 (2017).
MSC:  11R18 11Y40 11A63
PDF BibTeX XML Cite
Full Text: DOI

From Hadamard expressions to weighted rotating automata and back. (English) Zbl 1429.68106

Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 163-174 (2017).
MSC:  68Q45 05B20
PDF BibTeX XML Cite
Full Text: DOI

A simple method for building bimachines from functional finite-state transducers. (English) Zbl 06763318

Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 113-125 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Formalizing a fragment of combinatorics on words. (English) Zbl 1433.68579

Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 24-31 (2017).
MSC:  68V20 68R15 68V15
PDF BibTeX XML Cite
Full Text: DOI

Degree of sequentiality of weighted automata. (English) Zbl 1396.68075

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 215-230 (2017).
MSC:  68Q70 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

The almost equivalence by asymptotic probabilities for regular languages and its computational complexities. (English) Zbl 1478.68132

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, 272-286 (2016).
MSC:  68Q45 68Q19 68Q25
PDF BibTeX XML Cite
Full Text: arXiv Link

Implementation of code properties via transducers. (English) Zbl 1475.68160

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. Lect. Notes Comput. Sci. 9705, 189-201 (2016).
MSC:  68Q45 68N30 68W30
PDF BibTeX XML Cite
Full Text: DOI Link

Both ways rational functions. (English) Zbl 1362.68133

Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53131-0/pbk; 978-3-662-53132-7/ebook). Lecture Notes in Computer Science 9840, 114-124 (2016).
MSC:  68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Position automaton construction for regular expressions with intersection. (English) Zbl 1436.68163

Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 51-63 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

An automata theoretic approach to the zero-one law for regular languages: algorithmic and logical aspects. (English) Zbl 1476.68138

Esparza, Javier (ed.) et al., Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21–22, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 193, 172-185 (2015).
MSC:  68Q45 03D05
PDF BibTeX XML Cite
Full Text: arXiv Link

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
PDF BibTeX XML Cite
Full Text: DOI

Computing maximal Kleene closures that are embeddable in a given constrained DNA language. (English) Zbl 1347.68207

Cardelli, Luca (ed.) et al., DNA computing and molecular programming. 17th international conference, DNA 17, Pasadena, CA, USA, September 19–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23637-2/pbk). Lecture Notes in Computer Science 6937, 115-129 (2011).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Joint spectral radius theory for automated complexity analysis of rewrite systems. (English) Zbl 1307.68042

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, 1-20 (2011).
MSC:  68Q42 68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Uniformizing rational relations for natural language applications using weighted determinization. (English) Zbl 1297.68174

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, 173-180 (2011).
MSC:  68Q70 68Q45 68T50
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification