×

Found 792 Documents (Results 1–100)

100
MathJax

On definability of universal graphic automata by their input symbol semigroups. (Russian. English summary) Zbl 1478.68185

MSC:  68Q70 18B20 20M35
PDF BibTeX XML Cite
Full Text: DOI MNR

Finite-state techniques. Automata, transducers and bimachines. (English) Zbl 1465.68006

Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

Rational, recognizable, and aperiodic sets in the partially lossy queue monoid. (English) Zbl 1487.68162

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 45, 14 p. (2018).
MSC:  68Q70 03D05 20M35
PDF BibTeX XML Cite
Full Text: DOI

The intersection problem for finite monoids. (English) Zbl 1487.68161

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 30, 14 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Generalized results on monoids as memory. (English) Zbl 1483.68217

Csuhaj-Varjú, Erzsébet (ed.) et al., Proceedings of the 15th international conference on automata and formal languages, AFL’17, Debrecen, Hungary, September 4–6, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 234-247 (2017).
MSC:  68Q70 20M35
PDF BibTeX XML Cite
Full Text: arXiv Link

Membership problem in \(\operatorname{GL}(2,\mathbb{Z})\) extended by singular matrices. (English) Zbl 1441.20037

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 44, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Stone duality and the substitution principle. (English) Zbl 1434.06002

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 13, 20 p. (2017).
MSC:  06E15 20M35 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Open problems about regular languages, 35 years later. (English) Zbl 1402.68120

Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific (ISBN 978-981-3148-19-2/hbk; 978-981-3148-21-5/ebook). 153-175 (2017).
MSC:  68Q45 20M35 68Q70
PDF BibTeX XML Cite
Full Text: DOI HAL

Pro-aperiodic monoids via saturated models. (English) Zbl 1402.68126

Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 39, 14 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Church-Rosser systems, codes with bounded synchronization delay and local Rees extensions. (English) Zbl 1405.68195

Brlek, Srečko (ed.) et al., Combinatorics on words. 11th international conference, WORDS 2017, Montréal, QC, Canada, September 11–15, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-66395-1/pbk; 978-3-319-66396-8/ebook). Lecture Notes in Computer Science 10432, 6-16 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Over which monoids is the transducer determinization procedure applicable? (English) Zbl 1485.68141

Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 380-392 (2017).
MSC:  68Q45 20M35 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Semi-Galois categories. I: The classical Eilenberg variety theory. (English) Zbl 1395.68194

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 545-554 (2016).
MSC:  68Q70 08A70 08C20 20M35 18D35
PDF BibTeX XML Cite
Full Text: DOI arXiv

Characterizing classes of regular languages using prefix codes of bounded synchronization delay. (English) Zbl 1388.68165

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 129, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Algebraic governance and symmetry in dependency grammars. (English) Zbl 1478.68110

Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 60-76 (2016).
MSC:  68Q42 91F20
PDF BibTeX XML Cite
Full Text: DOI

Operations on weakly recognizing morphisms. (English) Zbl 1476.68159

Câmpeanu, Cezar (ed.) et al., Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9777, 126-137 (2016).
MSC:  68Q70 20M35
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

\(L\)-primitive words in submonoids of a free monoid. (English) Zbl 1344.20070

Kumar Sinha, Arun (ed.) et al., Recent advances in mathematics, statistics and computer science. Proceedings of the international conference, ICRAMSCS, Bihar, India, May 29–31, 2015. Hackensack, NJ: World Scientific (ISBN 978-981-4696-16-6/hbk; 978-981-4704-84-7/ebook). 322-330 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software