Maneth, Sebastian; Seidl, Helmut Checking in polynomial time whether or not a regular tree language is deterministic top-down. (English) Zbl 07824709 Inf. Process. Lett. 184, Article ID 106449, 4 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Maneth} and \textit{H. Seidl}, Inf. Process. Lett. 184, Article ID 106449, 4 p. (2024; Zbl 07824709) Full Text: DOI arXiv
Dell’Erba, Daniele; Schewe, Sven; Tang, Qiyi; Zhanabekova, Tansholpan Semantic flowers for good-for-games and deterministic automata. (English) Zbl 07817063 Inf. Process. Lett. 185, Article ID 106468, 4 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Dell'Erba} et al., Inf. Process. Lett. 185, Article ID 106468, 4 p. (2024; Zbl 07817063) Full Text: DOI
Volaříková, Jana The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies. (English) Zbl 07817037 Int. J. Algebra Comput. 34, No. 1, 87-135 (2024). MSC: 20M07 20M35 PDFBibTeX XMLCite \textit{J. Volaříková}, Int. J. Algebra Comput. 34, No. 1, 87--135 (2024; Zbl 07817037) Full Text: DOI
Kanchan Devi, K.; Arumugam, S. Triangular tile latching system. (English) Zbl 07814392 Commun. Comb. Optim. 9, No. 2, 309-316 (2024). MSC: 05C10 68Q45 PDFBibTeX XMLCite \textit{K. Kanchan Devi} and \textit{S. Arumugam}, Commun. Comb. Optim. 9, No. 2, 309--316 (2024; Zbl 07814392) Full Text: DOI
Liu, Haiyan; Cui, Rongdong; Zhang, Tianjie \(n\)-PS-codes, 2-infix-outfix codes and some related classes of codes. (English) Zbl 07813604 Acta Inf. 61, No. 1, 67-81 (2024). MSC: 68Qxx 68R15 68Q70 20M35 PDFBibTeX XMLCite \textit{H. Liu} et al., Acta Inf. 61, No. 1, 67--81 (2024; Zbl 07813604) Full Text: DOI
Mitrana, Victor; Păun, Andrei; Păun, Mihaela; Sánchez-Couso, José Ramón Jump complexity of finite automata with translucent letters. (English) Zbl 07813021 Theor. Comput. Sci. 992, Article ID 114450, 9 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{V. Mitrana} et al., Theor. Comput. Sci. 992, Article ID 114450, 9 p. (2024; Zbl 07813021) Full Text: DOI
Ryan, Mitchell; Solomon, Benjamin Soliton cellular automata for the affine general linear Lie superalgebra. (English) Zbl 07812085 Ann. Henri Poincaré 25, No. 3, 1811-1868 (2024). MSC: 17B37 05E10 82B23 37B15 PDFBibTeX XMLCite \textit{M. Ryan} and \textit{B. Solomon}, Ann. Henri Poincaré 25, No. 3, 1811--1868 (2024; Zbl 07812085) Full Text: DOI OA License
Kıyak, Fırat; Say, A. C. Cem Energy complexity of regular languages. (English) Zbl 07809121 Theor. Comput. Sci. 982, Article ID 114291, 14 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Kıyak} and \textit{A. C. C. Say}, Theor. Comput. Sci. 982, Article ID 114291, 14 p. (2024; Zbl 07809121) Full Text: DOI
Geffert, Viliam; Pališínová, Dominika; Szabari, Alexander State complexity of binary coded regular languages. (English) Zbl 07807469 Theor. Comput. Sci. 990, Article ID 114399, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{V. Geffert} et al., Theor. Comput. Sci. 990, Article ID 114399, 11 p. (2024; Zbl 07807469) Full Text: DOI
Droste, Manfred; Grabolle, Gustav; Rahonis, George Weighted linear dynamic logic. (English) Zbl 07805942 Int. J. Found. Comput. Sci. 35, No. 1-2, 145-177 (2024). MSC: 68Qxx 03Bxx 03Dxx PDFBibTeX XMLCite \textit{M. Droste} et al., Int. J. Found. Comput. Sci. 35, No. 1--2, 145--177 (2024; Zbl 07805942) Full Text: DOI
Béaur, Pierre; Kari, Jarkko Effective projections on group shifts to decide properties of group cellular automata. (English) Zbl 07805938 Int. J. Found. Comput. Sci. 35, No. 1-2, 77-100 (2024). MSC: 37Bxx 68Qxx 54Hxx PDFBibTeX XMLCite \textit{P. Béaur} and \textit{J. Kari}, Int. J. Found. Comput. Sci. 35, No. 1--2, 77--100 (2024; Zbl 07805938) Full Text: DOI arXiv
Fülöp, Zoltán; Vogler, Heiko A comparison of sets of recognizable weighted tree languages over specific sets of bounded lattices. (English) Zbl 07805937 Int. J. Found. Comput. Sci. 35, No. 1-2, 51-76 (2024). MSC: 68Qxx 68-XX 03Bxx PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{H. Vogler}, Int. J. Found. Comput. Sci. 35, No. 1--2, 51--76 (2024; Zbl 07805937) Full Text: DOI
Paul, Erik Equivalence, unambiguity, and sequentiality of finitely ambiguous max-plus tree automata. (English) Zbl 07805936 Int. J. Found. Comput. Sci. 35, No. 1-2, 23-49 (2024). MSC: 68Qxx 68-XX 90Cxx PDFBibTeX XMLCite \textit{E. Paul}, Int. J. Found. Comput. Sci. 35, No. 1--2, 23--49 (2024; Zbl 07805936) Full Text: DOI
Löding, Christof; Thomas, Wolfgang On the Boolean closure of deterministic top-down tree automata. (English) Zbl 07805935 Int. J. Found. Comput. Sci. 35, No. 1-2, 11-22 (2024). MSC: 68Qxx 03Bxx 03Dxx PDFBibTeX XMLCite \textit{C. Löding} and \textit{W. Thomas}, Int. J. Found. Comput. Sci. 35, No. 1--2, 11--22 (2024; Zbl 07805935) Full Text: DOI arXiv
Shallit, Jeffrey Proving properties of some greedily-defined Integer recurrences via automata theory. (English) Zbl 07802225 Theor. Comput. Sci. 988, Article ID 114363, 10 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Shallit}, Theor. Comput. Sci. 988, Article ID 114363, 10 p. (2024; Zbl 07802225) Full Text: DOI arXiv
Yavari, Mahdieh Down closed-quasi-injectivity of partially ordered acts. (English) Zbl 07797234 J. Algebra Appl. 23, No. 5, Article ID 2450107, 20 p. (2024). MSC: 06F05 08B30 20M30 20M50 PDFBibTeX XMLCite \textit{M. Yavari}, J. Algebra Appl. 23, No. 5, Article ID 2450107, 20 p. (2024; Zbl 07797234) Full Text: DOI
Allouche, Jean-Paul; Petrogradsky, Victor A conjecture of Dekking on the dimensions of the lower central series factors of a certain just infinite Lie algebra. (English) Zbl 07796397 J. Algebra 639, 708-719 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 17B10 17B30 11B85 68R15 PDFBibTeX XMLCite \textit{J.-P. Allouche} and \textit{V. Petrogradsky}, J. Algebra 639, 708--719 (2024; Zbl 07796397) Full Text: DOI
Gerencsér, Balázs; Várkonyi, Zsombor Fast synchronization of inhomogenous random automata. (English) Zbl 07790923 Inf. Comput. 296, Article ID 105129, 4 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Gerencsér} and \textit{Z. Várkonyi}, Inf. Comput. 296, Article ID 105129, 4 p. (2024; Zbl 07790923) Full Text: DOI arXiv
Bhaskar, Ashwin; Praveen, M. Realizability problem for constraint LTL. (English) Zbl 07790920 Inf. Comput. 296, Article ID 105126, 25 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Bhaskar} and \textit{M. Praveen}, Inf. Comput. 296, Article ID 105126, 25 p. (2024; Zbl 07790920) Full Text: DOI arXiv
Balister, Paul; Bollobás, Béla; Morris, Robert; Smith, Paul Subcritical monotone cellular automata. (English) Zbl 07784615 Random Struct. Algorithms 64, No. 1, 38-61 (2024). MSC: 81-XX 82-XX PDFBibTeX XMLCite \textit{P. Balister} et al., Random Struct. Algorithms 64, No. 1, 38--61 (2024; Zbl 07784615) Full Text: DOI arXiv
Bruse, Florian; Herwig, Maurice; Lange, Martin Weights of formal languages based on geometric series with an application to automatic grading. (English) Zbl 07784209 Theor. Comput. Sci. 983, Article ID 114295, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Bruse} et al., Theor. Comput. Sci. 983, Article ID 114295, 11 p. (2024; Zbl 07784209) Full Text: DOI
Lingg, Jonas; de Oliveira Oliveira, Mateus; Wolf, Petra Learning from positive and negative examples: new proof for binary alphabets. (English) Zbl 07749688 Inf. Process. Lett. 183, Article ID 106427, 6 p. (2024). MSC: 68Q32 68Q17 68Q45 PDFBibTeX XMLCite \textit{J. Lingg} et al., Inf. Process. Lett. 183, Article ID 106427, 6 p. (2024; Zbl 07749688) Full Text: DOI arXiv
Nies, André; Stephan, Frank Word automatic groups of nilpotency class 2. (English) Zbl 07749687 Inf. Process. Lett. 183, Article ID 106426, 7 p. (2024). MSC: 20F10 20F18 68Q70 PDFBibTeX XMLCite \textit{A. Nies} and \textit{F. Stephan}, Inf. Process. Lett. 183, Article ID 106426, 7 p. (2024; Zbl 07749687) Full Text: DOI arXiv
Breuillard, Emmanuel; Kocharyan, Georgi Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups. arXiv:2403.14875 Preprint, arXiv:2403.14875 [math.GR] (2024). MSC: 20F10 20F05 03D40 BibTeX Cite \textit{E. Breuillard} and \textit{G. Kocharyan}, ``Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups'', Preprint, arXiv:2403.14875 [math.GR] (2024) Full Text: arXiv OA License
Bondarenko, Ievgen The word problem and growth of groups. arXiv:2403.11148 Preprint, arXiv:2403.11148 [math.GR] (2024). MSC: 20F10 68Q70 03D10 20E08 BibTeX Cite \textit{I. Bondarenko}, ``The word problem and growth of groups'', Preprint, arXiv:2403.11148 [math.GR] (2024) Full Text: arXiv OA License
Andrews, Uri; Harrison-Trainor, Matthew; Ho, Meng-Che ”Turbo” Two results on complexities of decision problems of groups. arXiv:2403.02492 Preprint, arXiv:2403.02492 [math.LO] (2024). MSC: 03D40 20F10 03D55 BibTeX Cite \textit{U. Andrews} et al., ``Two results on complexities of decision problems of groups'', Preprint, arXiv:2403.02492 [math.LO] (2024) Full Text: arXiv OA License
Renard, Antoine; Rigo, Michel; Whiteland, Markus A. Introducing q-deformed binomial coefficients of words. arXiv:2402.05838 Preprint, arXiv:2402.05838 [math.CO] (2024). MSC: 05A30 68R15 68Q70 BibTeX Cite \textit{A. Renard} et al., ``Introducing q-deformed binomial coefficients of words'', Preprint, arXiv:2402.05838 [math.CO] (2024) Full Text: arXiv OA License
Ivanov, Aleksander; Majcher, Krzysztof Generic groups and WAP. arXiv:2402.02143 Preprint, arXiv:2402.02143 [math.LO] (2024). MSC: 03C60 03C15 03E15 20F10 20F05 20F18 20F50 20F60 03C25 BibTeX Cite \textit{A. Ivanov} and \textit{K. Majcher}, ``Generic groups and WAP'', Preprint, arXiv:2402.02143 [math.LO] (2024) Full Text: arXiv OA License
Andrews, Uri; Ho, Meng-Che ”Turbo” Algorithmically finite, universal, and \(*\)-universal groups. arXiv:2402.01882 Preprint, arXiv:2402.01882 [math.LO] (2024). MSC: 03D40 20F10 03D55 BibTeX Cite \textit{U. Andrews} and \textit{M.-C. "T. Ho}, ``Algorithmically finite, universal, and $*$-universal groups'', Preprint, arXiv:2402.01882 [math.LO] (2024) Full Text: arXiv OA License
D’Angeli, Daniele; Rodaro, Emanuele; Wächter, Jan Philipp The Freeness Problem for Automaton Semigroups. arXiv:2402.01372 Preprint, arXiv:2402.01372 [cs.FL] (2024). MSC: 20F10 20F65 20M05 20M30 68Q17 68Q45 BibTeX Cite \textit{D. D'Angeli} et al., ``The Freeness Problem for Automaton Semigroups'', Preprint, arXiv:2402.01372 [cs.FL] (2024) Full Text: arXiv OA License
Corson, Samuel M. The Griffiths double cone group is isomorphic to the triple. (English) Zbl 07818424 Pac. J. Math. 327, No. 2, 297-336 (2023). MSC: 03E75 20A15 55Q52 20F10 20F34 PDFBibTeX XMLCite \textit{S. M. Corson}, Pac. J. Math. 327, No. 2, 297--336 (2023; Zbl 07818424) Full Text: DOI arXiv
Ceccherini-Silberstein, Tullio; Coornaert, Michel Cellular automata and groups. 2nd edition. (English) Zbl 07802895 Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-031-43327-6/hbk; 978-3-031-43330-6/pbk; 978-3-031-43328-3/ebook). xxi, 556 p. (2023). MSC: 37-02 20-02 68-02 37B15 68Q80 20F65 20M35 68Q70 PDFBibTeX XMLCite \textit{T. Ceccherini-Silberstein} and \textit{M. Coornaert}, Cellular automata and groups. 2nd edition. Cham: Springer (2023; Zbl 07802895) Full Text: DOI
Fernau, Henning; Wolf, Petra; Yamakami, Tomoyuki Synchronizing deterministic push-down automata can be really hard. (English) Zbl 07798816 Inf. Comput. 295, Part B, Article ID 105089, 12 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{H. Fernau} et al., Inf. Comput. 295, Part B, Article ID 105089, 12 p. (2023; Zbl 07798816) Full Text: DOI
Gutsfeld, Jens Oliver; Müller-Olm, Markus; Dielitz, Christian Temporal logics with language parameters. (English) Zbl 07798814 Inf. Comput. 295, Part A, Article ID 105087, 22 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. O. Gutsfeld} et al., Inf. Comput. 295, Part A, Article ID 105087, 22 p. (2023; Zbl 07798814) Full Text: DOI
Hoffmann, Stefan New characterizations of primitive permutation groups with applications to synchronizing automata. (English) Zbl 07798813 Inf. Comput. 295, Part A, Article ID 105086, 15 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Hoffmann}, Inf. Comput. 295, Part A, Article ID 105086, 15 p. (2023; Zbl 07798813) Full Text: DOI
Petrov, Semyon; Okhotin, Alexander On the transformation of two-way finite automata to unambiguous finite automata. (English) Zbl 07798810 Inf. Comput. 295, Part A, Article ID 104956, 26 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Petrov} and \textit{A. Okhotin}, Inf. Comput. 295, Part A, Article ID 104956, 26 p. (2023; Zbl 07798810) Full Text: DOI
Birkmann, Fabian; Milius, Stefan; Urbat, Henning Eilenberg’s variety theorem without Boolean operations. (English) Zbl 07798807 Inf. Comput. 295, Part A, Article ID 104916, 30 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Birkmann} et al., Inf. Comput. 295, Part A, Article ID 104916, 30 p. (2023; Zbl 07798807) Full Text: DOI
Mrykhin, Mikhail; Okhotin, Alexander On hardest languages for one-dimensional cellular automata. (English) Zbl 07798805 Inf. Comput. 295, Part A, Article ID 104891, 17 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Mrykhin} and \textit{A. Okhotin}, Inf. Comput. 295, Part A, Article ID 104891, 17 p. (2023; Zbl 07798805) Full Text: DOI
Avery, Chloe I.; Chen, Lvzhou Stable torsion length. (English) Zbl 07794868 Int. Math. Res. Not. 2023, No. 16, 13817-13866 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20F10 20E06 20-08 PDFBibTeX XMLCite \textit{C. I. Avery} and \textit{L. Chen}, Int. Math. Res. Not. 2023, No. 16, 13817--13866 (2023; Zbl 07794868) Full Text: DOI arXiv
Bérard, Jean Coupling from the past for exponentially ergodic one-dimensional probabilistic cellular automata. (English) Zbl 07790269 Electron. J. Probab. 28, Paper No. 168, 17 p. (2023). MSC: 60K35 37A50 37B15 60J05 PDFBibTeX XMLCite \textit{J. Bérard}, Electron. J. Probab. 28, Paper No. 168, 17 p. (2023; Zbl 07790269) Full Text: DOI arXiv
Hotanen, Toni Undecidability of the topological entropy of reversible cellular automata and related problems. (English) Zbl 07787632 Genova, Daniela (ed.) et al., Unconventional computation and natural computation. 20th international conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14003, 108-123 (2023). MSC: 68Q07 68Q09 68Q10 68Q12 PDFBibTeX XMLCite \textit{T. Hotanen}, Lect. Notes Comput. Sci. 14003, 108--123 (2023; Zbl 07787632) Full Text: DOI
Basheer, Ayoub B. M.; Motalane, Malebogo J.; Seretlo, Thekiso T. The conjugacy classes ranks of the alternating simple group \(A_{11}\). (English) Zbl 07783102 Southeast Asian Bull. Math. 47, No. 6, 743-753 (2023). MSC: 20M35 68Q70 94A45 PDFBibTeX XMLCite \textit{A. B. M. Basheer} et al., Southeast Asian Bull. Math. 47, No. 6, 743--753 (2023; Zbl 07783102) Full Text: Link
Alizadeh, Reza; Sameripour, Ali Spectral and distribution of eigenvalues of non-self-adjoint differential operators. (English) Zbl 07779312 Southeast Asian Bull. Math. 47, No. 5, 611-623 (2023). MSC: 20M35 68Q70 94A45 PDFBibTeX XMLCite \textit{R. Alizadeh} and \textit{A. Sameripour}, Southeast Asian Bull. Math. 47, No. 5, 611--623 (2023; Zbl 07779312) Full Text: Link
Cashen, Christopher H.; Hoffmann, Charlotte Short, highly imprimitive words yield hyperbolic one-relator groups. (English) Zbl 1528.20077 Exp. Math. 32, No. 4, 631-640 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20F67 20F10 20F05 20F65 20-08 PDFBibTeX XMLCite \textit{C. H. Cashen} and \textit{C. Hoffmann}, Exp. Math. 32, No. 4, 631--640 (2023; Zbl 1528.20077) Full Text: DOI arXiv OA License
Boker, Udi; Hefetz, Guy On the comparison of discounted-sum automata with multiple discount factors. (English) Zbl 07770346 Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 371-391 (2023). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{U. Boker} and \textit{G. Hefetz}, Lect. Notes Comput. Sci. 13992, 371--391 (2023; Zbl 07770346) Full Text: DOI arXiv
Baumann, Pascal; D’Alessandro, Flavio; Ganardi, Moses; Ibarra, Oscar; McQuillan, Ian; Schütze, Lia; Zetzsche, Georg Unboundedness problems for machines with reversal-bounded counters. (English) Zbl 07770340 Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 240-264 (2023). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P. Baumann} et al., Lect. Notes Comput. Sci. 13992, 240--264 (2023; Zbl 07770340) Full Text: DOI arXiv
Starchak, Mikhail R. On the existential arithmetics with addition and bitwise minimum. (English) Zbl 07770337 Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 176-195 (2023). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{M. R. Starchak}, Lect. Notes Comput. Sci. 13992, 176--195 (2023; Zbl 07770337) Full Text: DOI
Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne Guessing the buffer bound for \(k\)-synchronizability. (English) Zbl 07770240 Int. J. Found. Comput. Sci. 34, No. 8, 1051-1076 (2023). MSC: 68Qxx 68Nxx 68Mxx PDFBibTeX XMLCite \textit{C. Di Giusto} et al., Int. J. Found. Comput. Sci. 34, No. 8, 1051--1076 (2023; Zbl 07770240) Full Text: DOI
Hoffmann, Stefan State complexity of permutation and the language inclusion problem up to Parikh equivalence on alphabetical pattern constraints and partially ordered NFAs. (English) Zbl 07770237 Int. J. Found. Comput. Sci. 34, No. 8, 959-986 (2023). MSC: 68Qxx 20Mxx 68-XX PDFBibTeX XMLCite \textit{S. Hoffmann}, Int. J. Found. Comput. Sci. 34, No. 8, 959--986 (2023; Zbl 07770237) Full Text: DOI
Hoffmann, Stefan Regularity conditions for iterated shuffle on commutative regular languages. (English) Zbl 07770236 Int. J. Found. Comput. Sci. 34, No. 8, 923-957 (2023). MSC: 68Qxx 20Mxx 68-XX PDFBibTeX XMLCite \textit{S. Hoffmann}, Int. J. Found. Comput. Sci. 34, No. 8, 923--957 (2023; Zbl 07770236) Full Text: DOI
Cao, Chunhua; Xu, Jiao; Liao, Lei; Yang, Di; Jia, Guichuan; Du, Qian The second step in characterizing a three-word code. (English) Zbl 07768656 Acta Inf. 60, No. 4, 453-465 (2023). MSC: 68Qxx 20M35 68Q70 94A45 PDFBibTeX XMLCite \textit{C. Cao} et al., Acta Inf. 60, No. 4, 453--465 (2023; Zbl 07768656) Full Text: DOI
Manzoni, Luca (ed.); Mariot, Luca (ed.); Roy Chowdhury, Dipanwita (ed.) Cellular automata and discrete complex systems. 29th IFIP WG 1.5 international workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023. Proceedings. (English) Zbl 07768476 Lecture Notes in Computer Science 14152. Cham: Springer (ISBN 978-3-031-42249-2/pbk; 978-3-031-42250-8/ebook). xiv, 165 p. (2023). MSC: 68-06 37-06 68Q80 00B25 PDFBibTeX XMLCite \textit{L. Manzoni} (ed.) et al., Cellular automata and discrete complex systems. 29th IFIP WG 1.5 international workshop, AUTOMATA 2023, Trieste, Italy, August 30 -- September 1, 2023. Proceedings. Cham: Springer (2023; Zbl 07768476) Full Text: DOI
Peterfreund, Liat Enumerating grammar-based extractions. (English) Zbl 07764570 Discrete Appl. Math. 341, 372-392 (2023). MSC: 68Qxx 68Pxx 68Wxx PDFBibTeX XMLCite \textit{L. Peterfreund}, Discrete Appl. Math. 341, 372--392 (2023; Zbl 07764570) Full Text: DOI
Mattes, Caroline; Weiß, Armin Parallel algorithms for power circuits and the word problem of the Baumslag group. (English) Zbl 1525.20028 Comput. Complexity 32, No. 2, Paper No. 10, 76 p. (2023). MSC: 20F10 20-08 68Q25 20F05 PDFBibTeX XMLCite \textit{C. Mattes} and \textit{A. Weiß}, Comput. Complexity 32, No. 2, Paper No. 10, 76 p. (2023; Zbl 1525.20028) Full Text: DOI OA License
Jirásek, Jozef; McQuillan, Ian Visit-bounded stack automata. (English) Zbl 07757145 Theory Comput. Syst. 67, No. 5, 956-975 (2023). MSC: 68Qxx 68-XX 03Dxx PDFBibTeX XMLCite \textit{J. Jirásek} and \textit{I. McQuillan}, Theory Comput. Syst. 67, No. 5, 956--975 (2023; Zbl 07757145) Full Text: DOI
Ceccherini-Silberstein, Tullio; Coornaert, Michel [Grigorchuk, Rostislav I.] Exercises in cellular automata and groups. Foreword by Rostislav I. Grigorchuk. (English) Zbl 07756329 Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-031-10390-2/hbk; 978-3-031-10393-3/pbk; 978-3-031-10391-9/ebook). xvii, 627 p. (2023). MSC: 37-02 20-02 00A07 37B15 68Q80 20F65 20M35 PDFBibTeX XMLCite \textit{T. Ceccherini-Silberstein} and \textit{M. Coornaert}, Exercises in cellular automata and groups. Foreword by Rostislav I. Grigorchuk. Cham: Springer (2023; Zbl 07756329) Full Text: DOI
Martynova, Olga; Okhotin, Alexander Homomorphisms and inverse homomorphisms on graph-walking automata. (English) Zbl 07755516 Theor. Comput. Sci. 979, Article ID 114197, 15 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{O. Martynova} and \textit{A. Okhotin}, Theor. Comput. Sci. 979, Article ID 114197, 15 p. (2023; Zbl 07755516) Full Text: DOI
Drewes, Frank; Mörbitz, Richard; Vogler, Heiko Hybrid tree automata and the yield theorem for constituent tree automata. (English) Zbl 07755513 Theor. Comput. Sci. 979, Article ID 114185, 17 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Drewes} et al., Theor. Comput. Sci. 979, Article ID 114185, 17 p. (2023; Zbl 07755513) Full Text: DOI
Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. (English) Zbl 07754282 New York, NY: Association for Computing Machinery (ACM) (ISBN 979-8-4007-0033-0). xi, 30 articles, not consecutively paged (2023). MSC: 68-06 93-06 68Q45 68Q60 93C30 00B25 PDFBibTeX XMLCite Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM) (2023; Zbl 07754282) Full Text: DOI
Lambert, Dakotah Relativized adjacency. (English) Zbl 07753647 J. Logic Lang. Inf. 32, No. 4, 707-731 (2023). MSC: 68Q19 68Q45 68Q70 20M35 PDFBibTeX XMLCite \textit{D. Lambert}, J. Logic Lang. Inf. 32, No. 4, 707--731 (2023; Zbl 07753647) Full Text: DOI
Gezer, M. Utkan; Dolu, Özdeniz; Ersoy, Nevzat; Say, A. C. Cem Real-time, constant-space, constant-randomness verifiers. (English) Zbl 07751502 Theor. Comput. Sci. 976, Article ID 114155, 10 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. U. Gezer} et al., Theor. Comput. Sci. 976, Article ID 114155, 10 p. (2023; Zbl 07751502) Full Text: DOI
Haah, Jeongwan Invertible subalgebras. (English) Zbl 07746826 Commun. Math. Phys. 403, No. 2, 661-698 (2023). MSC: 81Q35 46J30 46B07 81V27 70H05 20K01 37B15 PDFBibTeX XMLCite \textit{J. Haah}, Commun. Math. Phys. 403, No. 2, 661--698 (2023; Zbl 07746826) Full Text: DOI arXiv
Gustafson, Paul; Im, Mee Seong; Kaldawy, Remy; Khovanov, Mikhail; Lihn, Zachary Automata and one-dimensional TQFTs with defects. (English) Zbl 07743387 Lett. Math. Phys. 113, No. 5, Paper No. 93, 38 p. (2023). MSC: 57K16 68Q45 18M10 18M30 06A12 68Q70 18B20 PDFBibTeX XMLCite \textit{P. Gustafson} et al., Lett. Math. Phys. 113, No. 5, Paper No. 93, 38 p. (2023; Zbl 07743387) Full Text: DOI arXiv
Bruse, Florian; Lange, Martin The tail-recursive fragment of timed recursive CTL. (English) Zbl 07742415 Inf. Comput. 294, Article ID 105084, 18 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Bruse} and \textit{M. Lange}, Inf. Comput. 294, Article ID 105084, 18 p. (2023; Zbl 07742415) Full Text: DOI
Freden, Eric; Martinsen, Kevin EDT0L grammars with only one variable have tractable generating functions. (English) Zbl 07736927 RAIRO, Theor. Inform. Appl. 57, Paper No. 6, 14 p. (2023). MSC: 68Q70 68R15 PDFBibTeX XMLCite \textit{E. Freden} and \textit{K. Martinsen}, RAIRO, Theor. Inform. Appl. 57, Paper No. 6, 14 p. (2023; Zbl 07736927) Full Text: DOI
Kalinin, Nikita Sandpile solitons in higher dimensions. (English) Zbl 07736691 Arnold Math. J. 9, No. 3, 435-454 (2023). Reviewer: Mikhail Shkolnikov (Sofia) MSC: 37B15 31A05 35B36 14T99 14M25 60K35 PDFBibTeX XMLCite \textit{N. Kalinin}, Arnold Math. J. 9, No. 3, 435--454 (2023; Zbl 07736691) Full Text: DOI arXiv
Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma; Reis, Rogério Approximate NFA universality and related problems motivated by information theory. (English) Zbl 1520.68061 Theor. Comput. Sci. 972, Article ID 114076, 16 p. (2023). MSC: 68Q45 68P30 68Q17 68W20 68W25 PDFBibTeX XMLCite \textit{S. Konstantinidis} et al., Theor. Comput. Sci. 972, Article ID 114076, 16 p. (2023; Zbl 1520.68061) Full Text: DOI
Singh, Jagdev (ed.); Anastassiou, George A. (ed.); Baleanu, Dumitru (ed.); Kumar, Devendra (ed.) Advances in mathematical modelling, applied analysis and computation. Proceedings of the fifth conference, ICMMAAC 2022, JECRC University, Jaipur, India, August 4–6, 2022. (English) Zbl 1522.00199 Lecture Notes in Networks and Systems 666. Cham: Springer (ISBN 978-3-031-29958-2/pbk; 978-3-031-29959-9/ebook). viii, 580 p. (2023). MSC: 00B25 00A71 35-06 34-06 68Q80 03E72 PDFBibTeX XMLCite \textit{J. Singh} (ed.) et al., Advances in mathematical modelling, applied analysis and computation. Proceedings of the fifth conference, ICMMAAC 2022, JECRC University, Jaipur, India, August 4--6, 2022. Cham: Springer (2023; Zbl 1522.00199) Full Text: DOI
Goldbring, Isaac; Kunnawalkam Elayavalli, Srivatsav; Lodha, Yash Generic algebraic properties in spaces of enumerated groups. (English) Zbl 1522.20127 Trans. Am. Math. Soc. 376, No. 9, 6245-6282 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20F10 03E15 03C15 03C25 03C57 03C60 06F15 20F60 PDFBibTeX XMLCite \textit{I. Goldbring} et al., Trans. Am. Math. Soc. 376, No. 9, 6245--6282 (2023; Zbl 1522.20127) Full Text: DOI arXiv
Coons, Michael; Evans, James; Groth, Zachary; Mañibo, Neil Zaremba, Salem and the fractal nature of ghost distributions. (English) Zbl 07731648 Bull. Aust. Math. Soc. 107, No. 3, 374-389 (2023). MSC: 11K55 11B85 28A80 PDFBibTeX XMLCite \textit{M. Coons} et al., Bull. Aust. Math. Soc. 107, No. 3, 374--389 (2023; Zbl 07731648) Full Text: DOI
Kupferman, Orna; Petruschka, Asaf Lazy regular sensing. (English) Zbl 07729836 Theor. Comput. Sci. 971, Article ID 114057, 13 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{A. Petruschka}, Theor. Comput. Sci. 971, Article ID 114057, 13 p. (2023; Zbl 07729836) Full Text: DOI
Pighizzini, Giovanni; Prigioniero, Luca Pushdown and one-counter automata: constant and non-constant memory usage. (English) Zbl 07729464 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, 146-157 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{G. Pighizzini} and \textit{L. Prigioniero}, Lect. Notes Comput. Sci. 13918, 146--157 (2023; Zbl 07729464) Full Text: DOI
Holzer, Markus; Rauch, Christian On Jaffe’s pumping lemma, revisited. (English) Zbl 07729458 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, 65-78 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Holzer} and \textit{C. Rauch}, Lect. Notes Comput. Sci. 13918, 65--78 (2023; Zbl 07729458) Full Text: DOI
Henriksson, Viktor; Kufleitner, Manfred Forbidden patterns for \(\mathrm{FO}^2\) alternation over finite and infinite words. (English) Zbl 07727034 Int. J. Found. Comput. Sci. 34, No. 2-3, 183-224 (2023). MSC: 68Q45 03C13 68Q19 PDFBibTeX XMLCite \textit{V. Henriksson} and \textit{M. Kufleitner}, Int. J. Found. Comput. Sci. 34, No. 2--3, 183--224 (2023; Zbl 07727034) Full Text: DOI arXiv
Funk, Daryl; Mayhew, Dillon; Newman, Mike Tree automata and pigeonhole classes of matroids. II. (English) Zbl 07725122 Electron. J. Comb. 30, No. 3, Research Paper P3.6, 34 p. (2023). MSC: 68Q45 03D05 05B35 PDFBibTeX XMLCite \textit{D. Funk} et al., Electron. J. Comb. 30, No. 3, Research Paper P3.6, 34 p. (2023; Zbl 07725122) Full Text: DOI arXiv
Goldwurm, Massimiliano; Lin, Jianyi; Vignati, Marco Local limit laws for symbol statistics in bicomponent rational models. (English) Zbl 07723911 Theor. Comput. Sci. 970, Article ID 114051, 18 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Goldwurm} et al., Theor. Comput. Sci. 970, Article ID 114051, 18 p. (2023; Zbl 07723911) Full Text: DOI arXiv
Casse, Jérôme Ergodicity of some probabilistic cellular automata with binary alphabet via random walks. (English) Zbl 07721264 Electron. J. Probab. 28, Paper No. 87, 17 p. (2023). MSC: 60K35 60J05 37B15 37A50 PDFBibTeX XMLCite \textit{J. Casse}, Electron. J. Probab. 28, Paper No. 87, 17 p. (2023; Zbl 07721264) Full Text: DOI arXiv
Jain, A.; Leeratanavalee, S.; Jain, S.; Petalcorin, G. C. jun. Semigroup and monoid structures of \(\beta\)-languages. (English) Zbl 1516.68045 J. Algebra Appl. Math. 21, No. 2, 111-121 (2023). MSC: 68Q45 68Q42 68Q70 PDFBibTeX XMLCite \textit{A. Jain} et al., J. Algebra Appl. Math. 21, No. 2, 111--121 (2023; Zbl 1516.68045) Full Text: Link
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice Iterated uniform finite-state transducers on unary languages. (English) Zbl 07720780 Theor. Comput. Sci. 969, Article ID 114049, 17 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Kutrib} et al., Theor. Comput. Sci. 969, Article ID 114049, 17 p. (2023; Zbl 07720780) Full Text: DOI
Bello, Jason; Sivakoff, David J. Cyclic cellular automata and Greenberg-Hastings models on regular trees. (English) Zbl 07720499 Ann. Appl. Probab. 33, No. 4, 3080-3097 (2023). MSC: 60K35 37B15 PDFBibTeX XMLCite \textit{J. Bello} and \textit{D. J. Sivakoff}, Ann. Appl. Probab. 33, No. 4, 3080--3097 (2023; Zbl 07720499) Full Text: DOI arXiv Link
Bhaskar, Siddharth; Kop, Cynthia; Simonsen, Jakob Grue Subclasses of Ptime interpreted by programming languages. (English) Zbl 07719393 Theory Comput. Syst. 67, No. 3, 437-472 (2023). MSC: 68Qxx 03Dxx 68Nxx PDFBibTeX XMLCite \textit{S. Bhaskar} et al., Theory Comput. Syst. 67, No. 3, 437--472 (2023; Zbl 07719393) Full Text: DOI
Costa, Alfredo A profinite approach to complete bifix decodings of recurrent languages. (English) Zbl 1521.20120 Forum Math. 35, No. 4, 1021-1045 (2023). MSC: 20M05 68Q70 94B35 20E18 37B10 PDFBibTeX XMLCite \textit{A. Costa}, Forum Math. 35, No. 4, 1021--1045 (2023; Zbl 1521.20120) Full Text: DOI arXiv
MacDonald, Sophie The road problem and homomorphisms of directed graphs. (English) Zbl 07715623 Theor. Comput. Sci. 968, Article ID 113981, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. MacDonald}, Theor. Comput. Sci. 968, Article ID 113981, 20 p. (2023; Zbl 07715623) Full Text: DOI arXiv
Camina, Rachel D.; Cocke, William L.; Thillaisundaram, Anitha The Amit-Ashurst conjecture for finite metacyclic \(p\)-groups. (English) Zbl 1520.20076 Eur. J. Math. 9, No. 3, Paper No. 46, 13 p. (2023). Reviewer: Marco Trombetti (Napoli) MSC: 20F10 20D15 20P05 PDFBibTeX XMLCite \textit{R. D. Camina} et al., Eur. J. Math. 9, No. 3, Paper No. 46, 13 p. (2023; Zbl 1520.20076) Full Text: DOI arXiv
Dai, Songsong Quaternionic quantum automata. (English) Zbl 1527.81031 Int. J. Quantum Inf. 21, No. 4, Article ID 2350017, 10 p. (2023). MSC: 81P68 68Q12 16H05 47S05 PDFBibTeX XMLCite \textit{S. Dai}, Int. J. Quantum Inf. 21, No. 4, Article ID 2350017, 10 p. (2023; Zbl 1527.81031) Full Text: DOI
Maraj, Aida; Nagel, Uwe Shift invariant algebras, Segre products and regular languages. (English) Zbl 1522.13042 J. Algebra 631, 236-266 (2023). Reviewer: Alessandro Gimigliano (Bologna) MSC: 13P25 13D40 13A02 PDFBibTeX XMLCite \textit{A. Maraj} and \textit{U. Nagel}, J. Algebra 631, 236--266 (2023; Zbl 1522.13042) Full Text: DOI arXiv
Shamsizadeh, Marzieh; Zahedi, Mohammad Mehdi; Abolpour, Khadijeh Reduction of BL-general L-fuzzy automata. (English) Zbl 1524.68177 Iran. J. Math. Sci. Inform. 18, No. 1, 131-144 (2023). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{M. Shamsizadeh} et al., Iran. J. Math. Sci. Inform. 18, No. 1, 131--144 (2023; Zbl 1524.68177) Full Text: Link
Abolpour, Kh.; Zahedi, M. M.; Shamsizadeh, M. Lattice-valued general orthomodular automata. (English) Zbl 07702219 Int. J. Theor. Phys. 62, No. 1, Paper No. 13, 19 p. (2023). MSC: 68Qxx 81Pxx 06Cxx PDFBibTeX XMLCite \textit{Kh. Abolpour} et al., Int. J. Theor. Phys. 62, No. 1, Paper No. 13, 19 p. (2023; Zbl 07702219) Full Text: DOI
Mitchell, James D.; Tsalakou, Maria An explicit algorithm for normal forms in small overlap monoids. (English) Zbl 1517.20082 J. Algebra 630, 394-433 (2023). MSC: 20M05 20-04 20M35 68Q25 PDFBibTeX XMLCite \textit{J. D. Mitchell} and \textit{M. Tsalakou}, J. Algebra 630, 394--433 (2023; Zbl 1517.20082) Full Text: DOI arXiv
Kumduang, Thodsaporn; Sriwongsa, Songpon Superassociative structures of terms and formulas defined by transformations preserving a partition. (English) Zbl 07700044 Commun. Algebra 51, No. 8, 3203-3220 (2023). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 03C05 08A02 20M35 68Q70 PDFBibTeX XMLCite \textit{T. Kumduang} and \textit{S. Sriwongsa}, Commun. Algebra 51, No. 8, 3203--3220 (2023; Zbl 07700044) Full Text: DOI
Kutrib, Martin; Wendlandt, Matthias State complexity of finite partial languages. (English) Zbl 07699969 Theor. Comput. Sci. 966-967, Article ID 114001, 11 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Kutrib} and \textit{M. Wendlandt}, Theor. Comput. Sci. 966--967, Article ID 114001, 11 p. (2023; Zbl 07699969) Full Text: DOI
Kutrib, Martin; Meyer, Uwe Syntax checking either way. (English) Zbl 07699968 Theor. Comput. Sci. 966-967, Article ID 114000, 11 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Kutrib} and \textit{U. Meyer}, Theor. Comput. Sci. 966--967, Article ID 114000, 11 p. (2023; Zbl 07699968) Full Text: DOI
Chalopin, Jérémie; Chepoi, Victor; Giocanti, Ugo Graphs with convex balls. (English) Zbl 1519.05063 Geom. Dedicata 217, No. 4, Paper No. 67, 52 p. (2023). MSC: 05C12 20F10 20F67 51K05 PDFBibTeX XMLCite \textit{J. Chalopin} et al., Geom. Dedicata 217, No. 4, Paper No. 67, 52 p. (2023; Zbl 1519.05063) Full Text: DOI arXiv
Hanany, Liam; Puder, Doron Word measures on symmetric groups. (English) Zbl 1522.20016 Int. Math. Res. Not. 2023, No. 11, 9221-9297 (2023). Reviewer: Mihály Szalay (Budapest) MSC: 20B30 20E05 20F10 05A05 05C25 20P05 20B05 20C30 PDFBibTeX XMLCite \textit{L. Hanany} and \textit{D. Puder}, Int. Math. Res. Not. 2023, No. 11, 9221--9297 (2023; Zbl 1522.20016) Full Text: DOI
Lacker, Daniel; Ramanan, Kavita; Wu, Ruoyu Local weak convergence for sparse networks of interacting processes. (English) Zbl 1525.60114 Ann. Appl. Probab. 33, No. 2, 843-888 (2023). MSC: 60K35 60J05 60J60 60J80 60F17 60B10 82C22 PDFBibTeX XMLCite \textit{D. Lacker} et al., Ann. Appl. Probab. 33, No. 2, 843--888 (2023; Zbl 1525.60114) Full Text: DOI arXiv
Bertrand, Nathalie; Francon, Hugo; Markey, Nicolas Synchronizing words under LTL constraints. (English) Zbl 07691951 Inf. Process. Lett. 182, Article ID 106392, 7 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Bertrand} et al., Inf. Process. Lett. 182, Article ID 106392, 7 p. (2023; Zbl 07691951) Full Text: DOI
Ganardi, Moses; Lohrey, Markus; Zetzsche, Georg Knapsack and the power word problem in solvable Baumslag-Solitar groups. (English) Zbl 1516.20066 Int. J. Algebra Comput. 33, No. 3, 617-639 (2023). Reviewer: Enrico Jabara (Venezia) MSC: 20F10 68Q06 68Q17 PDFBibTeX XMLCite \textit{M. Ganardi} et al., Int. J. Algebra Comput. 33, No. 3, 617--639 (2023; Zbl 1516.20066) Full Text: DOI
Guimarães, Inês F. On the transition monoid of the Stallings automaton of a subgroup of a free group. (English) Zbl 1527.20046 Int. J. Algebra Comput. 33, No. 3, 445-479 (2023). MSC: 20F10 20E07 20M07 20M35 20E36 68Q45 20E05 PDFBibTeX XMLCite \textit{I. F. Guimarães}, Int. J. Algebra Comput. 33, No. 3, 445--479 (2023; Zbl 1527.20046) Full Text: DOI arXiv
Jia, Weizhen; Karydas, Manthos; Leigh, Robert G. Weyl-ambient geometries. (English) Zbl 07689132 Nucl. Phys., B 991, Article ID 116224, 43 p. (2023). MSC: 81S30 30C35 03D05 53C18 81T35 PDFBibTeX XMLCite \textit{W. Jia} et al., Nucl. Phys., B 991, Article ID 116224, 43 p. (2023; Zbl 07689132) Full Text: DOI arXiv
Khadieva, A.; Ziatdinov, M. Deterministic construction of QFAs based on the quantum fingerprinting technique. (English) Zbl 07688854 Lobachevskii J. Math. 44, No. 2, 713-723 (2023). MSC: 68Qxx 81Pxx 68Wxx PDFBibTeX XMLCite \textit{A. Khadieva} and \textit{M. Ziatdinov}, Lobachevskii J. Math. 44, No. 2, 713--723 (2023; Zbl 07688854) Full Text: DOI arXiv