Barbieri, Sebastián; Sablik, Mathieu; Salo, Ville Soficity of free extensions of effective subshifts. (English) Zbl 07978206 Discrete Contin. Dyn. Syst. 45, No. 4, 1117-1149 (2025). MSC: 37B10 37B05 20F10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Esparza, Javier; Raskin, Michael; Welzel-Mohr, Christoph Regular model checking upside-down: an invariant-based approach. (English) Zbl 07977734 Log. Methods Comput. Sci. 21, No. 1, Paper No. 4, 34 p. (2025). MSC: 68Q60 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Nowak, Piotr W.; Oliynyk, Andriy; Prokhorchuk, Veronika On reversible automata generating lamplighter groups. (English) Zbl 07938141 J. Algebra 661, 578-594 (2025). Reviewer: Egle Bettio (Venezia) MSC: 20F10 20E22 20F65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bandt, Christoph Elementary fractal geometry. 4. Automata-generated topological spaces. (English) Zbl 07923339 Commun. Math. 33, No. 2, Paper No. 3, 33 p. (2025). MSC: 28A80 11A63 37B10 54B15 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Lacroce, Clara; Balle, Borja; Panangaden, Prakash; Rabusseau, Guillaume Optimal approximate minimization of one-letter weighted finite automata. (English) Zbl 07980833 Math. Struct. Comput. Sci. 34, No. 8, 807-833 (2024). MSC: 68Q45 47B35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cordero, Christophe Factorizations of cyclic groups and bayonet codes. (English) Zbl 07978309 J. Autom. Lang. Comb. 29, No. 1, 11-39 (2024). MSC: 94A45 20K01 68Q45 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Zhu, Yinfeng Around Don’s conjecture for binary completely reachable automata. (English) Zbl 07977190 Day, Joel D. (ed.) et al., Developments in language theory. 28th International conference, DLT 2024, Göttingen, Germany, August 12–16, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14791, 282-295 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sälzer, Marco; Alsmann, Eric; Bruse, Florian; Lange, Martin Verifying and interpreting neural networks using finite automata. (English) Zbl 07977189 Day, Joel D. (ed.) et al., Developments in language theory. 28th International conference, DLT 2024, Göttingen, Germany, August 12–16, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14791, 266-281 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Nagy, Benedek; Otto, Friedrich Finite automata with sets of translucent words. (English) Zbl 07977187 Day, Joel D. (ed.) et al., Developments in language theory. 28th International conference, DLT 2024, Göttingen, Germany, August 12–16, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14791, 236-251 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Moek, Philomena Network topologies for parallel communicating finite automata: token-ring and token-bus. (English) Zbl 07977186 Day, Joel D. (ed.) et al., Developments in language theory. 28th International conference, DLT 2024, Göttingen, Germany, August 12–16, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14791, 218-235 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Aiswarya, C.; Manuel, Amaldev; Sunny, Saina Deciding conjugacy of a rational relation (extended abstract). (English) Zbl 07977174 Day, Joel D. (ed.) et al., Developments in language theory. 28th International conference, DLT 2024, Göttingen, Germany, August 12–16, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14791, 37-50 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Tang, Tianxiang; Zakharov, Vladimir A. On the complexity of decision problems for parameterized finite state synchronous transducers. (English) Zbl 07970867 Fazekas, Szilárd Zsolt (ed.), Implementation and application of automata. 28th international conference, CIAA 2024, Akita, Japan, September 3–6, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 15015, 332-346 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Gustafson, Paul; Im, Mee Seong; Khovanov, Mikhail Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words. (English) Zbl 07960213 Lett. Math. Phys. 114, No. 6, Paper No. 135, 35 p. (2024). MSC: 18-XX 57K16 68Q45 18M05 37B10 06A12 68Q70 18B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Diekert, Volker; Potapov, Igor; Semukhin, Pavel Decidability of membership problems for flat rational subsets of \(\mathrm{GL}(2,\mathbb{Q})\) and singular matrices. (English) Zbl 07957552 SIAM J. Comput. 53, No. 6, 1663-1708 (2024). MSC: 68Q45 68W30 65F30 × Cite Format Result Cite Review PDF Full Text: DOI
Hoffmann, Stefan State complexity bounds for projection, shuffle, up- and downward closure and interior on commutative regular languages. (English) Zbl 07953353 Inf. Comput. 301, Article ID 105204, 27 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Block Gorman, Alexi; Schulz, Chris Fractal dimensions of \(k\)-automatic sets. (English) Zbl 07948997 J. Symb. Log. 89, No. 3, 1128-1157 (2024). MSC: 03D05 28A80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Aubrun, Nathalie; Bitar, Nicolás Self-avoiding walks on Cayley graphs through the lens of symbolic dynamics. (English) Zbl 07940967 Electron. J. Comb. 31, No. 4, Research Paper P4.24, 44 p. (2024). MSC: 37E25 37B10 37B51 20F10 05C25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bringmann, Karl; Grønlund, Allan; Künnemann, Marvin; Larsen, Kasper Green The NFA acceptance hypothesis: non-combinatorial and dynamic lower bounds. (English) Zbl 07939163 TheoretiCS 3, Paper No. 22, 35 p. (2024). MSC: 68Qxx 68Wxx 68Pxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Schaeffer, Luke; Shallit, Jeffrey The first-order theory of binary overlap-free words is decidable. (English) Zbl 07930303 Can. J. Math. 76, No. 4, 1144-1162 (2024). MSC: 11B85 68R15 03B25 68Q45 03D05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hu, Yining; Lasjaunias, Alain Period-doubling continued fractions are algebraic in characteristic 2. (Les fractions continues de doublement de période sont algébriques en caractéristique 2.) (English. French summary) Zbl 07928996 Ann. Inst. Fourier 74, No. 5, 1809-1817 (2024). MSC: 11B85 11A55 11J70 11B50 11Y65 05A15 11T55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kaspar, A. John; Chiristy, D. K. Sheena; Thomas, D. G. Picture processing on isometric fuzzy regular array languages. (English) Zbl 07926875 J. Appl. Math. Inform. 42, No. 3, 483-497 (2024). MSC: 68Q45 03E72 × Cite Format Result Cite Review PDF Full Text: DOI
Paul, Erik Finite sequentiality of finitely ambiguous max-plus tree automata. (English) Zbl 07922388 Theory Comput. Syst. 68, No. 4, 615-661 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Salomaa, Arto; Salomaa, Kai; Smith, Taylor J. Descriptional complexity of finite automata – selected highlights. (English) Zbl 1547.68378 Fundam. Inform. 191, No. 3-4, 231-237 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Câmpeanu, Cezar; Câmpeanu, Cezar A.; Kozma, Matthew Binary distinguishability operation. (English) Zbl 07921854 Theor. Comput. Sci. 1016, Article ID 114782, 12 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Denissov, Filipp D. Finite normal subgroups of strongly verbally closed groups. (English) Zbl 1548.20078 J. Group Theory 27, No. 5, 1039-1057 (2024). Reviewer: Egle Bettio (Venezia) MSC: 20F70 20F18 20D15 20F10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kishnani, Harish; Kulshrestha, Amit Automorphic word maps and the Amit-Ashurst conjecture. (English) Zbl 1548.20055 J. Group Theory 27, No. 5, 1007-1023 (2024). Reviewer: Egle Bettio (Venezia) MSC: 20F10 20D60 20D15 20P05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bugeaud, Yann; Han, Guo-Niu The Thue-Morse continued fractions in characteristic 2 are algebraic. (English) Zbl 07903803 Acta Arith. 214, 1-22 (2024). Reviewer: Jean-Paul Allouche (Paris) MSC: 11J70 11A55 11B85 11J61 11T55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wang, Qisheng; Ying, Mingsheng Quantum Büchi automata. (English) Zbl 07902300 Theor. Comput. Sci. 1012, Article ID 114740, 17 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lohrey, Markus; Stober, Florian; Weiß, Armin The power word problem in graph products. (English) Zbl 07888052 Theory Comput. Syst. 68, No. 3, 403-464 (2024). Reviewer: Egle Bettio (Venezia) MSC: 20F10 20F36 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Klíma, Ondřej; Kolegar, Jonatan Characterization of ordered semigroups generating well quasi-orders of words. (English) Zbl 07888051 Theory Comput. Syst. 68, No. 3, 380-402 (2024). MSC: 06F05 20M35 × Cite Format Result Cite Review PDF Full Text: DOI
Khashaev, A. A. On the cardinality computation problem for regular languages over symmetric groups. (English. Russian original) Zbl 07881447 Mosc. Univ. Comput. Math. Cybern. 48, No. 2, 130-136 (2024); translation from Vestn. Mosk. Univ., Ser. XV 2024, No. 2, 73-79 (2024). MSC: 68Qxx 03Bxx 03Dxx × Cite Format Result Cite Review PDF Full Text: DOI
Mattes, Caroline; Ushakov, Alexander; Weiß, Armin Complexity of spherical equations in finite groups. (English) Zbl 07871845 Fernau, Henning (ed.) et al., SOFSEM 2024: theory and practice of computer science. 49th international conference on current trends in theory and practice of computer science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14519, 383-397 (2024). MSC: 20F10 68Q17 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Janoušek, Jan; Plachý, Štěpán Shortest characteristic factors of a deterministic finite automaton and computing its positive position run by pattern set matching. (English) Zbl 07871841 Fernau, Henning (ed.) et al., SOFSEM 2024: theory and practice of computer science. 49th international conference on current trends in theory and practice of computer science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14519, 326-339 (2024). MSC: 68Q45 68W32 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, Rod Computability and complexity. Foundations and tools for pursuing scientific applications. (English) Zbl 07859285 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-031-53743-1/pbk; 978-3-031-53744-8/ebook). xxviii, 346 p. (2024). Reviewer: Irina Ioana Mohorianu (Oxford) MSC: 68-01 03-01 03Dxx 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Droste, Manfred; Kuich, Werner Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings. (English) Zbl 1539.68133 Theor. Comput. Sci. 1002, Article ID 114599, 4 p. (2024). MSC: 68Q45 16Y60 × Cite Format Result Cite Review PDF Full Text: DOI
Rystsov, I.; Szykuła, M. Reset thresholds of transformation monoids. (English) Zbl 1541.68232 Cybern. Syst. Anal. 60, No. 2, 189-197 (2024) and Kibern. Sist. Anal. 60, No. 2, 28-37 (2024). MSC: 68Q70 20M35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bhasin, Dhruv; Podder, Moumanti Combinatorial games on Galton-Watson trees involving several-generation-jump moves. (English) Zbl 1543.91026 Comb. Number Theory 13, No. 1, 1-58 (2024). MSC: 91A46 91A05 91A43 05C57 05C80 05C05 60C05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Takigiku, Motoki; Tsuchioka, Shunsuke A proof of conjectured partition identities of Nandi. (English) Zbl 07835487 Am. J. Math. 146, No. 2, 405-433 (2024). Reviewer: Mircea Merca (București) MSC: 11P84 11P82 33D80 33D15 17B67 17B69 68Q45 05A30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Volkov, M. V. Synchronization of primitive automata. (English) Zbl 07833148 RAIRO, Theor. Inform. Appl. 58, Paper No. 3, 7 p. (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zakzok, Mohammad; Salomaa, Kai Converting finite width AFAs to nondeterministic and universal finite automata. (English) Zbl 1547.68386 Theor. Comput. Sci. 996, Article ID 114506, 10 p. (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Okhotin, Alexander; Radionova, Maria; Sazhneva, Elizaveta \(\mathrm{GF}(2)\)-operations on basic families of formal languages. (English) Zbl 1541.68205 Theor. Comput. Sci. 995, Article ID 114489, 13 p. (2024). MSC: 68Q45 68Q80 × Cite Format Result Cite Review PDF Full Text: DOI
Phung, Xuan Kien On linear non-uniform cellular automata: duality and dynamics. (English) Zbl 1545.37017 Linear Algebra Appl. 688, 78-103 (2024). Reviewer: Hasan Akin (Şanlıurfa) MSC: 37B15 37B10 37B51 37B65 20F69 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Qiu, Daowen Learning quantum finite automata with queries. (English) Zbl 1547.68285 Math. Struct. Comput. Sci. 34, No. 2, 128-146 (2024). MSC: 68Q32 68Q45 81P68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
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 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Pintonello, Matteo; Shumyatsky, Pavel On conciseness of the word in Olshanskii’s example. (English) Zbl 1535.20162 Arch. Math. 122, No. 3, 241-247 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 20F10 20E18 20E26 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Béaur, Pierre; Kari, Jarkko Effective projections on group shifts to decide properties of group cellular automata. (English) Zbl 1537.37024 Int. J. Found. Comput. Sci. 35, No. 1-2, 77-100 (2024). Reviewer: Laurent Bartholdi (Saarbrücken) MSC: 37B15 37B51 37B10 03B55 03D75 03B25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Stogin, John; Mali, Ankur; Giles, C. Lee A provably stable neural network Turing machine with finite precision and time. (English) Zbl 07804500 Inf. Sci. 658, Article ID 120034, 20 p. (2024). MSC: 68-XX 92-XX × Cite Format Result Cite Review PDF Full Text: DOI
Wei, Zeming; Zhang, Xiyue; Zhang, Yihao; Sun, Meng Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. (English) Zbl 07803170 J. Log. Algebr. Methods Program. 136, Article ID 100907, 18 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Larsen, Michael; Shalev, Aner; Tiep, Pham Huu Characteristic covering numbers of finite simple groups. (English) Zbl 1531.20018 Math. Ann. 388, No. 1, 167-189 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 20D06 20D60 20F10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chlebus, Bogdan S.; Cocke, William; Ho, Meng-Che Enumerating word maps in finite groups. (English) Zbl 1543.20031 Int. J. Group Theory 13, No. 3, 307-318 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 20E10 20F10 20D60 × Cite Format Result Cite Review PDF Full Text: DOI
Zheng, Shenggen; Li, Yaqiao; Pan, Minghua; Gruska, Jozef; Li, Lvzhou Lifting query complexity to time-space complexity for two-way finite automata. (English) Zbl 1547.68388 J. Comput. Syst. Sci. 141, Article ID 103494, 13 p. (2024). MSC: 68Q45 68Q11 81P68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shallit, Jeffrey Rarefied Thue-Morse sums via automata theory and logic. (English) Zbl 1531.11031 J. Number Theory 257, 98-111 (2024). Reviewer: Michel Rigo (Liège) MSC: 11B85 11A63 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Lingg, Jonas; de Oliveira Oliveira, Mateus; Wolf, Petra Learning from positive and negative examples: new proof for binary alphabets. (English) Zbl 1529.68125 Inf. Process. Lett. 183, Article ID 106427, 6 p. (2024). MSC: 68Q32 68Q17 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bhunia, Sushil; Kulshrestha, Amit; Singh, Anupam Chirality and non-real elements in \(G_2(q)\). arXiv:2408.15546 Preprint, arXiv:2408.15546 [math.GR] (2024). MSC: 20D05 20F10 × Cite Format Result Cite Full Text: arXiv
Phung, Xuan Kien Generalized Gottschalk’s conjecture for sofic groups and applications. arXiv:2403.05998 Preprint, arXiv:2403.05998 [math.DS] (2024). MSC: 05C25 14A10 16S34 20C07 20F69 37B10 37B15 37B51 68Q80 × Cite Format Result Cite 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 × Cite Format Result Cite Full Text: arXiv OA License
Rose, Alex; Okhotin, Alexander Probabilistic input-driven pushdown automata. (English) Zbl 07953327 Leroux, Jérôme (ed.) et al., 48th international symposium on mathematical foundations of computer science, MFCS 2023, Bordeaux, France, August 28 – September 1, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 272, Article 78, 14 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Balun, Jiří; Masopust, Tomáš; Osička, Petr Speed me up if you can: conditional lower bounds on opacity verification. (English) Zbl 07953265 Leroux, Jérôme (ed.) et al., 48th international symposium on mathematical foundations of computer science, MFCS 2023, Bordeaux, France, August 28 – September 1, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 272, Article 16, 15 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kim, Sung-Hwan; Olivares, Francisco; Prezza, Nicola Faster prefix-sorting algorithms for deterministic finite automata. (English) Zbl 07929279 Bulteau, Laurent (ed.) et al., 34th annual symposium on combinatorial pattern matching, CPM 2023, Marne-la-Vallée, France, June 26–28, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 259, Article 16, 16 p. (2023). MSC: 68W32 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
De Felice, Clelia Finite maximal codes and factorizations of cyclic groups. (English) Zbl 07929215 J. Autom. Lang. Comb. 28, No. 4, 287-338 (2023). MSC: 68Q45 20K01 94A45 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Salo, Ville; Schabanel, Juliette Triangle solitaire. (English) Zbl 07855516 Manzoni, Luca (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. Lect. Notes Comput. Sci. 14152, 123-136 (2023). MSC: 37B51 37B10 37B15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mariot, Luca; Mazzone, Federico On the minimum distance of subspace codes generated by linear cellular automata. (English) Zbl 07855515 Manzoni, Luca (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. Lect. Notes Comput. Sci. 14152, 105-119 (2023). MSC: 94B60 68Q80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Becker, Ruben; Cenzato, Davide; Kim, Sung-Hwan; Kodric, Bojana; Policriti, Alberto; Prezza, Nicola Optimal Wheeler language recognition. (English) Zbl 07854954 Nardini, Franco Maria (ed.) et al., String processing and information retrieval. 30th international symposium, SPIRE 2023, Pisa, Italy, September 26–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14240, 62-74 (2023). MSC: 68Q45 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shaldehi, Somayyeh Jangjooye Suberesolving codes. (English) Zbl 1540.37029 Tamkang J. Math. 54, No. 3, 257-264 (2023). MSC: 37B10 37B15 94B60 × Cite Format Result Cite Review PDF Full Text: DOI
Huang, Wen-ling; Krafczyk, Niklas; Peleska, Jan An optimised complete strategy for testing symbolic finite state machines. (English) Zbl 07842283 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 10th international conference, FSEN 2023, Tehran, Iran, May 4–5, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14155, 55-71 (2023). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Zhu, Tianxiang; Liu, Fuchun; Xiao, Cuntao Reliable fuzzy prognosability of decentralized fuzzy discrete-event systems and verification algorithm. (English) Zbl 1536.93509 Inf. Sci. 627, 220-237 (2023). MSC: 93C42 93A14 93C65 × Cite Format Result Cite Review PDF Full Text: DOI
Nagy, Benedek On language classes accepted by stateless 5’ \(\to\) 3’ Watson-Crick finite automata. (English) Zbl 1549.68013 Ann. Math. Inform. 58, 110-120 (2023). MSC: 68Q45 68Q07 × Cite Format Result Cite Review PDF Full Text: DOI
Białecki, Mariusz Catalan numbers recurrence as a stationary state equation of the probabilistic cellular automaton. (English) Zbl 1540.37030 Elaydi, Saber (ed.) et al., Advances in discrete dynamical systems, difference equations and applications. ICDEA 26, Sarajevo, Bosnia and Herzegovina, July 26–30, 2021. Proceedings of the 26th international conference on difference equations and applications. Cham: Springer. Springer Proc. Math. Stat. 416, 155-165 (2023). MSC: 37B15 39A50 11B37 11B83 × Cite Format Result Cite Review PDF Full Text: DOI
Inoue, Yusuke; Hashimoto, Kenji; Seki, Hiroyuki When is context-freeness distinguishable from regularity? An extension of Parikh’s theorem. (English) Zbl 07810932 Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 166-178 (2023). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Otto, Friedrich A survey on automata with translucent letters. (English) Zbl 07810922 Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 21-50 (2023). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Geffert, Viliam Binary coded unary regular languages. (English) Zbl 07810921 Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 3-20 (2023). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Li, Xiaoyan; Hadjicostis, Christoforos N.; Li, Zhiwu Opacity enforcement in discrete event systems using extended insertion functions under inserted language constraints. (English) Zbl 1546.93475 IEEE Trans. Autom. Control 68, No. 11, 6797-6803 (2023). MSC: 93C65 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Ben Ramdhane, Firas; Guillon, Pierre Cellular automata and substitutions in topological spaces defined via edit distances. (English) Zbl 1547.37017 Nat. Comput. 22, No. 3, 509-526 (2023). MSC: 37B15 37B10 37B51 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Mariot, Luca Enumeration of maximal cycles generated by orthogonal cellular automata. (English) Zbl 1547.68475 Nat. Comput. 22, No. 3, 477-491 (2023). MSC: 68Q80 05B15 11T06 37B15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mráz, František; Otto, Friedrich Non-returning deterministic and nondeterministic finite automata with translucent letters. (English) Zbl 1547.68370 RAIRO, Theor. Inform. Appl. 57, Paper No. 8, 35 p. (2023). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
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: 20B15 20M35 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Hoffmann, Stefan Binary and circular automata having maximal state complexity for the set of synchronizing words. (English) Zbl 07798812 Inf. Comput. 295, Part A, Article ID 105076, 14 p. (2023). MSC: 68Q45 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Lavrenyuk, Y. V.; Oliynyk, A. S. Minimal generating sets in groups of \(p\)-automata. (English) Zbl 1531.20039 Carpathian Math. Publ. 15, No. 2, 608-613 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20E08 20E22 20F05 20F10 × Cite Format Result Cite Review PDF Full Text: DOI
Oliynyk, A.; Prokhorchuk, V. On exponentiation, \(p\)-automata and HNN extensions of free abelian groups. (English) Zbl 1531.20042 Algebra Discrete Math. 35, No. 2, 180-190 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20E22 20E08 20E26 20E06 20F10 20K35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Quattropani, Matteo; Sau, Federico On the meeting of random walks on random DFA. (English) Zbl 1536.05422 Stochastic Processes Appl. 166, Article ID 104225, 33 p. (2023). MSC: 05C81 05C80 68Q45 60J10 60J27 68R10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Krenevych, A. P.; Oliynyk, A. S. Free groups defined by finite \(p\)-automata. (English) Zbl 1542.20135 Res. Math. 31, No. 2, 49-55 (2023). Reviewer: Vincent Guirardel (Rennes) MSC: 20F10 20E05 20E22 × Cite Format Result Cite Review PDF Full Text: DOI
Dutta, Mridul; Borah, Padma Bhushan Acceptable strings in an automaton. (English) Zbl 1538.03009 Jñānābha 53, No. 2, 236-241 (2023). MSC: 03D05 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Bell, Paul C.; Semukhin, Pavel Decision questions for probabilistic automata on small alphabets. (English) Zbl 07789008 Log. Methods Comput. Sci. 19, No. 4, Paper No. 36, 22 p. (2023). MSC: 68Q45 68Q17 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Meha, Uran Coherence for plactic monoids via rewriting theory and crystal structures. (English) Zbl 07787973 Algebr. Represent. Theory 26, No. 6, 2289-2312 (2023). MSC: 20M35 17B10 16S15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Say, Ahmet Celal Cem Energy complexity of computation. (English) Zbl 1543.68131 Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 3-11 (2023). MSC: 68Q09 68Q25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Esparza, Javier; Blondin, Michael Automata theory. An algorithmic approach. (English) Zbl 1533.68003 Cambridge, MA: MIT Press (ISBN 978-0-262-04863-7/hbk; 978-0-262-37693-8/ebook). xii, 532 p., open access (2023). Reviewer: Ioan Tomescu (Bucureşti) MSC: 68-02 68-01 68P05 68Q45 68Q60 × Cite Format Result Cite Review PDF Full Text: Link
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 × Cite Format Result Cite Review PDF Full Text: DOI
Hoffmann, Stefan Regularity conditions for iterated shuffle on commutative regular languages. (English) Zbl 1547.68359 Int. J. Found. Comput. Sci. 34, No. 8, 923-957 (2023). MSC: 68Q45 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Asri, Muhammad Sufi Mohd; Othman, Wan Ainun Mior; Wong, Kok Bin; Wong, Peng Choon Weak potency and cyclic subgroup separability of certain free products and tree products. (English) Zbl 1527.20034 Bull. Korean Math. Soc. 60, No. 5, 1375-1390 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20E06 20E26 20F05 20F10 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI HAL
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 × Cite Format Result Cite Review PDF Full Text: DOI
Haah, Jeongwan Invertible subalgebras. (English) Zbl 1533.81052 Commun. Math. Phys. 403, No. 2, 661-698 (2023). MSC: 81Q35 46J30 46B07 81V27 70H05 20K01 37B15 × Cite Format Result Cite Review PDF 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). Reviewer: Theo Johnson-Freyd (Waterloo) MSC: 57K16 68Q45 18M10 18M30 06A12 68Q70 18B20 57R56 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
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 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Kim, Sungmin; Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai On Simon’s congruence closure of a string. (English) Zbl 1520.68059 Theor. Comput. Sci. 972, Article ID 114078, 14 p. (2023). MSC: 68Q45 68W32 × Cite Format Result Cite Review PDF Full Text: DOI