Dell’Erba, Daniele; Schewe, Sven; Tang, Qiyi; Zhanabekova, Tansholpan Semantic flowers for good-for-games and deterministic automata. (English) Zbl 07817063 Inf. Process. Lett. 185, Article ID 106468, 4 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Dell'Erba} et al., Inf. Process. Lett. 185, Article ID 106468, 4 p. (2024; Zbl 07817063) Full Text: DOI
Löding, Christof; Thomas, Wolfgang On the Boolean closure of deterministic top-down tree automata. (English) Zbl 07805935 Int. J. Found. Comput. Sci. 35, No. 1-2, 11-22 (2024). MSC: 68Qxx 03Bxx 03Dxx PDFBibTeX XMLCite \textit{C. Löding} and \textit{W. Thomas}, Int. J. Found. Comput. Sci. 35, No. 1--2, 11--22 (2024; Zbl 07805935) Full Text: DOI arXiv
Heuberger, Clemens; Krenn, Daniel; Lipnik, Gabriel F. A note on the relation between recognisable series and regular sequences, and their minimal linear representations. (English) Zbl 07799842 J. Symb. Comput. 123, Article ID 102295, 9 p. (2024). Reviewer: Michel Rigo (Liège) MSC: 11A63 68Q45 68R05 68R15 PDFBibTeX XMLCite \textit{C. Heuberger} et al., J. Symb. Comput. 123, Article ID 102295, 9 p. (2024; Zbl 07799842) Full Text: DOI arXiv
Boonsol, Julaluk; Kitpratyakul, Pongsakorn; Changphas, Thawhat; Pibaljommee, Bundit A product of tree languages. (English) Zbl 07774193 Int. J. Math. Comput. Sci. 19, No. 2, 279-288 (2024). MSC: 08C99 20M17 PDFBibTeX XMLCite \textit{J. Boonsol} et al., Int. J. Math. Comput. Sci. 19, No. 2, 279--288 (2024; Zbl 07774193) Full Text: Link
Sung, Sicheol; Ko, Sang-Ki; Han, Yo-Sub Smaller representation of compiled regular expressions. (English) Zbl 07810942 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, 290-301 (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Sung} et al., Lect. Notes Comput. Sci. 14151, 290--301 (2023; Zbl 07810942) Full Text: DOI
Attou, Samira; Mignot, Ludovic; Miklarz, Clément; Nicart, Florent Constrained multi-tildes. (English) Zbl 07810924 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, 66-78 (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Attou} et al., Lect. Notes Comput. Sci. 14151, 66--78 (2023; Zbl 07810924) 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 PDFBibTeX XMLCite \textit{V. Geffert}, Lect. Notes Comput. Sci. 14151, 3--20 (2023; Zbl 07810921) Full Text: DOI
Birkmann, Fabian; Milius, Stefan; Urbat, Henning Eilenberg’s variety theorem without Boolean operations. (English) Zbl 07798807 Inf. Comput. 295, Part A, Article ID 104916, 30 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Birkmann} et al., Inf. Comput. 295, Part A, Article ID 104916, 30 p. (2023; Zbl 07798807) Full Text: DOI
Martens, Wim; Niewerth, Matthias; Popp, Tina A trichotomy for regular trail queries. (English) Zbl 07788992 Log. Methods Comput. Sci. 19, No. 4, Paper No. 20, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{W. Martens} et al., Log. Methods Comput. Sci. 19, No. 4, Paper No. 20, 38 p. (2023; Zbl 07788992) Full Text: DOI arXiv
Selivanov, Victor Wadge degrees of classes of \(\omega\)-regular \(k\)-partitions. (English) Zbl 07770056 J. Autom. Lang. Comb. 28, No. 1-3, 167-199 (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Selivanov}, J. Autom. Lang. Comb. 28, No. 1--3, 167--199 (2023; Zbl 07770056) Full Text: arXiv Link
Průša, Daniel Two-dimensional rank-reducing grammars and their complexity. (English) Zbl 07770055 J. Autom. Lang. Comb. 28, No. 1-3, 143-166 (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Průša}, J. Autom. Lang. Comb. 28, No. 1--3, 143--166 (2023; Zbl 07770055) Full Text: Link
Marcus, Pierre; Törmä, Ilkka Winning sets of regular languages: descriptional and computational complexity. (English) Zbl 07770053 J. Autom. Lang. Comb. 28, No. 1-3, 89-120 (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Marcus} and \textit{I. Törmä}, J. Autom. Lang. Comb. 28, No. 1--3, 89--120 (2023; Zbl 07770053) Full Text: arXiv Link
Gustafson, Paul; Im, Mee Seong; Kaldawy, Remy; Khovanov, Mikhail; Lihn, Zachary Automata and one-dimensional TQFTs with defects. (English) Zbl 07743387 Lett. Math. Phys. 113, No. 5, Paper No. 93, 38 p. (2023). MSC: 57K16 68Q45 18M10 18M30 06A12 68Q70 18B20 PDFBibTeX XMLCite \textit{P. Gustafson} et al., Lett. Math. Phys. 113, No. 5, Paper No. 93, 38 p. (2023; Zbl 07743387) Full Text: DOI arXiv
Kupferman, Orna; Petruschka, Asaf Lazy regular sensing. (English) Zbl 07729836 Theor. Comput. Sci. 971, Article ID 114057, 13 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{A. Petruschka}, Theor. Comput. Sci. 971, Article ID 114057, 13 p. (2023; Zbl 07729836) Full Text: DOI
Holzer, Markus; Rauch, Christian On Jaffe’s pumping lemma, revisited. (English) Zbl 07729458 Bordihn, Henning (ed.) et al., Descriptional complexity of formal systems. 25th IFIP WG 1.02 international conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13918, 65-78 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Holzer} and \textit{C. Rauch}, Lect. Notes Comput. Sci. 13918, 65--78 (2023; Zbl 07729458) Full Text: DOI
Gazdag, Zsolt; Vágvölgyi, Sándor The component hierarchy of chain-free cooperating distributed regular tree grammars revisited. (English) Zbl 07728373 Int. J. Found. Comput. Sci. 34, No. 4, 411-427 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{Z. Gazdag} and \textit{S. Vágvölgyi}, Int. J. Found. Comput. Sci. 34, No. 4, 411--427 (2023; Zbl 07728373) Full Text: DOI
Henriksson, Viktor; Kufleitner, Manfred Forbidden patterns for \(\mathrm{FO}^2\) alternation over finite and infinite words. (English) Zbl 07727034 Int. J. Found. Comput. Sci. 34, No. 2-3, 183-224 (2023). MSC: 68Q45 03C13 68Q19 PDFBibTeX XMLCite \textit{V. Henriksson} and \textit{M. Kufleitner}, Int. J. Found. Comput. Sci. 34, No. 2--3, 183--224 (2023; Zbl 07727034) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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
Goldwurm, Massimiliano; Lin, Jianyi; Vignati, Marco Local limit laws for symbol statistics in bicomponent rational models. (English) Zbl 07723911 Theor. Comput. Sci. 970, Article ID 114051, 18 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Goldwurm} et al., Theor. Comput. Sci. 970, Article ID 114051, 18 p. (2023; Zbl 07723911) Full Text: DOI arXiv
Maraj, Aida; Nagel, Uwe Shift invariant algebras, Segre products and regular languages. (English) Zbl 1522.13042 J. Algebra 631, 236-266 (2023). Reviewer: Alessandro Gimigliano (Bologna) MSC: 13P25 13D40 13A02 PDFBibTeX XMLCite \textit{A. Maraj} and \textit{U. Nagel}, J. Algebra 631, 236--266 (2023; Zbl 1522.13042) Full Text: DOI arXiv
Bartholdi, Laurent; Noce, Marialaura Tree languages and branched groups. (English) Zbl 1512.20081 Math. Z. 303, No. 4, Paper No. 96, 13 p. (2023). Reviewer: Andrea Caranti (Trento) MSC: 20E08 68Q45 20F10 PDFBibTeX XMLCite \textit{L. Bartholdi} and \textit{M. Noce}, Math. Z. 303, No. 4, Paper No. 96, 13 p. (2023; Zbl 1512.20081) Full Text: DOI arXiv
Mathonet, Pierre; Rigo, Michel; Stipulanti, Manon; Zénaïdi, Naïm On digital sequences associated with Pascal’s triangle. (English) Zbl 1511.05005 Aequationes Math. 97, No. 2, 391-423 (2023). Reviewer: Uğur Duran (Iskenderun) MSC: 05A10 11A63 11B65 11B85 68R15 68Q45 PDFBibTeX XMLCite \textit{P. Mathonet} et al., Aequationes Math. 97, No. 2, 391--423 (2023; Zbl 1511.05005) Full Text: DOI arXiv
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério Location automata for synchronised shuffle expressions. (English) Zbl 07665438 J. Log. Algebr. Methods Program. 132, Article ID 100847, 19 p. (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Broda} et al., J. Log. Algebr. Methods Program. 132, Article ID 100847, 19 p. (2023; Zbl 07665438) Full Text: DOI
D’Agostino, Giovanna; Martincigh, Davide; Policriti, Alberto Ordering regular languages and automata: complexity. (English) Zbl 07657062 Theor. Comput. Sci. 949, Article ID 113709, 19 p. (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. D'Agostino} et al., Theor. Comput. Sci. 949, Article ID 113709, 19 p. (2023; Zbl 07657062) Full Text: DOI arXiv
Chavan, Pallavi Vijay; Jadhav, Ashish Automata theory and formal languages. (English) Zbl 07639970 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 PDFBibTeX XMLCite \textit{P. V. Chavan} and \textit{A. Jadhav}, Automata theory and formal languages. Amsterdam: Elsevier/Academic Press (2023; Zbl 07639970)
Lucero, Jorge C.; Staworko, Sławek A note on the class of languages generated by F-systems over regular languages. (English) Zbl 07609037 Inf. Process. Lett. 179, Article ID 106283, 4 p. (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. C. Lucero} and \textit{S. Staworko}, Inf. Process. Lett. 179, Article ID 106283, 4 p. (2023; Zbl 07609037) Full Text: DOI arXiv
Colcombet, Thomas; van Gool, Sam; Morvan, Rémi First-order separation over countable ordinals. (English) Zbl 07793033 Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 264-284 (2022). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{T. Colcombet} et al., Lect. Notes Comput. Sci. 13242, 264--284 (2022; Zbl 07793033) Full Text: DOI arXiv
Angluin, Dana; Antonopoulos, Timos; Fisman, Dana; George, Nevin Representing regular languages of infinite words using mod 2 multiplicity automata. (English) Zbl 07793020 Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 1-20 (2022). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{D. Angluin} et al., Lect. Notes Comput. Sci. 13242, 1--20 (2022; Zbl 07793020) Full Text: DOI
Guillon, Bruno; Lavado, Giovanna J.; Pighizzini, Giovanni; Prigioniero, Luca Weakly and strongly irreversible regular languages. (English) Zbl 07726985 Int. J. Found. Comput. Sci. 33, No. 3-4, 263-284 (2022). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q45 PDFBibTeX XMLCite \textit{B. Guillon} et al., Int. J. Found. Comput. Sci. 33, No. 3--4, 263--284 (2022; Zbl 07726985) Full Text: DOI
Gelle, Kitti; Iván, Szabolcs Descriptive complexity of reversible languages having finitely many reduced automata. (English) Zbl 07726984 Int. J. Found. Comput. Sci. 33, No. 3-4, 247-262 (2022). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Gelle} and \textit{S. Iván}, Int. J. Found. Comput. Sci. 33, No. 3--4, 247--262 (2022; Zbl 07726984) Full Text: DOI
Junges, Sebastian; Rot, Jurriaan Learning language intersections. (English) Zbl 1524.68161 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 371-381 (2022). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{S. Junges} and \textit{J. Rot}, Lect. Notes Comput. Sci. 13560, 371--381 (2022; Zbl 1524.68161) Full Text: DOI
Cleaveland, Rance Better automata through process algebra. (English) Zbl 1524.68168 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 116-136 (2022). MSC: 68Q45 68Q55 68Q85 PDFBibTeX XMLCite \textit{R. Cleaveland}, Lect. Notes Comput. Sci. 13560, 116--136 (2022; Zbl 1524.68168) Full Text: DOI arXiv
Pin, Jean-Éric Shuffle product of regular languages: results and open problems. (English) Zbl 07719129 Poulakis, Dimitrios (ed.) et al., Algebraic informatics. 9th international conference, CAI 2022, virtual event, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13706, 26-39 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{J.-É. Pin}, Lect. Notes Comput. Sci. 13706, 26--39 (2022; Zbl 07719129) Full Text: DOI
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 PDFBibTeX XMLCite \textit{R. Grigorchuk} et al., Algebra Discrete Math. 34, No. 1, 22--67 (2022; Zbl 1523.68038) Full Text: arXiv Link
Olderog, Ernst-Rüdiger; Steffen, Bernhard; Yi, Wang Model checking, synthesis, and learning. (English) Zbl 1522.68339 Olderog, Ernst-Rüdiger (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13030, 1-7 (2022). MSC: 68Q60 68Q32 68Q45 68Q85 PDFBibTeX XMLCite \textit{E.-R. Olderog} et al., Lect. Notes Comput. Sci. 13030, 1--7 (2022; Zbl 1522.68339) Full Text: DOI
Gomes, Leandro; Madeira, Alexandre; Soares Barbosa, Luis Weighted synchronous automata. (English) Zbl 1512.68141 Math. Struct. Comput. Sci. 32, No. 9, 1234-1253 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Gomes} et al., Math. Struct. Comput. Sci. 32, No. 9, 1234--1253 (2022; Zbl 1512.68141) Full Text: DOI
Kószó, Dávid Tree generating context-free grammars and regular tree grammars are equivalent. (English) Zbl 1524.68174 Ann. Math. Inform. 56, 58-70 (2022). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{D. Kószó}, Ann. Math. Inform. 56, 58--70 (2022; Zbl 1524.68174) Full Text: DOI
Groshev, Kirill I. On a class of irregular languages. (English. Russian original) Zbl 1506.68045 Discrete Math. Appl. 32, No. 6, 379-382 (2022); translation from Diskretn. Mat. 33, No. 3, 41-45 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. I. Groshev}, Discrete Math. Appl. 32, No. 6, 379--382 (2022; Zbl 1506.68045); translation from Diskretn. Mat. 33, No. 3, 41--45 (2021) Full Text: DOI
Leiß, Hans An algebraic representation of the fixed-point closure of \(^*\)-continuous Kleene algebras – a categorical Chomsky-Schützenberger theorem. (English) Zbl 07650539 Math. Struct. Comput. Sci. 32, No. 6, 685-728 (2022). MSC: 68Q70 18C50 PDFBibTeX XMLCite \textit{H. Leiß}, Math. Struct. Comput. Sci. 32, No. 6, 685--728 (2022; Zbl 07650539) Full Text: DOI
Kószó, Dávid Weighted tree generating regular systems over strong bimonoids with reduction semantics. (English) Zbl 07644294 J. Autom. Lang. Comb. 27, No. 4, 271-307 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Kószó}, J. Autom. Lang. Comb. 27, No. 4, 271--307 (2022; Zbl 07644294) Full Text: Link
Nagy, Benedek Union-complexities of Kleene plus operation. (English) Zbl 07643473 Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 24th IFIP WG 1.02 international conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13439, 197-211 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Nagy}, Lect. Notes Comput. Sci. 13439, 197--211 (2022; Zbl 07643473) Full Text: DOI
Maarand, Hendrik; Tamm, Hellis Yet another canonical nondeterministic automaton. (English) Zbl 07643472 Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 24th IFIP WG 1.02 international conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13439, 184-196 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{H. Maarand} and \textit{H. Tamm}, Lect. Notes Comput. Sci. 13439, 184--196 (2022; Zbl 07643472) Full Text: DOI
Berndt, Sebastian; Liśkiewicz, Maciej; Lutter, Matthias; Reischuk, Rüdiger Learning residual alternating automata. (English) Zbl 07629159 Inf. Comput. 289, Part A, Article ID 104981, 22 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Berndt} et al., Inf. Comput. 289, Part A, Article ID 104981, 22 p. (2022; Zbl 07629159) Full Text: DOI
Antolín, Yago; Rivas, Cristóbal; Su, Hang Lu Regular left-orders on groups. (English) Zbl 07624159 J. Comb. Algebra 6, No. 3-4, 265-314 (2022). MSC: 20F60 06F15 68Q45 PDFBibTeX XMLCite \textit{Y. Antolín} et al., J. Comb. Algebra 6, No. 3--4, 265--314 (2022; Zbl 07624159) Full Text: DOI arXiv
Place, Thomas; Zeitoun, Marc Characterizing level one in group-based concatenation hierarchies. (English) Zbl 07615746 Kulikov, Alexander S. (ed.) et al., Computer science – theory and applications. 17th international computer science symposium in Russia, CSR 2022, virtual event, June 29 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13296, 320-337 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. Place} and \textit{M. Zeitoun}, Lect. Notes Comput. Sci. 13296, 320--337 (2022; Zbl 07615746) Full Text: DOI arXiv
Néraud, Jean Variable-length codes independent or closed with respect to edit relations. (English) Zbl 07601277 Inf. Comput. 288, Article ID 104747, 18 p. (2022). MSC: 68Q45 94A45 PDFBibTeX XMLCite \textit{J. Néraud}, Inf. Comput. 288, Article ID 104747, 18 p. (2022; Zbl 07601277) Full Text: DOI arXiv
Pighizzini, Giovanni; Prigioniero, Luca; Sádovský, Šimon 1-limited automata: witness languages and techniques. (English) Zbl 07584604 J. Autom. Lang. Comb. 27, No. 1-3, 229-244 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Pighizzini} et al., J. Autom. Lang. Comb. 27, No. 1--3, 229--244 (2022; Zbl 07584604) Full Text: Link
Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc Recognizing pro-\(\mathrm{R}\) closures of regular languages. (English) Zbl 1509.20074 Forum Math. 34, No. 5, 1131-1145 (2022). MSC: 20M07 20M35 22A99 68Q70 PDFBibTeX XMLCite \textit{J. Almeida} et al., Forum Math. 34, No. 5, 1131--1145 (2022; Zbl 1509.20074) Full Text: DOI arXiv
Grabner, Peter J. Purity results for some arithmetically defined measures. (English) Zbl 1503.37028 Indag. Math., New Ser. 33, No. 5, 1033-1048 (2022). MSC: 37B10 37B15 18C50 68Q45 PDFBibTeX XMLCite \textit{P. J. Grabner}, Indag. Math., New Ser. 33, No. 5, 1033--1048 (2022; Zbl 1503.37028) Full Text: DOI arXiv
Bertrand, Clément; Klaudel, Hanna; Peschanski, Frédéric Layered memory automata: recognizers for quasi-regular languages with unbounded memory. (English) Zbl 1499.68167 Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 43-63 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Bertrand} et al., Lect. Notes Comput. Sci. 13288, 43--63 (2022; Zbl 1499.68167) Full Text: DOI
Heuberger, Clemens; Krenn, Daniel; Lipnik, Gabriel F. Asymptotic analysis of \(q\)-recursive sequences. (English) Zbl 1523.11009 Algorithmica 84, No. 9, 2480-2532 (2022). Reviewer: Wolfgang Steiner (Paris) MSC: 11A63 05A16 11B37 30B50 68Q45 68R05 68R15 PDFBibTeX XMLCite \textit{C. Heuberger} et al., Algorithmica 84, No. 9, 2480--2532 (2022; Zbl 1523.11009) Full Text: DOI arXiv
Sung, Sicheol; Cheon, Hyunjoon; Han, Yo-Sub How to settle the ReDoS problem: back to the classical automata theory. (English) Zbl 07572310 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, 34-49 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Sung} et al., Lect. Notes Comput. Sci. 13266, 34--49 (2022; Zbl 07572310) Full Text: DOI
Cheon, Hyunjoon; Hahn, Joonghyuk; Han, Yo-Sub On the decidability of infix inclusion problem. (English) Zbl 07571003 Diekert, Volker (ed.) et al., Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13257, 115-126 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Cheon} et al., Lect. Notes Comput. Sci. 13257, 115--126 (2022; Zbl 07571003) Full Text: DOI
Fenner, Stephen; Padé, Daniel; Thierauf, Thomas The complexity of regex crosswords. (English) Zbl 1487.68126 Inf. Comput. 286, Article ID 104777, 18 p. (2022). MSC: 68Q25 68Q17 68Q45 PDFBibTeX XMLCite \textit{S. Fenner} et al., Inf. Comput. 286, Article ID 104777, 18 p. (2022; Zbl 1487.68126) Full Text: DOI
Peltomäki, Jarkko; Salo, Ville Automatic winning shifts. (English) Zbl 1507.68170 Inf. Comput. 285, Part B, Article ID 104883, 21 p. (2022). Reviewer: Michel Rigo (Liège) MSC: 68Q45 11B85 37B51 68R15 91A46 PDFBibTeX XMLCite \textit{J. Peltomäki} and \textit{V. Salo}, Inf. Comput. 285, Part B, Article ID 104883, 21 p. (2022; Zbl 1507.68170) Full Text: DOI arXiv
Gil, José Arturo; Santini, Simone Matching regular expressions on uncertain data. (English) Zbl 1518.68430 Algorithmica 84, No. 2, 532-564 (2022). MSC: 68W32 68Q45 PDFBibTeX XMLCite \textit{J. A. Gil} and \textit{S. Santini}, Algorithmica 84, No. 2, 532--564 (2022; Zbl 1518.68430) Full Text: DOI
Ghorani, M. Characterization of tree automata based on quantum logic. (English) Zbl 1524.68171 Int. J. Theor. Phys. 61, No. 2, Paper No. 13, 24 p. (2022). MSC: 68Q45 03G12 81P68 PDFBibTeX XMLCite \textit{M. Ghorani}, Int. J. Theor. Phys. 61, No. 2, Paper No. 13, 24 p. (2022; Zbl 1524.68171) Full Text: DOI
Nagy, Benedek Operational union-complexity. (English) Zbl 07488458 Inf. Comput. 284, Article ID 104692, 9 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Nagy}, Inf. Comput. 284, Article ID 104692, 9 p. (2022; Zbl 07488458) Full Text: DOI
Yang, Chao Intuitionistic fuzzy \(( \otimes,N)\)-general regular languages and their minimization implementation. (English) Zbl 07478972 Int. J. Approx. Reasoning 143, 216-231 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Yang}, Int. J. Approx. Reasoning 143, 216--231 (2022; Zbl 07478972) Full Text: DOI
Camino, Carlos; Diekert, Volker; Dundua, Besik; Marin, Mircea; Sénizergues, Géraud Regular matching problems for infinite trees. (English) Zbl 07471714 Log. Methods Comput. Sci. 18, No. 1, Paper No. 25, 38 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Camino} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 25, 38 p. (2022; Zbl 07471714) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{P. Wolf}, Theor. Comput. Sci. 899, 25--38 (2022; Zbl 1515.68169) Full Text: DOI arXiv
Homenda, Władysław; Pedrycz, Witold Automata theory and formal languages. (English) Zbl 1527.68001 De Gruyter Graduate. Berlin: De Gruyter (ISBN 978-3-11-075227-4/pbk; 978-3-11-075230-4/ebook). xiii, 231 p. (2022). Reviewer: Andreas Maletti (Leipzig) MSC: 68-01 68Q45 PDFBibTeX XMLCite \textit{W. Homenda} and \textit{W. Pedrycz}, Automata theory and formal languages. Berlin: De Gruyter (2022; Zbl 1527.68001) Full Text: DOI
Khaled, Mahmoud; Zamani, Majid OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807706 Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 33, 2 p. (2021). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Khaled} and \textit{M. Zamani}, in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 33, 2 p. (2021; Zbl 07807706) Full Text: DOI
Khaled, Mahmoud; Zamani, Majid OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807698 Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 7 p. (2021). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Khaled} and \textit{M. Zamani}, in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 7 p. (2021; Zbl 07807698) Full Text: DOI
Arenas, Marcelo; Croquevielle, Luis Alberto; Jayaram, Rajesh; Riveros, Cristian A polynomial-time approximation algorithm for counting words accepted by an NFA. (English) Zbl 07765139 Khuller, Samir (ed.) et al., Proceedings of the 53rd annual ACM SIGACT symposium on theory of computing, STOC ’21, virtual, Italy, June 21–25, 2021. New York, NY: Association for Computing Machinery (ACM). 4 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Arenas} et al., in: Proceedings of the 53rd annual ACM SIGACT symposium on theory of computing, STOC '21, virtual, Italy, June 21--25, 2021. New York, NY: Association for Computing Machinery (ACM). 4 (2021; Zbl 07765139) Full Text: DOI
Yang, Chao; Li, Yongming Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them. (English) Zbl 1522.68289 Fuzzy Sets Syst. 420, 72-86 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Yang} and \textit{Y. Li}, Fuzzy Sets Syst. 420, 72--86 (2021; Zbl 1522.68289) Full Text: DOI
Ivanov, Sergiu; Verlan, Sergey Single semi-contextual insertion-deletion systems. (English) Zbl 07735512 Nat. Comput. 20, No. 4, 703-712 (2021). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{S. Ivanov} and \textit{S. Verlan}, Nat. Comput. 20, No. 4, 703--712 (2021; Zbl 07735512) Full Text: DOI
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi On the generative capacity of matrix insertion-deletion systems of small sum-norm. (English) Zbl 07735510 Nat. Comput. 20, No. 4, 671-689 (2021). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{H. Fernau} et al., Nat. Comput. 20, No. 4, 671--689 (2021; Zbl 07735510) Full Text: DOI
Jecker, Ismaël; Mazzocchi, Nicolas; Wolf, Petra Decomposing permutation automata. (English) Zbl 07730620 Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 18, 19 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. Jecker} et al., LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 18, 19 p. (2021; Zbl 07730620) Full Text: DOI arXiv
Finkel, Olivier Two effective properties of \(\omega\)-rational functions. (English) Zbl 1520.03009 Int. J. Found. Comput. Sci. 32, No. 7, 901-920 (2021). MSC: 03D05 03E15 PDFBibTeX XMLCite \textit{O. Finkel}, Int. J. Found. Comput. Sci. 32, No. 7, 901--920 (2021; Zbl 1520.03009) Full Text: DOI
Bleak, Collin Normalish amenable subgroups of the R. Thompson groups. (English) Zbl 1523.20043 Int. J. Found. Comput. Sci. 32, No. 6, 785-800 (2021). Reviewer: Enrico Jabara (Venezia) MSC: 20E07 20E22 68Q45 43A07 46L05 PDFBibTeX XMLCite \textit{C. Bleak}, Int. J. Found. Comput. Sci. 32, No. 6, 785--800 (2021; Zbl 1523.20043) Full Text: DOI
Ko, Sang-Ki; Han, Yo-Sub Left is better than right for reducing nondeterminism of NFAs. (English) Zbl 1522.68276 Int. J. Found. Comput. Sci. 32, No. 5, 531-550 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{S.-K. Ko} and \textit{Y.-S. Han}, Int. J. Found. Comput. Sci. 32, No. 5, 531--550 (2021; Zbl 1522.68276) Full Text: DOI
Ko, Sang-Ki; Han, Yo-Sub; Salomaa, Kai Generalizations of code languages with marginal errors. (English) Zbl 1522.68277 Int. J. Found. Comput. Sci. 32, No. 5, 509-529 (2021). MSC: 68Q45 94A45 PDFBibTeX XMLCite \textit{S.-K. Ko} et al., Int. J. Found. Comput. Sci. 32, No. 5, 509--529 (2021; Zbl 1522.68277) Full Text: DOI
Nicaud, Cyril; Rotondo, Pablo Random regular expression over huge alphabets. (English) Zbl 1522.68281 Int. J. Found. Comput. Sci. 32, No. 5, 419-438 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Nicaud} and \textit{P. Rotondo}, Int. J. Found. Comput. Sci. 32, No. 5, 419--438 (2021; Zbl 1522.68281) Full Text: DOI
Gnatenko, A. R.; Zakharov, V. A. On the satisfiability and model checking for one parameterized extension of linear-time temporal logic. (Russian. English summary) Zbl 1517.68237 Model. Anal. Inf. Sist. 28, No. 4, 356-371 (2021). MSC: 68Q60 03B44 68Q17 68Q25 68Q45 PDFBibTeX XMLCite \textit{A. R. Gnatenko} and \textit{V. A. Zakharov}, Model. Anal. Inf. Sist. 28, No. 4, 356--371 (2021; Zbl 1517.68237) Full Text: DOI MNR
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro Complete abstractions for checking language inclusion. (English) Zbl 1508.68190 ACM Trans. Comput. Log. 22, No. 4, Article No. 22, 40 p. (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Ganty} et al., ACM Trans. Comput. Log. 22, No. 4, Article No. 22, 40 p. (2021; Zbl 1508.68190) Full Text: DOI arXiv
Wang, Shoufeng On languages defined by generalized principal right congruences. (English) Zbl 1513.68033 Southeast Asian Bull. Math. 45, No. 6, 969-975 (2021). MSC: 68Q70 20M35 PDFBibTeX XMLCite \textit{S. Wang}, Southeast Asian Bull. Math. 45, No. 6, 969--975 (2021; Zbl 1513.68033) Full Text: Link
Shallit, Jeffrey Synchronized sequences. (English) Zbl 1494.68208 Lecroq, Thierry (ed.) et al., Combinatorics on words. 13th international conference, WORDS 2021, Rouen, France, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12847, 1-19 (2021). MSC: 68R15 11B85 68Q45 68V15 PDFBibTeX XMLCite \textit{J. Shallit}, Lect. Notes Comput. Sci. 12847, 1--19 (2021; Zbl 1494.68208) Full Text: DOI
Edixhoven, Luc; Jongmans, Sung-Shik Balanced-by-construction regular and \(\omega \)-regular languages. (English) Zbl 1518.68168 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 130-142 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Edixhoven} and \textit{S.-S. Jongmans}, Lect. Notes Comput. Sci. 12811, 130--142 (2021; Zbl 1518.68168) Full Text: DOI
Diekert, Volker; Fernau, Henning; Wolf, Petra Properties of graphs specified by a regular language. (English) Zbl 07498720 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 117-129 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Diekert} et al., Lect. Notes Comput. Sci. 12811, 117--129 (2021; Zbl 07498720) Full Text: DOI arXiv
Berzish, Murphy; Kulczynski, Mitja; Mora, Federico; Manea, Florin; Day, Joel D.; Nowotka, Dirk; Ganesh, Vijay An SMT solver for regular expressions and linear arithmetic over string length. (English) Zbl 1493.68182 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 289-312 (2021). MSC: 68Q45 68T20 68V20 68W32 PDFBibTeX XMLCite \textit{M. Berzish} et al., Lect. Notes Comput. Sci. 12760, 289--312 (2021; Zbl 1493.68182) Full Text: DOI arXiv
Kim, Su-Hyeon; Im, Hyeonseung; Ko, Sang-Ki Efficient enumeration of regular expressions for faster regular expression synthesis. (English) Zbl 07495105 Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 65-76 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{S.-H. Kim} et al., Lect. Notes Comput. Sci. 12803, 65--76 (2021; Zbl 07495105) Full Text: DOI
van der Merwe, Brink; Mouton, Jacobie; van Litsenborgh, Steyn; Berglund, Martin Memoized regular expressions. (English) Zbl 07495103 Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 39-52 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. van der Merwe} et al., Lect. Notes Comput. Sci. 12803, 39--52 (2021; Zbl 07495103) 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 PDFBibTeX XMLCite \textit{L. Fleischer} and \textit{J. Shallit}, J. Autom. Lang. Comb. 26, No. 3--4, 221--253 (2021; Zbl 1517.68187) Full Text: Link
Broda, Sabine; Maia, Eva; Moreira, Nelma; Reis, Rogério The prefix automaton. (English) Zbl 1517.68176 J. Autom. Lang. Comb. 26, No. 1-2, 17-53 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Broda} et al., J. Autom. Lang. Comb. 26, No. 1--2, 17--53 (2021; Zbl 1517.68176) Full Text: Link
Bojańczyk, Mikołaj Algebra for trees. (English) Zbl 1517.68255 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 801-838 (2021). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q70 PDFBibTeX XMLCite \textit{M. Bojańczyk}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 801--838 (2021; Zbl 1517.68255) Full Text: DOI
Ésik, Zoltán Equational theories for automata. (English) Zbl 1518.68216 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729-764 (2021). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729--764 (2021; Zbl 1518.68216) Full Text: DOI
Koucký, Michal Circuit complexity of regular languages. (English) Zbl 1510.68037 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 493-523 (2021). Reviewer: Klaus D. Kiermeier (Berlin) MSC: 68Q45 68Q06 68Q70 PDFBibTeX XMLCite \textit{M. Koucký}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 493--523 (2021; Zbl 1510.68037) Full Text: DOI
Gruber, Hermann; Lee, Jonathan; Shallit, Jeffrey Enumerating regular expressions and their languages. (English) Zbl 1517.68190 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 459-491 (2021). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q45 05A16 PDFBibTeX XMLCite \textit{H. Gruber} et al., in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 459--491 (2021; Zbl 1517.68190) Full Text: DOI arXiv
Dassow, Jürgen; Truthe, Bianca Accepting networks of evolutionary processors with resources restricted and structure limited filters. (English) Zbl 1508.68188 RAIRO, Theor. Inform. Appl. 55, Paper No. 8, 27 p. (2021). MSC: 68Q45 68Q06 68Q07 68Q42 PDFBibTeX XMLCite \textit{J. Dassow} and \textit{B. Truthe}, RAIRO, Theor. Inform. Appl. 55, Paper No. 8, 27 p. (2021; Zbl 1508.68188) Full Text: DOI
Attou, Samira; Mignot, Ludovic; Ziadi, Djelloul Bottom-up derivatives of tree expressions. (English) Zbl 1508.68183 RAIRO, Theor. Inform. Appl. 55, Paper No. 4, 21 p. (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Attou} et al., RAIRO, Theor. Inform. Appl. 55, Paper No. 4, 21 p. (2021; Zbl 1508.68183) Full Text: DOI arXiv
Chebotarev, A. N. Intersection of \(-\omega \)-regular expressions. (English. Ukrainian original) Zbl 1484.68078 Cybern. Syst. Anal. 57, No. 5, 676-684 (2021); translation from Kibern. Sist. Anal. 57, No. 5, 12-21 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 57, No. 5, 676--684 (2021; Zbl 1484.68078); translation from Kibern. Sist. Anal. 57, No. 5, 12--21 (2021) Full Text: DOI
Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola Wheeler languages. (English) Zbl 1518.68162 Inf. Comput. 281, Article ID 104820, 27 p. (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Alanko} et al., Inf. Comput. 281, Article ID 104820, 27 p. (2021; Zbl 1518.68162) Full Text: DOI arXiv
Masciulli, Tommaso; Pola, Giordano Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications. (English) Zbl 1478.93375 Automatica 130, Article ID 109712, 7 p. (2021). MSC: 93C62 93C30 93C10 68Q17 PDFBibTeX XMLCite \textit{T. Masciulli} and \textit{G. Pola}, Automatica 130, Article ID 109712, 7 p. (2021; Zbl 1478.93375) Full Text: DOI
Getir Yaman, Sinem; Pavese, Esteban; Grunske, Lars Quantitative verification of stochastic regular expressions. (English) Zbl 1519.68135 Fundam. Inform. 179, No. 2, 135-163 (2021). MSC: 68Q60 03B70 68Q45 68Q87 PDFBibTeX XMLCite \textit{S. Getir Yaman} et al., Fundam. Inform. 179, No. 2, 135--163 (2021; Zbl 1519.68135) Full Text: DOI
Tsarev, Aleksandr; Kukharev, Andrei Classes of monoids with applications: formations of languages and multiply local formations of finite groups. (English) Zbl 07424481 Rend. Circ. Mat. Palermo (2) 70, No. 3, 1257-1268 (2021). MSC: 20F17 20D10 PDFBibTeX XMLCite \textit{A. Tsarev} and \textit{A. Kukharev}, Rend. Circ. Mat. Palermo (2) 70, No. 3, 1257--1268 (2021; Zbl 07424481) Full Text: DOI
De Felice, Clelia; Zaccagnino, Rocco; Zizza, Rosalba Hybrid and generalized marked systems. (English) Zbl 1514.68096 Theor. Comput. Sci. 894, 79-90 (2021). MSC: 68Q45 68Q07 PDFBibTeX XMLCite \textit{C. De Felice} et al., Theor. Comput. Sci. 894, 79--90 (2021; Zbl 1514.68096) Full Text: DOI
Fernandes, Bernardo H.; Gomes, Gracinda M. S. \(\omega\sharp\)-algebras. (English) Zbl 1506.08007 Commun. Algebra 49, No. 9, 3969-3999 (2021). MSC: 08A70 08B20 20M07 20M35 68Q45 68Q70 PDFBibTeX XMLCite \textit{B. H. Fernandes} and \textit{G. M. S. Gomes}, Commun. Algebra 49, No. 9, 3969--3999 (2021; Zbl 1506.08007) Full Text: DOI
Saarela, Aleksi Separating the words of a language by counting factors. (English) Zbl 1497.68279 Fundam. Inform. 180, No. 4, 375-393 (2021). MSC: 68Q45 68R15 PDFBibTeX XMLCite \textit{A. Saarela}, Fundam. Inform. 180, No. 4, 375--393 (2021; Zbl 1497.68279) Full Text: DOI
Gastin, Paul; Manuel, Amaldev; Govind, R. Reversible regular languages: logical and algebraic characterisations. (English) Zbl 1497.68266 Fundam. Inform. 180, No. 4, 333-350 (2021). MSC: 68Q45 03B70 20M35 PDFBibTeX XMLCite \textit{P. Gastin} et al., Fundam. Inform. 180, No. 4, 333--350 (2021; Zbl 1497.68266) Full Text: DOI