Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio Composition of synchronous communicating systems. (English) Zbl 07741956 J. Log. Algebr. Methods Program. 135, Article ID 100890, 33 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 135, Article ID 100890, 33 p. (2023; Zbl 07741956) Full Text: DOI
Bogopolski, Oleg; Ivanov, Aleksander Decidability problem for exponential equations in finitely presented groups. (English) Zbl 07741828 Can. Math. Bull. 66, No. 3, 731-748 (2023). MSC: 20F10 20F70 20F05 PDF BibTeX XML Cite \textit{O. Bogopolski} and \textit{A. Ivanov}, Can. Math. Bull. 66, No. 3, 731--748 (2023; Zbl 07741828) Full Text: DOI
Francoeur, Dominik Bireversible automata generating lamplighter groups. (English) Zbl 07738033 Bull. Lond. Math. Soc. 55, No. 2, 990-997 (2023). MSC: 20F65 20E08 20F10 PDF BibTeX XML Cite \textit{D. Francoeur}, Bull. Lond. Math. Soc. 55, No. 2, 990--997 (2023; Zbl 07738033) Full Text: DOI arXiv
Belk, James; Matucci, Francesco Conjugator length in Thompson’s groups. (English) Zbl 07738019 Bull. Lond. Math. Soc. 55, No. 2, 793-810 (2023). MSC: 20F10 20E45 20F65 PDF BibTeX XML Cite \textit{J. Belk} and \textit{F. Matucci}, Bull. Lond. Math. Soc. 55, No. 2, 793--810 (2023; Zbl 07738019) Full Text: DOI arXiv
Perrin, Dominique; Reutenauer, Christophe The palindromization map. (English) Zbl 07737620 Discrete Appl. Math. 340, 202-214 (2023). MSC: 68Qxx 68Rxx 68Pxx PDF BibTeX XML Cite \textit{D. Perrin} and \textit{C. Reutenauer}, Discrete Appl. Math. 340, 202--214 (2023; Zbl 07737620) Full Text: DOI arXiv
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 PDF BibTeX XML Cite \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). MSC: 37B15 31A05 14T05 28A80 35B36 PDF BibTeX XML Cite \textit{N. Kalinin}, Arnold Math. J. 9, No. 3, 435--454 (2023; Zbl 07736691) Full Text: DOI arXiv
Jing, Dian; Yao, Enjian; Chen, Rongsheng Moving characteristics analysis of mixed traffic flow of CAVs and HVs around accident zones. (English) Zbl 07735675 Physica A 626, Article ID 129085, 14 p. (2023). MSC: 82-XX PDF BibTeX XML Cite \textit{D. Jing} et al., Physica A 626, Article ID 129085, 14 p. (2023; Zbl 07735675) Full Text: DOI
Izhakian, Zur; Merlet, Glenn Tropical linear representations of the Chinese monoid. (English) Zbl 07735203 Semigroup Forum 107, No. 1, 144-157 (2023). Reviewer: Thodsaporn Kumduang (Nakhon Pathom) MSC: 20M05 05E10 68Q70 68R15 08A05 PDF BibTeX XML Cite \textit{Z. Izhakian} and \textit{G. Merlet}, Semigroup Forum 107, No. 1, 144--157 (2023; Zbl 07735203) Full Text: DOI arXiv
Fujishige, Yuta; Tsujimaru, Yuki; Inenaga, Shunsuke; Bannai, Hideo; Takeda, Masayuki Linear-time computation of DAWGs, symmetric indexing structures, and MAWs for integer alphabets. (English) Zbl 07735131 Theor. Comput. Sci. 973, Article ID 114093, 16 p. (2023). MSC: 68W32 68P05 68Q45 PDF BibTeX XML Cite \textit{Y. Fujishige} et al., Theor. Comput. Sci. 973, Article ID 114093, 16 p. (2023; Zbl 07735131) Full Text: DOI arXiv
Kim, Sungmin; Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai On Simon’s congruence closure of a string. (English) Zbl 07735123 Theor. Comput. Sci. 972, Article ID 114078, 14 p. (2023). MSC: 68Q45 68W32 PDF BibTeX XML Cite \textit{S. Kim} et al., Theor. Comput. Sci. 972, Article ID 114078, 14 p. (2023; Zbl 07735123) Full Text: DOI
Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma; Reis, Rogério Approximate NFA universality and related problems motivated by information theory. (English) Zbl 07735121 Theor. Comput. Sci. 972, Article ID 114076, 16 p. (2023). MSC: 68Q45 68P30 68Q17 68W20 68W25 PDF BibTeX XML Cite \textit{S. Konstantinidis} et al., Theor. Comput. Sci. 972, Article ID 114076, 16 p. (2023; Zbl 07735121) Full Text: DOI
Hospodár, Michal; Olejár, Viktor Nondeterministic operational complexity in subregular languages. (English) Zbl 07735120 Theor. Comput. Sci. 972, Article ID 114075, 23 p. (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Hospodár} and \textit{V. Olejár}, Theor. Comput. Sci. 972, Article ID 114075, 23 p. (2023; Zbl 07735120) Full Text: DOI
Phung, Xuan Kien On images of subshifts under embeddings of symbolic varieties. (English) Zbl 07732819 Ergodic Theory Dyn. Syst. 43, No. 9, 3131-3149 (2023). MSC: 37B10 37B15 68Q80 14A10 14L10 37B51 PDF BibTeX XML Cite \textit{X. K. Phung}, Ergodic Theory Dyn. Syst. 43, No. 9, 3131--3149 (2023; Zbl 07732819) Full Text: DOI arXiv
Hasanbeig, Hosein; Kroening, Daniel; Abate, Alessandro Certified reinforcement learning with logic guidance. (English) Zbl 07732224 Artif. Intell. 322, Article ID 103949, 22 p. (2023). MSC: 68Txx PDF BibTeX XML Cite \textit{H. Hasanbeig} et al., Artif. Intell. 322, Article ID 103949, 22 p. (2023; Zbl 07732224) Full Text: DOI arXiv
Goldbring, Isaac; Elayavalli, Srivatsav Kunnawalkam; Lodha, Yash Generic algebraic properties in spaces of enumerated groups. (English) Zbl 07731986 Trans. Am. Math. Soc. 376, No. 9, 6245-6282 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20F10 03E15 03C15 03C25 20F60 PDF BibTeX XML Cite \textit{I. Goldbring} et al., Trans. Am. Math. Soc. 376, No. 9, 6245--6282 (2023; Zbl 07731986) Full Text: DOI arXiv
Doleschal, Johannes; Kimelfeld, Benny; Martens, Wim The complexity of aggregates over extractions by regular expressions. (English) Zbl 07731940 Log. Methods Comput. Sci. 19, No. 3, Paper No. 12, 49 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{J. Doleschal} et al., Log. Methods Comput. Sci. 19, No. 3, Paper No. 12, 49 p. (2023; Zbl 07731940) Full Text: DOI arXiv
Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain Optimal controller synthesis for timed systems. (English) Zbl 07731909 Log. Methods Comput. Sci. 19, No. 1, Paper No. 20, 77 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Busatto-Gaston} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 20, 77 p. (2023; Zbl 07731909) 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: 11B85 28A80 PDF BibTeX XML Cite \textit{M. Coons} et al., Bull. Aust. Math. Soc. 107, No. 3, 374--389 (2023; Zbl 07731648) Full Text: DOI
Alaniz, Robert M.; Caballero, David; Cirlos, Sonya C.; Gomez, Timothy; Grizzell, Elise; Rodriguez, Andrew; Schweller, Robert; Tenorio, Armando; Wylie, Tim Building squares with optimal state complexity in restricted active self-assembly. (English) Zbl 07730241 J. Comput. Syst. Sci. 138, Article ID 103462, 20 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{R. M. Alaniz} et al., J. Comput. Syst. Sci. 138, Article ID 103462, 20 p. (2023; Zbl 07730241) Full Text: DOI arXiv
Bridoux, Florian; Perrot, Kévin; Marchetto, Aymeric Picard; Richard, Adrien Interaction graphs of isomorphic automata networks. I: Complete digraph and minimum in-degree. (English) Zbl 07730237 J. Comput. Syst. Sci. 138, Article ID 103458, 16 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{F. Bridoux} et al., J. Comput. Syst. Sci. 138, Article ID 103458, 16 p. (2023; Zbl 07730237) Full Text: DOI arXiv
Kupferman, Orna; Petruschka, Asaf Lazy regular sensing. (English) Zbl 07729836 Theor. Comput. Sci. 971, Article ID 114057, 13 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{M. Holzer} and \textit{C. Rauch}, Lect. Notes Comput. Sci. 13918, 65--78 (2023; Zbl 07729458) Full Text: DOI
Bognini, K. Ernest; Kaboré, Idrissa; Ouedraogo, B. Thomas Square completion operation of maximal suffix in Fibonacci word. (English) Zbl 07727313 Adv. Appl. Discrete Math. 39, No. 1, 99-115 (2023). MSC: 68R15 11B85 68Q45 PDF BibTeX XML Cite \textit{K. E. Bognini} et al., Adv. Appl. Discrete Math. 39, No. 1, 99--115 (2023; Zbl 07727313) Full Text: DOI
Kaboré, Idrissa; Kientéga, Boucaré; Nana, Mahamadi Recurrence function of the ternary Thue-Morse word. (English) Zbl 07727309 Adv. Appl. Discrete Math. 39, No. 1, 43-72 (2023). MSC: 68R15 11B85 PDF BibTeX XML Cite \textit{I. Kaboré} et al., Adv. Appl. Discrete Math. 39, No. 1, 43--72 (2023; Zbl 07727309) Full Text: DOI
Ishibashi, Hiroyuki Correspondence between local maps and global maps in cellular automata. (English) Zbl 07727225 JP J. Geom. Topol. 29, No. 2, 121-151 (2023). MSC: 37B15 68Q80 PDF BibTeX XML Cite \textit{H. Ishibashi}, JP J. Geom. Topol. 29, No. 2, 121--151 (2023; Zbl 07727225) Full Text: DOI
Mrykhin, Mikhail; Okhotin, Alexander The hardest \(\operatorname{LL}(k)\) language. (English) Zbl 07727037 Int. J. Found. Comput. Sci. 34, No. 2-3, 289-319 (2023). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{M. Mrykhin} and \textit{A. Okhotin}, Int. J. Found. Comput. Sci. 34, No. 2--3, 289--319 (2023; Zbl 07727037) Full Text: DOI
Maneth, Sebastian; Seidl, Helmut; Vu, Martin Definability results for top-down tree transducers. (English) Zbl 07727036 Int. J. Found. Comput. Sci. 34, No. 2-3, 253-287 (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Maneth} et al., Int. J. Found. Comput. Sci. 34, No. 2--3, 253--287 (2023; Zbl 07727036) Full Text: DOI
Kutrib, Martin; Meyer, Uwe Reversible top-down syntax analysis. (English) Zbl 07727035 Int. J. Found. Comput. Sci. 34, No. 2-3, 225-251 (2023). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{M. Kutrib} and \textit{U. Meyer}, Int. J. Found. Comput. Sci. 34, No. 2--3, 225--251 (2023; Zbl 07727035) 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 PDF BibTeX XML Cite \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
Halava, Vesa; Harju, Tero; Niskanen, Reino; Potapov, Igor Integer weighted automata on infinite words. (English) Zbl 07727033 Int. J. Found. Comput. Sci. 34, No. 2-3, 163-182 (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Halava} et al., Int. J. Found. Comput. Sci. 34, No. 2--3, 163--182 (2023; Zbl 07727033) Full Text: DOI
Frei, Fabian; Hromkovič, Juraj; Královič, Rastislav; Královič, Richard Two-way non-uniform finite automata. (English) Zbl 07727032 Int. J. Found. Comput. Sci. 34, No. 2-3, 145-162 (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. Frei} et al., Int. J. Found. Comput. Sci. 34, No. 2--3, 145--162 (2023; Zbl 07727032) Full Text: DOI
Edixhoven, Luc; Jongmans, Sung-Shik Balanced-by-construction regular and \(\omega\)-regular languages. (English) Zbl 07727031 Int. J. Found. Comput. Sci. 34, No. 2-3, 117-144 (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{L. Edixhoven} and \textit{S.-S. Jongmans}, Int. J. Found. Comput. Sci. 34, No. 2--3, 117--144 (2023; Zbl 07727031) Full Text: DOI
Cambie, Stijn; de Bondt, Michiel; Don, Henk Extremal binary PFAs with small number of states. (English) Zbl 07727030 Int. J. Found. Comput. Sci. 34, No. 2-3, 85-115 (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Cambie} et al., Int. J. Found. Comput. Sci. 34, No. 2--3, 85--115 (2023; Zbl 07727030) Full Text: DOI arXiv
Moreira, Nelma (ed.); Reis, Rogéxrio (ed.) Preface: Special issue: 25th international conference on developments in language theory (DLT 2021). (English) Zbl 1517.68025 Int. J. Found. Comput. Sci. 34, No. 2-3, 81-83 (2023). MSC: 68-06 68Q45 00B25 PDF BibTeX XML Cite \textit{N. Moreira} (ed.) and \textit{R. Reis} (ed.), Int. J. Found. Comput. Sci. 34, No. 2--3, 81--83 (2023; Zbl 1517.68025) Full Text: DOI
Ammar, Hamdi; Sellami, Tarek Kernel words and factorization of the \(k\)-bonacci sequence. (English) Zbl 07726363 Indian J. Pure Appl. Math. 54, No. 3, 816-823 (2023). MSC: 28A80 11B85 37B10 68Q45 PDF BibTeX XML Cite \textit{H. Ammar} and \textit{T. Sellami}, Indian J. Pure Appl. Math. 54, No. 3, 816--823 (2023; Zbl 07726363) Full Text: DOI
Tang, Jian; Kumar, Siddhant; De Lorenzis, Laura; Hosseini, Ehsan Neural cellular automata for solidification microstructure modelling. (English) Zbl 07725727 Comput. Methods Appl. Mech. Eng. 414, Article ID 116197, 19 p. (2023). MSC: 68-XX 92-XX PDF BibTeX XML Cite \textit{J. Tang} et al., Comput. Methods Appl. Mech. Eng. 414, Article ID 116197, 19 p. (2023; Zbl 07725727) 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{M. Goldwurm} et al., Theor. Comput. Sci. 970, Article ID 114051, 18 p. (2023; Zbl 07723911) Full Text: DOI arXiv
Jain, A.; Jain, S.; Ghazwani, H.; Petalcorin, Gaudencio C. jun. On pseudo-deterministic virtual finite automaton (PDVFA) of order \((s, t)\). (English) Zbl 07723593 J. Anal. Appl. 21, No. 1, 37-63 (2023). MSC: 68T99 68Q45 PDF BibTeX XML Cite \textit{A. Jain} et al., J. Anal. Appl. 21, No. 1, 37--63 (2023; Zbl 07723593) Full Text: Link
Terry-Jack, Mohammed; O’Keefe, Simon Classifying 1D elementary cellular automata with the 0-1 test for chaos. (English) Zbl 07722796 Physica D 453, Article ID 133786, 15 p. (2023). MSC: 37-XX PDF BibTeX XML Cite \textit{M. Terry-Jack} and \textit{S. O'Keefe}, Physica D 453, Article ID 133786, 15 p. (2023; Zbl 07722796) Full Text: DOI
Miyanohara, E. An arithmetical property of the real numbers generated by Thue-Morse sequence along squares. (English) Zbl 07722716 Acta Math. Hung. 170, No. 1, 430-435 (2023). MSC: 11B85 11J72 PDF BibTeX XML Cite \textit{E. Miyanohara}, Acta Math. Hung. 170, No. 1, 430--435 (2023; Zbl 07722716) Full Text: DOI
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 PDF BibTeX XML Cite \textit{J. Casse}, Electron. J. Probab. 28, Paper No. 87, 17 p. (2023; Zbl 07721264) Full Text: DOI arXiv
Lopez, Luis-Miguel; Narbel, Philippe Non-injectivity of infinite interval exchange transformations and generalized Thue-Morse sequences. (English) Zbl 07721221 Discrete Contin. Dyn. Syst. 43, No. 9, 3286-3305 (2023). MSC: 37E05 37B10 37A05 68Q45 PDF BibTeX XML Cite \textit{L.-M. Lopez} and \textit{P. Narbel}, Discrete Contin. Dyn. Syst. 43, No. 9, 3286--3305 (2023; Zbl 07721221) 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 PDF BibTeX XML Cite \textit{A. Jain} et al., J. Algebra Appl. Math. 21, No. 2, 111--121 (2023; Zbl 1516.68045) Full Text: Link
Jain, A.; Jain, S.; Ghazwani, H.; Petalcorin, G. C. jun. Formulation of \(\beta\)-language from the semi-deterministic pushdown automata (SDPDA) of order \(n\). (English) Zbl 1516.68044 J. Algebra Appl. Math. 21, No. 1, 35-52 (2023). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{A. Jain} et al., J. Algebra Appl. Math. 21, No. 1, 35--52 (2023; Zbl 1516.68044) 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 PDF BibTeX XML Cite \textit{M. Kutrib} et al., Theor. Comput. Sci. 969, Article ID 114049, 17 p. (2023; Zbl 07720780) Full Text: DOI
Balun, Jiří; Masopust, Tomáš Verifying weak and strong \(k\)-step opacity in discrete-event systems. (English) Zbl 07720576 Automatica 155, Article ID 111153, 12 p. (2023). MSC: 93C65 93B07 37B15 PDF BibTeX XML Cite \textit{J. Balun} and \textit{T. Masopust}, Automatica 155, Article ID 111153, 12 p. (2023; Zbl 07720576) Full Text: DOI arXiv
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 PDF BibTeX XML Cite \textit{J. Bello} and \textit{D. J. Sivakoff}, Ann. Appl. Probab. 33, No. 4, 3080--3097 (2023; Zbl 07720499) Full Text: DOI arXiv Link
Sobolewski, Bartosz On \(k\)-regularity of sequences of valuations and last non-zero digits. (English) Zbl 07720229 Ramanujan J. 61, No. 4, 1151-1195 (2023). MSC: 11A63 11B85 11B39 PDF BibTeX XML Cite \textit{B. Sobolewski}, Ramanujan J. 61, No. 4, 1151--1195 (2023; Zbl 07720229) Full Text: DOI arXiv
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 PDF BibTeX XML Cite \textit{S. Bhaskar} et al., Theory Comput. Syst. 67, No. 3, 437--472 (2023; Zbl 07719393) Full Text: DOI
Tahay, Pierre-Adrien Characteristic sequences of the sets of sums of squares as columns of cellular automata. (English) Zbl 07716998 Frid, Anna (ed.) et al., Combinatorics on words. 14th international conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13899, 288-300 (2023). MSC: 68R15 PDF BibTeX XML Cite \textit{P.-A. Tahay}, Lect. Notes Comput. Sci. 13899, 288--300 (2023; Zbl 07716998) Full Text: DOI
Béaur, Pierre; Hellouin de Menibus, Benjamin Sturmian and infinitely desubstitutable words accepted by an \(\omega \) -automaton. (English) Zbl 07716984 Frid, Anna (ed.) et al., Combinatorics on words. 14th international conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13899, 104-116 (2023). MSC: 68R15 PDF BibTeX XML Cite \textit{P. Béaur} and \textit{B. Hellouin de Menibus}, Lect. Notes Comput. Sci. 13899, 104--116 (2023; Zbl 07716984) Full Text: DOI arXiv
Charlier, Émilie Alternate base numeration systems. (English) Zbl 07716977 Frid, Anna (ed.) et al., Combinatorics on words. 14th international conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13899, 14-34 (2023). MSC: 68R15 PDF BibTeX XML Cite \textit{É. Charlier}, Lect. Notes Comput. Sci. 13899, 14--34 (2023; Zbl 07716977) Full Text: DOI
Costa, Alfredo A profinite approach to complete bifix decodings of recurrent languages. (English) Zbl 07715919 Forum Math. 35, No. 4, 1021-1045 (2023). MSC: 20M05 68Q70 94B35 20E18 37B10 PDF BibTeX XML Cite \textit{A. Costa}, Forum Math. 35, No. 4, 1021--1045 (2023; Zbl 07715919) 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 PDF BibTeX XML Cite \textit{S. MacDonald}, Theor. Comput. Sci. 968, Article ID 113981, 20 p. (2023; Zbl 07715623) Full Text: DOI arXiv
Adamczewski, Boris; Bell, Jason; Smertnig, Daniel A height gap theorem for coefficients of Mahler functions. (English) Zbl 07714619 J. Eur. Math. Soc. (JEMS) 25, No. 7, 2525-2571 (2023). Reviewer: Tanguy Rivoal (Grenoble) MSC: 11J81 39A06 11B85 11G50 PDF BibTeX XML Cite \textit{B. Adamczewski} et al., J. Eur. Math. Soc. (JEMS) 25, No. 7, 2525--2571 (2023; Zbl 07714619) Full Text: DOI arXiv
Liu, Si-Han; Yao, Jia-Yan Transcendence of \(L(1,\chi_s)/\pi\) in positive characteristic. A simple automata-style proof. (Transcendance de \(L(1,\chi_s)/\pi\) en caractéristique positive. Une preuve simple avec automates finis.) (English. French summary) Zbl 07714238 C. R., Math., Acad. Sci. Paris 361, 953-957 (2023). Reviewer: Jaroslav Hančl (Ostrava) MSC: 11J81 11B85 PDF BibTeX XML Cite \textit{S.-H. Liu} and \textit{J.-Y. Yao}, C. R., Math., Acad. Sci. Paris 361, 953--957 (2023; Zbl 07714238) Full Text: DOI
Legaria-Peña, Juan Uriel; Sánchez-Morales, Félix; Cortés-Poza, Yuriria Evaluation of entropy and fractal dimension as biomarkers for tumor growth and treatment response using cellular automata. (English) Zbl 07712569 J. Theor. Biol. 564, Article ID 111462, 10 p. (2023). MSC: 92C32 92C50 28A80 68Q80 PDF BibTeX XML Cite \textit{J. U. Legaria-Peña} et al., J. Theor. Biol. 564, Article ID 111462, 10 p. (2023; Zbl 07712569) Full Text: DOI arXiv
Dupin, Isabelle; Eyraud, Edmée; Maurat, Élise; Sac-Épée, Jean-Marc; Vallois, Pierre Probabilistic cellular automata modelling of intercellular interactions in airways: complex pattern formation in patients with chronic obstructive pulmonary disease. (English) Zbl 07712564 J. Theor. Biol. 564, Article ID 111448, 14 p. (2023). MSC: 92C32 92C37 PDF BibTeX XML Cite \textit{I. Dupin} et al., J. Theor. Biol. 564, Article ID 111448, 14 p. (2023; Zbl 07712564) Full Text: DOI
Camina, Rachel D.; Cocke, William L.; Thillaisundaram, Anitha The Amit-Ashurst conjecture for finite metacyclic \(p\)-groups. (English) Zbl 07712502 Eur. J. Math. 9, No. 3, Paper No. 46, 13 p. (2023). Reviewer: Marco Trombetti (Napoli) MSC: 20F10 20D15 PDF BibTeX XML Cite \textit{R. D. Camina} et al., Eur. J. Math. 9, No. 3, Paper No. 46, 13 p. (2023; Zbl 07712502) Full Text: DOI arXiv
Dai, Songsong Quaternionic quantum automata. (English) Zbl 07710971 Int. J. Quantum Inf. 21, No. 4, Article ID 2350017, 10 p. (2023). MSC: 81-XX PDF BibTeX XML Cite \textit{S. Dai}, Int. J. Quantum Inf. 21, No. 4, Article ID 2350017, 10 p. (2023; Zbl 07710971) Full Text: DOI
Drewes, Frank (ed.); Volkov, Mikhail (ed.) Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. (English) Zbl 07710747 Lecture Notes in Computer Science 13911. Cham: Springer (ISBN 978-3-031-33263-0/pbk; 978-3-031-33264-7/ebook). xx, 259 p. (2023). MSC: 68-06 68Q45 00B25 PDF BibTeX XML Cite \textit{F. Drewes} (ed.) and \textit{M. Volkov} (ed.), Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12--16, 2023. Proceedings. Cham: Springer (2023; Zbl 07710747) Full Text: DOI
Maraj, Aida; Nagel, Uwe Shift invariant algebras, Segre products and regular languages. (English) Zbl 07710305 J. Algebra 631, 236-266 (2023). MSC: 13Pxx 13Dxx 13Axx PDF BibTeX XML Cite \textit{A. Maraj} and \textit{U. Nagel}, J. Algebra 631, 236--266 (2023; Zbl 07710305) Full Text: DOI arXiv
Shamsizadeh, Marzieh; Zahedi, Mohammad Mehdi; Abolpour, Khadijeh Reduction of BL-general L-fuzzy automata. (English) Zbl 07709517 Iran. J. Math. Sci. Inform. 18, No. 1, 131-144 (2023). MSC: 68Q70 18B20 03E72 06D72 PDF BibTeX XML Cite \textit{M. Shamsizadeh} et al., Iran. J. Math. Sci. Inform. 18, No. 1, 131--144 (2023; Zbl 07709517) Full Text: Link
Chalk, Christopher P.; Edjvet, Martin Curvature distribution and hyperbolicity. (English) Zbl 07707658 J. Group Theory 26, No. 4, 645-663 (2023). MSC: 20F05 20F06 20F10 PDF BibTeX XML Cite \textit{C. P. Chalk} and \textit{M. Edjvet}, J. Group Theory 26, No. 4, 645--663 (2023; Zbl 07707658) Full Text: DOI
Lefebvre, Dimitri; Li, Zhiwu; Liang, Ye Diagnosis of timed patterns for discrete event systems by means of state isolation. (English) Zbl 07707489 Automatica 153, Article ID 111045, 13 p. (2023). MSC: 93C65 68Q45 PDF BibTeX XML Cite \textit{D. Lefebvre} et al., Automatica 153, Article ID 111045, 13 p. (2023; Zbl 07707489) Full Text: DOI
Sivasankar, M.; Rama, R. Two-dimensional Fibonacci words: tandem repeats and factor complexity. (English) Zbl 07706481 Adv. Appl. Math. 149, Article ID 102553, 29 p. (2023). MSC: 68R15 68Q45 PDF BibTeX XML Cite \textit{M. Sivasankar} and \textit{R. Rama}, Adv. Appl. Math. 149, Article ID 102553, 29 p. (2023; Zbl 07706481) Full Text: DOI arXiv
Isojima, Shin; Suzuki, Seiichiro Ultradiscrete hard-spring equation and its phase plane analysis. (English) Zbl 07703462 Japan J. Ind. Appl. Math. 40, No. 2, 1083-1105 (2023). MSC: 37M15 37B15 39A23 34C15 PDF BibTeX XML Cite \textit{S. Isojima} and \textit{S. Suzuki}, Japan J. Ind. Appl. Math. 40, No. 2, 1083--1105 (2023; Zbl 07703462) Full Text: DOI
Middeldorp, Aart; Lochmann, Alexander; Mitterwallner, Fabian First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification. (English) Zbl 07702720 J. Autom. Reasoning 67, No. 2, Paper No. 14, 76 p. (2023). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Middeldorp} et al., J. Autom. Reasoning 67, No. 2, Paper No. 14, 76 p. (2023; Zbl 07702720) Full Text: DOI
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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{J. D. Mitchell} and \textit{M. Tsalakou}, J. Algebra 630, 394--433 (2023; Zbl 1517.20082) Full Text: DOI arXiv
Sabau, Adrian S.; Yuan, Lang; Fattebert, Jean-Luc; Turner, John A. An OpenMP GPU-offload implementation of a non-equilibrium solidification cellular automata model for additive manufacturing. (English) Zbl 07700420 Comput. Phys. Commun. 284, Article ID 108605, 16 p. (2023). MSC: 68-XX 82-XX PDF BibTeX XML Cite \textit{A. S. Sabau} et al., Comput. Phys. Commun. 284, Article ID 108605, 16 p. (2023; Zbl 07700420) Full Text: DOI
Carvalho, André On generalized conjugacy and some related problems. (English) Zbl 1517.20054 Commun. Algebra 51, No. 8, 3528-3542 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20F10 20E22 PDF BibTeX XML Cite \textit{A. Carvalho}, Commun. Algebra 51, No. 8, 3528--3542 (2023; Zbl 1517.20054) 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). MSC: 03C05 08A02 20M35 68Q70 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{M. Kutrib} and \textit{U. Meyer}, Theor. Comput. Sci. 966--967, Article ID 114000, 11 p. (2023; Zbl 07699968) Full Text: DOI
Shallit, Jeffrey Note on a Fibonacci parity sequence. (English) Zbl 07699107 Cryptogr. Commun. 15, No. 2, 309-315 (2023). MSC: 11A63 11B50 11B85 PDF BibTeX XML Cite \textit{J. Shallit}, Cryptogr. Commun. 15, No. 2, 309--315 (2023; Zbl 07699107) Full Text: DOI arXiv
Nguyen, Linh Anh Fuzzy simulations and bisimulations between fuzzy automata. (English) Zbl 07698207 Int. J. Approx. Reasoning 155, 113-131 (2023). MSC: 68T37 PDF BibTeX XML Cite \textit{L. A. Nguyen}, Int. J. Approx. Reasoning 155, 113--131 (2023; Zbl 07698207) Full Text: DOI arXiv
van Glabbeek, Rob; Gramoli, Vincent; Tholoniat, Pierre Cross-chain payment protocols with success guarantees. (English) Zbl 07697598 Distrib. Comput. 36, No. 2, 137-157 (2023). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{R. van Glabbeek} et al., Distrib. Comput. 36, No. 2, 137--157 (2023; Zbl 07697598) Full Text: DOI arXiv
Hashimoto, Kenji; Maneth, Sebastian Characterizing attributed tree translations in terms of macro tree transducers. (English) Zbl 07696141 Theor. Comput. Sci. 963, Article ID 113943, 18 p. (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{K. Hashimoto} and \textit{S. Maneth}, Theor. Comput. Sci. 963, Article ID 113943, 18 p. (2023; Zbl 07696141) Full Text: DOI arXiv
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Müller, David; Worrell, James Markov chains and unambiguous automata. (English) Zbl 07695012 J. Comput. Syst. Sci. 136, 113-134 (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{C. Baier} et al., J. Comput. Syst. Sci. 136, 113--134 (2023; Zbl 07695012) Full Text: DOI arXiv
Chalopin, Jérémie; Chepoi, Victor; Giocanti, Ugo Graphs with convex balls. (English) Zbl 07693884 Geom. Dedicata 217, No. 4, Paper No. 67, 52 p. (2023). MSC: 05C12 20F10 20F67 51K05 PDF BibTeX XML Cite \textit{J. Chalopin} et al., Geom. Dedicata 217, No. 4, Paper No. 67, 52 p. (2023; Zbl 07693884) Full Text: DOI arXiv
Gogacz, Tomasz; Marcinkowski, Jerzy; Pieris, Andreas Uniform restricted chase termination. (English) Zbl 07693608 SIAM J. Comput. 52, No. 3, 641-683 (2023). MSC: 68P15 68T27 68T30 PDF BibTeX XML Cite \textit{T. Gogacz} et al., SIAM J. Comput. 52, No. 3, 641--683 (2023; Zbl 07693608) Full Text: DOI
Hanany, Liam; Puder, Doron Word measures on symmetric groups. (English) Zbl 07693381 Int. Math. Res. Not. 2023, No. 11, 9221-9297 (2023). Reviewer: Mihály Szalay (Budapest) MSC: 20B30 20E05 20F10 05A05 05C25 PDF BibTeX XML Cite \textit{L. Hanany} and \textit{D. Puder}, Int. Math. Res. Not. 2023, No. 11, 9221--9297 (2023; Zbl 07693381) Full Text: DOI
Lacker, Daniel; Ramanan, Kavita; Wu, Ruoyu Local weak convergence for sparse networks of interacting processes. (English) Zbl 07692278 Ann. Appl. Probab. 33, No. 2, 843-888 (2023). MSC: 60K35 60J05 60J60 60J80 60F17 60B10 82C22 PDF BibTeX XML Cite \textit{D. Lacker} et al., Ann. Appl. Probab. 33, No. 2, 843--888 (2023; Zbl 07692278) Full Text: DOI arXiv
Casals-Ruiz, Montserrat; Garreta, Albert; Kazachkov, Ilya; de la Nuez González, Javier Simple groups with infinite verbal width and the same positive theory as free groups. (English) Zbl 1515.20153 Isr. J. Math. 254, No. 1, 39-56 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20F10 03C60 PDF BibTeX XML Cite \textit{M. Casals-Ruiz} et al., Isr. J. Math. 254, No. 1, 39--56 (2023; Zbl 1515.20153) 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \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 07691111 Int. J. Algebra Comput. 33, No. 3, 445-479 (2023). MSC: 20E07 20M07 20M35 20E36 68Q45 PDF BibTeX XML Cite \textit{I. F. Guimarães}, Int. J. Algebra Comput. 33, No. 3, 445--479 (2023; Zbl 07691111) Full Text: DOI arXiv
Hammer, James; Lorch, John Diagonal cellular factor pair Latin squares. (English) Zbl 07690073 Des. Codes Cryptography 91, No. 6, 2309-2322 (2023). MSC: 05B15 12E05 12E20 15A04 PDF BibTeX XML Cite \textit{J. Hammer} and \textit{J. Lorch}, Des. Codes Cryptography 91, No. 6, 2309--2322 (2023; Zbl 07690073) Full Text: DOI
Shallit, Jeffrey; Shan, Sonja Linghui; Yang, Kai Hsiang Automatic sequences in negative bases and proofs of some conjectures of Shevelev. (English) Zbl 07689051 RAIRO, Theor. Inform. Appl. 57, Paper No. 4, 22 p. (2023). MSC: 11B85 11A63 68Q45 03D05 68R15 PDF BibTeX XML Cite \textit{J. Shallit} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 4, 22 p. (2023; Zbl 07689051) Full Text: DOI arXiv
Currie, James; Ochem, Pascal; Rampersad, Narad; Shallit, Jeffrey Properties of a ternary infinite word. (English) Zbl 07689048 RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023). MSC: 11B85 68R15 03D05 68Q45 PDF BibTeX XML Cite \textit{J. Currie} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023; Zbl 07689048) 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 PDF BibTeX XML Cite \textit{A. Khadieva} and \textit{M. Ziatdinov}, Lobachevskii J. Math. 44, No. 2, 713--723 (2023; Zbl 07688854) Full Text: DOI arXiv
Nozdrunov, Vladislav I. Decomposition of polynomials using the shift-composition operation. (English. Russian original) Zbl 07688761 Discrete Math. Appl. 33, No. 2, 87-97 (2023); translation from Diskretn. Mat. 33, No. 4, 68-82 (2021). MSC: 68Q45 94A55 16P10 PDF BibTeX XML Cite \textit{V. I. Nozdrunov}, Discrete Math. Appl. 33, No. 2, 87--97 (2023; Zbl 07688761); translation from Diskretn. Mat. 33, No. 4, 68--82 (2021) Full Text: DOI
Taback, Jennifer; Walker, Alden Conjugation curvature in solvable Baumslag-Solitar groups. (English) Zbl 07687616 J. Topol. Anal. 15, No. 2, 299-360 (2023). Reviewer: Rylee Lyman (Newark) MSC: 20F65 20F10 PDF BibTeX XML Cite \textit{J. Taback} and \textit{A. Walker}, J. Topol. Anal. 15, No. 2, 299--360 (2023; Zbl 07687616) Full Text: DOI arXiv
Feng, Weizhi; Li, Yong; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun On the power of finite ambiguity in Büchi complementation. (English) Zbl 07687219 Inf. Comput. 292, Article ID 105032, 27 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{W. Feng} et al., Inf. Comput. 292, Article ID 105032, 27 p. (2023; Zbl 07687219) Full Text: DOI arXiv
Ibarra, Oscar H.; McQuillan, Ian New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines. (English) Zbl 07687214 Inf. Comput. 292, Article ID 105027, 12 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{O. H. Ibarra} and \textit{I. McQuillan}, Inf. Comput. 292, Article ID 105027, 12 p. (2023; Zbl 07687214) Full Text: DOI
Babakov, R. M.; Barkalov, A. A. A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions. (English. Ukrainian original) Zbl 1510.68006 Cybern. Syst. Anal. 59, No. 2, 190-198 (2023); translation from Kibern. Sist. Anal. 59, No. 2, 18-26 (2023). MSC: 68M07 68Q45 PDF BibTeX XML Cite \textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 59, No. 2, 190--198 (2023; Zbl 1510.68006); translation from Kibern. Sist. Anal. 59, No. 2, 18--26 (2023) Full Text: DOI