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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Honkala, Juha Quasi-universal \(k\)-regular sequences. (English) Zbl 1523.11050 Theor. Comput. Sci. 891, 84-89 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 11B85 68Q70 PDFBibTeX XMLCite \textit{J. Honkala}, Theor. Comput. Sci. 891, 84--89 (2021; Zbl 1523.11050) Full Text: DOI
Place, Thomas; Zeitoun, Marc Separation for dot-depth two. (English) Zbl 07407796 Log. Methods Comput. Sci. 17, No. 3, Paper No. 24, 42 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Place} and \textit{M. Zeitoun}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 24, 42 p. (2021; Zbl 07407796) Full Text: arXiv Link
Rabinovich, Alexander; Tiferet, Doron Ambiguity hierarchy of regular infinite tree languages. (English) Zbl 07407790 Log. Methods Comput. Sci. 17, No. 3, Paper No. 18, 28 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Rabinovich} and \textit{D. Tiferet}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 18, 28 p. (2021; Zbl 07407790) Full Text: arXiv Link
Dudakov, Sergey; Karlov, Boris On decidability of theories of regular languages. (English) Zbl 1517.68185 Theory Comput. Syst. 65, No. 3, 462-478 (2021). MSC: 68Q45 03B25 03D05 03F30 68Q17 PDFBibTeX XMLCite \textit{S. Dudakov} and \textit{B. Karlov}, Theory Comput. Syst. 65, No. 3, 462--478 (2021; Zbl 1517.68185) Full Text: DOI
Han, Yo-Sub; Ko, Sang-Ki; Ng, Timothy; Salomaa, Kai Consensus string problem for multiple regular languages. (English) Zbl 1497.68269 Inf. Comput. 279, Article ID 104615, 9 p. (2021). MSC: 68Q45 68Q17 68Q25 PDFBibTeX XMLCite \textit{Y.-S. Han} et al., Inf. Comput. 279, Article ID 104615, 9 p. (2021; Zbl 1497.68269) Full Text: DOI
Pasteczka, Paweł Online premeans and their computation complexity. (English) Zbl 1518.26018 Result. Math. 76, No. 3, Paper No. 141, 23 p. (2021). MSC: 26E60 68Q45 68W27 PDFBibTeX XMLCite \textit{P. Pasteczka}, Result. Math. 76, No. 3, Paper No. 141, 23 p. (2021; Zbl 1518.26018) Full Text: DOI arXiv
Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogério Partial derivatives of regular expressions over alphabet-invariant and user-defined labels. (English) Zbl 1504.68106 Theor. Comput. Sci. 870, 103-120 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Konstantinidis} et al., Theor. Comput. Sci. 870, 103--120 (2021; Zbl 1504.68106) Full Text: DOI
Jastrzab, Tomasz; Czech, Zbigniew J.; Wieczorek, Wojciech Parallel algorithms for minimal nondeterministic finite automata inference. (English) Zbl 1482.68114 Fundam. Inform. 178, No. 3, 203-227 (2021). MSC: 68Q32 68Q45 68W10 PDFBibTeX XMLCite \textit{T. Jastrzab} et al., Fundam. Inform. 178, No. 3, 203--227 (2021; Zbl 1482.68114) Full Text: DOI
Charlier, Émilie; Cisternino, Célia; Stipulanti, Manon Robustness of Pisot-regular sequences. (English) Zbl 1506.11016 Adv. Appl. Math. 125, Article ID 102151, 22 p. (2021). MSC: 11A67 11B85 68Q70 PDFBibTeX XMLCite \textit{É. Charlier} et al., Adv. Appl. Math. 125, Article ID 102151, 22 p. (2021; Zbl 1506.11016) Full Text: DOI arXiv
Han, Yo-Sub; Ko, Sang-Ki; Ng, Timothy; Salomaa, Kai Closest substring problems for regular languages. (English) Zbl 1497.68268 Theor. Comput. Sci. 862, 144-154 (2021). MSC: 68Q45 68Q17 68Q25 PDFBibTeX XMLCite \textit{Y.-S. Han} et al., Theor. Comput. Sci. 862, 144--154 (2021; Zbl 1497.68268) Full Text: DOI
Berglund, Martin; Bester, Willem; van der Merwe, Brink Formalising and implementing Boost POSIX regular expression matching. (English) Zbl 1477.68145 Theor. Comput. Sci. 857, 147-165 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Berglund} et al., Theor. Comput. Sci. 857, 147--165 (2021; Zbl 1477.68145) Full Text: DOI
Singh, Anupam K.; Tiwari, S. P. Fuzzy regular languages based on residuated lattice. (English) Zbl 1504.68115 New Math. Nat. Comput. 16, No. 2, 363-376 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. K. Singh} and \textit{S. P. Tiwari}, New Math. Nat. Comput. 16, No. 2, 363--376 (2020; Zbl 1504.68115) Full Text: DOI
Gnatenko, A. R.; Zakharov, V. A. On the model checking problem for some extension of \(\mathrm{CTL}^\ast\). (Russian. English summary) Zbl 1513.68025 Model. Anal. Inf. Sist. 27, No. 4, 428-441 (2020). MSC: 68Q60 03B44 68Q25 68Q45 PDFBibTeX XMLCite \textit{A. R. Gnatenko} and \textit{V. A. Zakharov}, Model. Anal. Inf. Sist. 27, No. 4, 428--441 (2020; Zbl 1513.68025) Full Text: DOI MNR
Zechner, Niklas Derivatives of regular expressions with cuts. (English) Zbl 1504.68121 J. Autom. Lang. Comb. 25, No. 4, 349-355 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{N. Zechner}, J. Autom. Lang. Comb. 25, No. 4, 349--355 (2020; Zbl 1504.68121) Full Text: Link
Klíma, Ondřej; Polák, Libor Forbidden patterns for ordered automata. (English) Zbl 1462.68116 J. Autom. Lang. Comb. 25, No. 2-3, 141-169 (2020). MSC: 68Q70 PDFBibTeX XMLCite \textit{O. Klíma} and \textit{L. Polák}, J. Autom. Lang. Comb. 25, No. 2--3, 141--169 (2020; Zbl 1462.68116) Full Text: Link
Dassow, Jürgen; Truthe, Bianca Generating networks of evolutionary processors with resources restricted and structure limited filters. (English) Zbl 1462.68035 J. Autom. Lang. Comb. 25, No. 2-3, 83-113 (2020). MSC: 68Q06 68Q07 68Q45 PDFBibTeX XMLCite \textit{J. Dassow} and \textit{B. Truthe}, J. Autom. Lang. Comb. 25, No. 2--3, 83--113 (2020; Zbl 1462.68035) Full Text: Link
Konstantinidis, Stavros Every regular bifix code is a finite union of regular infix codes. (English) Zbl 1462.68107 J. Autom. Lang. Comb. 25, No. 1, 55-59 (2020). MSC: 68Q45 94A45 PDFBibTeX XMLCite \textit{S. Konstantinidis}, J. Autom. Lang. Comb. 25, No. 1, 55--59 (2020; Zbl 1462.68107) Full Text: Link
Flores, Ramón; González-Meneses, Juan On lexicographic representatives in braid monoids. (English) Zbl 1511.20232 J. Algebr. Comb. 52, No. 4, 561-597 (2020). MSC: 20M35 20M10 20M30 20F36 68Q70 PDFBibTeX XMLCite \textit{R. Flores} and \textit{J. González-Meneses}, J. Algebr. Comb. 52, No. 4, 561--597 (2020; Zbl 1511.20232) Full Text: DOI arXiv
Hospodár, Michal; Holzer, Markus The ranges of accepting state complexities of languages resulting from some operations. (English) Zbl 1482.68126 Int. J. Found. Comput. Sci. 31, No. 8, 1159-1177 (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Hospodár} and \textit{M. Holzer}, Int. J. Found. Comput. Sci. 31, No. 8, 1159--1177 (2020; Zbl 1482.68126) Full Text: DOI
Guillon, Bruno; Pighizzini, Giovanni; Prigioniero, Luca Non-self-embedding grammars, constant-height pushdown automata, and limited automata. (English) Zbl 1462.68104 Int. J. Found. Comput. Sci. 31, No. 8, 1133-1157 (2020). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{B. Guillon} et al., Int. J. Found. Comput. Sci. 31, No. 8, 1133--1157 (2020; Zbl 1462.68104) Full Text: DOI
Brzozowski, Janusz A.; Kari, Lila; Li, Bai; Szykuła, Marek State complexity of overlap assembly. (English) Zbl 1458.68091 Int. J. Found. Comput. Sci. 31, No. 8, 1113-1132 (2020). MSC: 68Q45 92D20 PDFBibTeX XMLCite \textit{J. A. Brzozowski} et al., Int. J. Found. Comput. Sci. 31, No. 8, 1113--1132 (2020; Zbl 1458.68091) Full Text: DOI
Attou, Samira; Mignot, Ludovic; Ziadi, Djelloul The bottom-up position tree automaton and the father automaton. (English) Zbl 1458.68082 Int. J. Found. Comput. Sci. 31, No. 8, 1051-1068 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Attou} et al., Int. J. Found. Comput. Sci. 31, No. 8, 1051--1068 (2020; Zbl 1458.68082) Full Text: DOI
Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogério; Young, Joshua Regular expressions and transducers over alphabet-invariant and user-defined labels. (English) Zbl 1474.68176 Int. J. Found. Comput. Sci. 31, No. 8, 983-1019 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Konstantinidis} et al., Int. J. Found. Comput. Sci. 31, No. 8, 983--1019 (2020; Zbl 1474.68176) Full Text: DOI
Baudru, Nicolas; Reynier, Pierre-Alain From two-way transducers to regular function expressions. (English) Zbl 1477.68143 Int. J. Found. Comput. Sci. 31, No. 6, 843-873 (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDFBibTeX XMLCite \textit{N. Baudru} and \textit{P.-A. Reynier}, Int. J. Found. Comput. Sci. 31, No. 6, 843--873 (2020; Zbl 1477.68143) Full Text: DOI
Fleischer, Lukas The intersection problem for finite semigroups. (English) Zbl 1474.68172 Int. J. Found. Comput. Sci. 31, No. 6, 827-842 (2020). MSC: 68Q45 20M35 68Q25 PDFBibTeX XMLCite \textit{L. Fleischer}, Int. J. Found. Comput. Sci. 31, No. 6, 827--842 (2020; Zbl 1474.68172) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. Bell} et al., Int. J. Found. Comput. Sci. 31, No. 6, 667--687 (2020; Zbl 1467.11011) Full Text: DOI
Çevik, Ahmet Palindromic characteristic of committed graphs and some model theoretic properties. (English) Zbl 1458.68094 Int. J. Found. Comput. Sci. 31, No. 4, 483-498 (2020). MSC: 68Q45 03C98 05C75 68R15 PDFBibTeX XMLCite \textit{A. Çevik}, Int. J. Found. Comput. Sci. 31, No. 4, 483--498 (2020; Zbl 1458.68094) Full Text: DOI
Lindorfer, Christian; Woess, Wolfgang The language of self-avoiding walks. (English) Zbl 1488.05349 Combinatorica 40, No. 5, 691-720 (2020). Reviewer: Roger Villemaire (Montréal) MSC: 05C63 68Q45 PDFBibTeX XMLCite \textit{C. Lindorfer} and \textit{W. Woess}, Combinatorica 40, No. 5, 691--720 (2020; Zbl 1488.05349) Full Text: DOI arXiv
Duchêne, Eric; Marsault, Victor; Parreau, Aline; Rigo, Michel Taking-and-merging games as rewrite games. (English) Zbl 1462.68102 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 5, 19 p. (2020). MSC: 68Q45 68Q42 91A46 PDFBibTeX XMLCite \textit{E. Duchêne} et al., Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 5, 19 p. (2020; Zbl 1462.68102) Full Text: arXiv Link
Chebotarev, A. N. From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions. (English. Russian original) Zbl 1477.68149 Cybern. Syst. Anal. 56, No. 5, 689-700 (2020); translation from Kibern. Sist. Anal. 2020, No. 5, 3-17 (2020). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 56, No. 5, 689--700 (2020; Zbl 1477.68149); translation from Kibern. Sist. Anal. 2020, No. 5, 3--17 (2020) Full Text: DOI
Paduraru, Ciprian Ionut; Stefanescu, Gheorghe Adaptive virtual organisms: a compositional model for complex hardware-software binding. (English) Zbl 1471.68215 Fundam. Inform. 173, No. 2-3, 139-176 (2020). MSC: 68T01 68M01 68N01 68N15 PDFBibTeX XMLCite \textit{C. I. Paduraru} and \textit{G. Stefanescu}, Fundam. Inform. 173, No. 2--3, 139--176 (2020; Zbl 1471.68215) Full Text: DOI arXiv
Karlov, B. On theory of regular languages with the Kleene star operation. (English) Zbl 1486.03059 Lobachevskii J. Math. 41, No. 9, 1660-1665 (2020). MSC: 03C15 03C65 68Q45 68Q17 PDFBibTeX XMLCite \textit{B. Karlov}, Lobachevskii J. Math. 41, No. 9, 1660--1665 (2020; Zbl 1486.03059) Full Text: DOI