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 × 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
Wieczorek, Wojciech; Strąk, Łukasz; Nowakowski, Arkadiusz Report on the exact methods for finding minimum-sized DFA. (English) Zbl 07945601 Log. J. IGPL 32, No. 5, 909-935 (2024). MSC: 03-XX 68-XX × 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 07922323 Fundam. Inform. 191, No. 3-4, 231-237 (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bojańczyk, Mikołaj; Fijalkow, Joanna; Klin, Bartek; Moerman, Joshua Orbit-finite-dimensional vector spaces and weighted register automata. (English) Zbl 07875517 TheoretiCS 3, Paper No. 13, 41 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
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
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 07827499 Theor. Comput. Sci. 996, Article ID 114506, 10 p. (2024). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Spenner, Daniel Alexander Decomposing finite languages. (English) Zbl 07953332 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 83, 14 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Keeler, Casey; Salomaa, Kai Maximal existential and universal width. (English) Zbl 07897389 Sci. Ann. Comput. Sci. 33, No. 1, 53-77 (2023). MSC: 68Qxx 68Wxx × 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
Li, Xiaoyan; Hadjicostis, Christoforos N.; Li, Zhiwu Opacity enforcement in discrete event systems using extended insertion functions under inserted language constraints. (English) Zbl 07808175 IEEE Trans. Autom. Control 68, No. 11, 6797-6803 (2023). MSC: 93C65 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Mráz, František; Otto, Friedrich Non-returning deterministic and nondeterministic finite automata with translucent letters. (English) Zbl 07799054 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 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
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
Zhang, Kuize A survey on observability of Boolean control networks. (English) Zbl 1530.93042 Control Theory Technol. 21, No. 2, 115-147 (2023). MSC: 93B07 93C29 93B70 93-02 × Cite Format Result Cite Review PDF Full Text: DOI
Burdonov, I. B.; Evtushenko, N. V.; Kossachev, A. S.; Kushik, N. G. On preset homing and synchronizing sequences for observable input/output automata. (English. Russian original) Zbl 1525.93426 Autom. Remote Control 84, No. 6, 606-611 (2023); translation from Avtom. Telemekh. 2023, No. 6, 67-78 (2023). MSC: 93E03 × Cite Format Result Cite Review PDF Full Text: DOI
Bondar, Eugenija A.; Casas, David; Volkov, Mikhail V. Completely reachable automata: an interplay between automata, graphs, and trees. (English) Zbl 07749893 Int. J. Found. Comput. Sci. 34, No. 6, 655-690 (2023). MSC: 68Qxx 20Mxx 05Cxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid Decidability boundaries for the finite-image property of weighted finite automata. (English) Zbl 07749892 Int. J. Found. Comput. Sci. 34, No. 6, 633-653 (2023). MSC: 68Qxx 20Mxx 20Fxx × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhang, Kuize Polynomial-time verification and enforcement of delayed strong detectability for discrete-event systems. (English) Zbl 1541.93228 IEEE Trans. Autom. Control 68, No. 1, 510-515 (2023). MSC: 93C65 93C43 × Cite Format Result Cite Review PDF Full Text: DOI
Han, Yo-Sub; Kim, Sungmin; Ko, Sang-Ki; Salomaa, Kai Existential and universal width of alternating finite automata. (English) Zbl 07729457 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, 51-64 (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Lyon, Oliver A. S.; Salomaa, Kai The nondeterministic state complexity of the site-directed deletion language operation. (English) Zbl 07715624 Theor. Comput. Sci. 968, Article ID 113999, 11 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Currie, James; Ochem, Pascal; Rampersad, Narad; Shallit, Jeffrey Properties of a ternary infinite word. (English) Zbl 1527.11021 RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023). Reviewer: Jean-Paul Allouche (Paris) MSC: 11B85 68R15 03D05 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wächter, Jan Philipp; Weiß, Armin An automaton group with PSPACE-complete word problem. (English) Zbl 07680323 Theory Comput. Syst. 67, No. 1, 178-218 (2023). MSC: 68Qxx 20Fxx 20Exx × Cite Format Result Cite Review PDF Full Text: DOI
Faber, Xander; Grantham, Jon On integers whose sum is the reverse of their product. (English) Zbl 1522.11007 Fibonacci Q. 61, No. 1, 28-41 (2023). Reviewer: Clemens Heuberger (Klagenfurt) MSC: 11A63 11B85 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Huang, Liang-Yi; Wen, Zhi-Ying; Yang, Ya-Min; Zhu, Yun-Jie Topology automaton of self-similar sets and its applications to metrical classifications. (English) Zbl 07672510 Nonlinearity 36, No. 5, 2541-2566 (2023). MSC: 28A80 26A16 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Wiertel, Magdalena The Gelfand-Kirillov dimension of Hecke-Kiselman algebras. (English) Zbl 1529.16017 Forum Math. 35, No. 2, 523-534 (2023). Reviewer: Victor Petrogradsky (Brasília) MSC: 16P90 16S15 16S36 20M05 20M25 05C25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Šestáková, Eliška; Guth, Ondřej; Janoušek, Jan Inexact tree pattern matching with 1-degree edit distance using finite automata. (English) Zbl 1506.68085 Discrete Appl. Math. 330, 78-97 (2023). MSC: 68R10 68Q25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Peyrière, Jacques Moore machines duality. (English) Zbl 1543.68178 Theor. Comput. Sci. 951, Article ID 113774, 5 p. (2023). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chavan, Pallavi Vijay; Jadhav, Ashish Automata theory and formal languages. (English) Zbl 1532.68001 Amsterdam: Elsevier/Academic Press (ISBN 978-0-323-91784-1/pbk; 978-0-323-97217-8/ebook). xxii, 209 p. (2023). Reviewer: Andreas Maletti (Leipzig) MSC: 68-01 68Q04 68Q45 × Cite Format Result Cite Review PDF
Li, Xiaoyan; Hadjicostis, Christoforos N.; Li, Zhiwu Extended insertion functions for opacity enforcement in discrete-event systems. (English) Zbl 1537.93476 IEEE Trans. Autom. Control 67, No. 10, 5289-5303 (2022). MSC: 93C65 × Cite Format Result Cite Review PDF Full Text: DOI
Volkov, Mikhail V. Synchronization of finite automata. (English. Russian original) Zbl 07733482 Russ. Math. Surv. 77, No. 5, 819-891 (2022); translation from Usp. Mat. Nauk 77, No. 5, 53-130 (2022). MSC: 03D15 20F10 20M35 68Q25 68Q45 68Q70 68R15 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Casas, David; Volkov, Mikhail V. Binary completely reachable automata. (English) Zbl 07719354 Castañeda, Armando (ed.) et al., Latin 2022: theoretical informatics. 15th Latin American symposium, Guanajuato, Mexico, November 7–11, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13568, 345-358 (2022). MSC: 68Qxx 68Rxx 68Wxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Grigorchuk, R.; Kogan, R.; Vorobets, Y. Automatic logarithm and associated measures. (English) Zbl 1523.68038 Algebra Discrete Math. 34, No. 1, 22-67 (2022). Reviewer: Enrico Jabara (Venezia) MSC: 68Q45 20E08 37B10 60B05 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Muravev, N. V. Bounds on orders of linear automata. (English. Russian original) Zbl 07676573 Mosc. Univ. Math. Bull. 77, No. 6, 262-268 (2022); translation from Vestn. Mosk. Univ., Ser. I 77, No. 6, 8-14 (2022). MSC: 68Qxx 20Fxx 20Dxx × Cite Format Result Cite Review PDF Full Text: DOI
Rees, Sarah The development of the theory of automatic groups. (English) Zbl 1540.20057 Ohshika, Ken’ichi (ed.) et al., In the tradition of Thurston II. Geometry and groups. Cham: Springer. 449-473 (2022). MSC: 20F10 20F36 20F55 20F65 20F67 57M60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fernau, Henning; Bruchertseifer, Jens Synchronizing words and monoid factorization, yielding a new parameterized complexity class? (English) Zbl 07618926 Math. Struct. Comput. Sci. 32, No. 2, 189-215 (2022). MSC: 68Q27 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Lyon, Oliver A. S.; Salomaa, Kai Nondeterministic state complexity of site-directed insertion. (English) Zbl 07584602 J. Autom. Lang. Comb. 27, No. 1-3, 187-197 (2022). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: Link
Koss, Tore Reverting and combining soliton bursts. (English) Zbl 07584601 J. Autom. Lang. Comb. 27, No. 1-3, 179-186 (2022). MSC: 68Q45 68Q09 × Cite Format Result Cite Review PDF Full Text: Link
Bordihn, Henning; Jürgensen, Helmut Multi-wave soliton automata. (English) Zbl 07584598 J. Autom. Lang. Comb. 27, No. 1-3, 91-130 (2022). MSC: 68Q45 68Q09 × Cite Format Result Cite Review PDF Full Text: Link
Battyányi, Péter; Mihálydeák, Tamás; Vaszil, György Rough-set-like approximation spaces for formal languages. (English) Zbl 07584597 J. Autom. Lang. Comb. 27, No. 1-3, 79-90 (2022). MSC: 68Q45 68Q42 68T37 × Cite Format Result Cite Review PDF Full Text: Link
Lyon, Oliver A. S.; Salomaa, Kai Nondeterministic state complexity of site-directed deletion. (English) Zbl 07572322 Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 189-199 (2022). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Clokie, Trevor; Lidbetter, Thomas F.; Molina Lovett, Antonio; Shallit, Jeffrey; Witzman, Leon Computational aspects of sturdy and flimsy numbers. (English) Zbl 1537.11039 Theor. Comput. Sci. 927, 65-86 (2022). MSC: 11B85 11A63 11Y16 68Q42 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bondarenko, Ievgen; Kivva, Bohdan Automaton groups and complete square complexes. (English) Zbl 1514.20141 Groups Geom. Dyn. 16, No. 1, 305-332 (2022). MSC: 20F65 20E08 20M35 20E26 20F10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. (English) Zbl 1535.68126 Theor. Comput. Sci. 919, 118-143 (2022). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Oliynyk, A. S.; Prokhorchuk, V. A. Amalgamated free product in terms of automata constructions. (English) Zbl 1505.20024 Commun. Algebra 50, No. 2, 740-750 (2022). MSC: 20E06 20F10 20E26 20E08 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Carl, Merlin Space-bounded OTMs and \(\mathrm{REG}^\infty \). (English) Zbl 1526.03004 Computability 11, No. 1, 41-56 (2022). Reviewer: Gregory Loren McColm (Tampa) MSC: 03D60 03D05 03D10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Park, Seong-Jin; Cho, Kwang-Hyun Discrete event dynamic modeling and analysis of the democratic progress in a society controlled by networked agents. (English) Zbl 1537.93480 IEEE Trans. Autom. Control 67, No. 1, 359-365 (2022). MSC: 93C65 91F10 93B70 91D30 × Cite Format Result Cite Review PDF Full Text: DOI
Ceccherini-Silberstein, Tullio; Coornaert, Michel; Phung, Xuan Kien On linear shifts of finite type and their endomorphisms. (English) Zbl 1489.37018 J. Pure Appl. Algebra 226, No. 6, Article ID 106962, 27 p. (2022). Reviewer: Laurent Bartholdi (Göttingen) MSC: 37B15 37B20 37B51 37E15 20F65 68Q80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wolf, Petra From decidability to undecidability by considering regular sets of instances. (English) Zbl 1515.68169 Theor. Comput. Sci. 899, 25-38 (2022). MSC: 68Q45 68R01 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wei, Lina; Huang, Guangjian; Wasti, Shahbaz Hassan; Hussain, Muhammad Jawad; Jiang, Yuncheng Generalized fuzzy automata with semantic computing. (English) Zbl 1498.68145 Soft Comput. 25, No. 7, 5775-5789 (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Heidari, Dariush; Doostali, Saeed The application of hypergroups in symbolic executions and finite automata. (English) Zbl 1498.68177 Soft Comput. 25, No. 11, 7247-7256 (2021). MSC: 68Q70 20N20 × Cite Format Result Cite Review PDF Full Text: DOI
Hoffmann, Stefan Commutative regular languages with product-form minimal automata. (English) Zbl 07614741 Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 23rd IFIP WG 1.02 international conference, DCFS 2021, virtual event, September 5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13037, 51-63 (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Toni, Bourama; Zúñiga-Galindo, W. A. Introduction: advancing non-Archimedean mathematics. (English) Zbl 1504.30066 Zúñiga-Galindo, W. A. (ed.) et al., Advances in non-Archimedean analysis and applications. The \(p\)-adic methodology in STEAM-H. Cham: Springer. STEAM-H, Sci. Technol. Eng. Agric. Math. Health, 1-7 (2021). MSC: 30G06 × Cite Format Result Cite Review PDF Full Text: DOI
Zhu, Yunjie; Rao, Hui Lipschitz equivalence of self-similar sets and finite-state automaton. (English) Zbl 1505.28015 Fractals 29, No. 8, Article ID 2150271, 9 p. (2021). MSC: 28A80 28A78 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Asinowski, Andrei; Banderier, Cydril; Hackl, Benjamin Flip-sort and combinatorial aspects of pop-stack sorting. (English) Zbl 1532.68013 Discrete Math. Theor. Comput. Sci. 22(2021-2023), No. 2, Paper No. 4, 39 p. (2021). MSC: 68P10 05A05 05A15 68Q45 68R05 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Kuznetsova, A. L.; Afonin, S. A. Automata model for verifying attibuted-based access control policy in systems with a finite number of objects. (English. Russian original) Zbl 1487.68069 Mosc. Univ. Math. Bull. 76, No. 5, 230-233 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57-60 (2021). MSC: 68M25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Fleischer, Lukas; Shallit, Jeffrey Automata, palindromes, and reversed subwords. (English) Zbl 1517.68187 J. Autom. Lang. Comb. 26, No. 3-4, 221-253 (2021). MSC: 68Q45 68R15 × Cite Format Result Cite Review PDF Full Text: Link
Karpova, Olga; Shur, Arseny M. Words separation and positive identities in symmetric groups. (English) Zbl 1521.20005 J. Autom. Lang. Comb. 26, No. 1-2, 67-89 (2021). Reviewer: Enrico Jabara (Venezia) MSC: 20B30 20F10 68Q45 × Cite Format Result Cite Review PDF Full Text: Link
Pin, Jean-Éric Finite automata. (English) Zbl 1517.68213 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 3-38 (2021). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Zieliński, Cezary Robotic system design methodology utilising embodied agents. (English) Zbl 1481.93094 Kulczycki, Piotr (ed.) et al., Automatic control, robotics, and information processing. Cham: Springer. Stud. Syst. Decis. Control 296, 523-561 (2021). MSC: 93C85 93A16 93B12 × Cite Format Result Cite Review PDF Full Text: DOI
Zhirabok, Alexey; Zuev, Alexander; Filaretov, Vladimir; Shumsky, Alexey Fault identification in nonlinear hybrid systems. (English) Zbl 1478.93304 Nonlinear Anal., Hybrid Syst. 39, Article ID 100984, 15 p. (2021). MSC: 93C30 93B12 93C15 93B11 93C10 × Cite Format Result Cite Review PDF Full Text: DOI
Gelade, Wouter; Schwentick, Thomas Automata and finite model theory. (English) Zbl 1542.03050 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1071-1103 (2021). Reviewer: Gregory Loren McColm (Tampa) MSC: 03C13 03C85 03D05 68Q19 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Bartholdi, Laurent; Silva, Pedro Groups defined by automata. (English) Zbl 1520.20075 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 871-911 (2021). Reviewer: Antolin Yago (Madrid) MSC: 20F10 68Q45 20F36 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhang, Kuize A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. (English) Zbl 1519.68127 Fundam. Inform. 181, No. 4, 339-371 (2021). MSC: 68Q45 68Q17 93C65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jürgensen, Helmut; Staiger, Ludwig Automata for solid codes. (English) Zbl 1514.68105 Theor. Comput. Sci. 892, 25-47 (2021). MSC: 68Q45 94A45 × Cite Format Result Cite Review PDF Full Text: DOI
Pighizzini, Giovanni; Rovan, Branislav; Sádovský, Šimon Usefulness of information and unary languages. (English) Zbl 07405983 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 131-142 (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Chatzikalymnios, Evangelos; Fokkink, Wan; Grune, Dick; Hond, Brinio; Rutgers, Peter Detecting useless transitions in pushdown automata. (English) Zbl 1497.68255 Inf. Comput. 279, Article ID 104612, 12 p. (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Maraj, Aida; Nagel, Uwe Equivariant Hilbert series for hierarchical models. (English) Zbl 1465.13025 Algebr. Stat. 12, No. 1, 21-42 (2021). Reviewer: Amir Hashemi (Isfahan) MSC: 13P25 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mráz, František; Průša, Daniel; Wehar, Michael Two-dimensional pattern matching against local and regular-like picture languages. (English) Zbl 1504.68109 Theor. Comput. Sci. 870, 137-152 (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Han, Yo-Sub; Kim, Hwee; Masuda, Yusei; Seki, Shinnosuke A general architecture of oritatami systems for simulating arbitrary finite automata. (English) Zbl 1504.68066 Theor. Comput. Sci. 870, 29-52 (2021). MSC: 68Q07 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shallit, Jeffrey Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking’s conjecture. (English) Zbl 1489.11046 Indag. Math., New Ser. 32, No. 3, 729-735 (2021). Reviewer: Thomas B. Ward (Newcastle) MSC: 11B85 68R15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kostolányi, Peter Rational elements of summation semirings. (English) Zbl 1484.68108 Theor. Comput. Sci. 867, 101-127 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q70 03D05 16Y60 18B20 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Wang, Haihui; Zhao, Luyao; Li, Ping Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness. (English) Zbl 1509.68142 Int. J. Approx. Reasoning 129, 20-40 (2021). MSC: 68Q45 03G12 × Cite Format Result Cite Review PDF Full Text: DOI
Prokhorchuk, Veronika Generation of amalgamated free products of cyclic groups by finite automata over minimal alphabet. (English) Zbl 1535.20163 Theor. Comput. Sci. 856, 151-164 (2021). MSC: 20F10 20E06 20E18 × Cite Format Result Cite Review PDF Full Text: DOI
Zieliński, Cezary Specification of agent based robotic systems using hierarchical finite state automatons. (English) Zbl 1541.93247 Bartoszewicz, Andrzej (ed.) et al., Advanced, contemporary control. Proceedings of the KKA 2020 – the 20th Polish control conference (PCC 2020), Łódź, Poland, October 14–29, 2020. Cham: Springer. Adv. Intell. Syst. Comput. 1196, 465-476 (2020). MSC: 93C85 93A16 93A13 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Clokie, Trevor; Lidbetter, Thomas F.; Molina, Lovett Antonio J.; Shallit, Jeffrey; Witzman, Leon Computational fun with sturdy and flimsy numbers. (English) Zbl 1515.68160 Farach-Colton, Martin (ed.) et al., 10th international conference on fun with algorithms. FUN 2021, May 30 – June 1, 2021, Favignana Island, Sicily, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 157, Article 10, 21 p. (2020). MSC: 68Q45 11A63 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI
Bruchertseifer, Jens; Fernau, Henning Synchronizing words and monoid factorization: a parameterized perspective. (English) Zbl 1517.68142 Chen, Jianer (ed.) et al., Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12337, 352-364 (2020). MSC: 68Q27 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Fernau, Henning; Wolf, Petra; Yamakami, Tomoyuki Synchronizing deterministic push-down automata can be really hard. (English) Zbl 07559404 Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 33, 15 p. (2020). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Arafailova, Ekaterina; Beldiceanu, Nicolas; Simonis, Helmut Invariants for time-series constraints. (English) Zbl 1479.90114 Constraints 25, No. 3-4, 71-120 (2020). MSC: 90B50 × Cite Format Result Cite Review PDF Full Text: DOI Link
Finkel, Olivier; Lecomte, Dominique Descriptive set theory and \(\omega\)-powers of finitary languages. (English) Zbl 1505.03097 Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 518-541 (2020). MSC: 03E15 68Q45 × Cite Format Result Cite Review PDF Full Text: arXiv
Bell, Jason; Lidbetter, Thomas F.; Shallit, Jeffrey Additive number theory via approximation by regular languages. (English) Zbl 1467.11011 Int. J. Found. Comput. Sci. 31, No. 6, 667-687 (2020). Reviewer: Jean-Paul Allouche (Paris) MSC: 11B13 11A63 11B85 68R15 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Praba, B.; Saranya, R. Application of the graph cellular automaton in generating languages. (English) Zbl 1510.68047 Math. Comput. Simul. 168, 111-121 (2020). MSC: 68Q80 05C90 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Chasovskikh, Anatoliy A. Maximum subclasses in classes of linear automata over finite fields. (English. Russian original) Zbl 1499.68206 Discrete Math. Appl. 30, No. 6, 365-374 (2020); translation from Diskretn. Mat. 31, No. 4, 88-101 (2019). MSC: 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Rigo, Michel From combinatorial games to shape-symmetric morphisms. (English) Zbl 1457.91116 Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer. Lect. Notes Math. 2273, 227-291 (2020). MSC: 91A46 91A68 68R15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Beier, Simon New results on semilinear sets and variants of jumping finite automata. (English) Zbl 1471.68003 Berlin: Logos Verlag; Gießen: Univ. Gießen, Fachbereich Mathematik und Informatik, Physik, Geographie (Diss.) (ISBN 978-3-8325-5210-7/pbk). xi, 232 p. (2020). Reviewer: Peter Kostolányi (Bratislava) MSC: 68-02 68Q45 68Q70 × Cite Format Result Cite Review PDF
Arroyo, Fernando; Mitrana, Victor; Păun, Andrei; Păun, Mihaela; Sanchez Couso, Jose Ramon On the group memory complexity of extended finite automata over groups. (English) Zbl 1462.68099 J. Log. Algebr. Methods Program. 117, Article ID 100605, 8 p. (2020). MSC: 68Q45 20F10 × Cite Format Result Cite Review PDF Full Text: DOI
Potechin, Aaron; Shallit, Jeffrey Lengths of words accepted by nondeterministic finite automata. (English) Zbl 1461.68104 Inf. Process. Lett. 162, Article ID 105993, 4 p. (2020). Reviewer: Ludwig Staiger (Halle) MSC: 68Q45 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhang, Kuize; Giua, Alessandro On detectability of labeled Petri nets and finite automata. (English) Zbl 1448.93038 Discrete Event Dyn. Syst. 30, No. 3, 465-497 (2020). MSC: 93B07 93C65 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zantema, Hans Complexity of automatic sequences. (English) Zbl 1482.68129 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 260-271 (2020). Reviewer: Jean-Paul Allouche (Paris) MSC: 68Q45 11B85 68R15 × Cite Format Result Cite Review PDF Full Text: DOI
Char, Ian G.; Lladser, Manuel E. Stochastic analysis of minimal automata growth for generalized strings. (English) Zbl 1434.68240 Methodol. Comput. Appl. Probab. 22, No. 1, 329-347 (2020). MSC: 68Q45 68Q87 68W40 × Cite Format Result Cite Review PDF Full Text: DOI
Romero Navarrete, Lise Rommel; Telles, Guilherme P. Practical regular expression constrained sequence alignment. (English) Zbl 1433.68635 Theor. Comput. Sci. 815, 95-108 (2020). MSC: 68W32 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Park, Seong-Jin; Cho, Kwang-Hyun Achieving a global objective with competing networked agents in the framework of discrete event systems. (English) Zbl 1436.93086 Int. J. Control 93, No. 4, 889-897 (2020). MSC: 93C65 93B05 93B70 × Cite Format Result Cite Review PDF Full Text: DOI
Kolpakov, Alexander; Talambutsa, Alexey Spherical and geodesic growth rates of right-angled Coxeter and Artin groups are Perron numbers. (English) Zbl 1485.20100 Discrete Math. 343, No. 3, Article ID 111763, 8 p. (2020). MSC: 20F55 20F36 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Martin, Donald E. K. Minimal auxiliary Markov chains through sequential elimination of states. (English) Zbl 07551041 Commun. Stat., Simulation Comput. 48, No. 4, 1040-1054 (2019). MSC: 62-XX × Cite Format Result Cite Review PDF Full Text: DOI
Czyzowicz, Jurek; Dereniowski, Dariusz; Pelc, Andrzej Building a nest by an automaton. (English) Zbl 07525472 Bender, Michael A. (ed.) et al., 27th annual European symposium on algorithms, ESA 2019, Munich/Garching, Germany, September 9–11, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 144, Article 35, 14 p. (2019). MSC: 68Q45 68T40 × Cite Format Result Cite Review PDF Full Text: DOI