Shallit, Jeffrey; Shan, Sonja Linghui; Yang, Kai Hsiang Automatic sequences in negative bases and proofs of some conjectures of Shevelev. (English) Zbl 07689051 RAIRO, Theor. Inform. Appl. 57, Paper No. 4, 22 p. (2023). MSC: 68R15 11B85 11A63 68Q45 03D05 PDF BibTeX XML Cite \textit{J. Shallit} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 4, 22 p. (2023; Zbl 07689051) Full Text: DOI arXiv OpenURL
Currie, James; Ochem, Pascal; Rampersad, Narad; Shallit, Jeffrey Properties of a ternary infinite word. (English) Zbl 07689048 RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023). MSC: 11B85 68R15 03D05 68Q45 PDF BibTeX XML Cite \textit{J. Currie} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023; Zbl 07689048) Full Text: DOI arXiv OpenURL
Nozdrunov, Vladislav I. Decomposition of polynomials using the shift-composition operation. (English. Russian original) Zbl 07688761 Discrete Math. Appl. 33, No. 2, 87-97 (2023); translation from Diskretn. Mat. 33, No. 4, 68-82 (2021). MSC: 68Q45 94A55 16P10 PDF BibTeX XML Cite \textit{V. I. Nozdrunov}, Discrete Math. Appl. 33, No. 2, 87--97 (2023; Zbl 07688761); translation from Diskretn. Mat. 33, No. 4, 68--82 (2021) Full Text: DOI OpenURL
Babakov, R. M.; Barkalov, A. A. A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions. (English. Ukrainian original) Zbl 07683867 Cybern. Syst. Anal. 59, No. 2, 190-198 (2023); translation from Kibern. Sist. Anal. 59, No. 2, 18-26 (2023). MSC: 68M07 68Q45 PDF BibTeX XML Cite \textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 59, No. 2, 190--198 (2023; Zbl 07683867); translation from Kibern. Sist. Anal. 59, No. 2, 18--26 (2023) Full Text: DOI OpenURL
Mrykhin, Mikhail; Okhotin, Alexander The hardest language for grammars with context operators. (English) Zbl 07681292 Theor. Comput. Sci. 958, Article ID 113829, 19 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Mrykhin} and \textit{A. Okhotin}, Theor. Comput. Sci. 958, Article ID 113829, 19 p. (2023; Zbl 07681292) Full Text: DOI arXiv OpenURL
Charlier, Émilie; Cisternino, Célia; Masáková, Zuzana; Pelantová, Edita Spectrum, algebraicity and normalization in alternate bases. (English) Zbl 07679890 J. Number Theory 249, 470-499 (2023). MSC: 11K16 11R06 37B10 68Q45 PDF BibTeX XML Cite \textit{É. Charlier} et al., J. Number Theory 249, 470--499 (2023; Zbl 07679890) Full Text: DOI arXiv OpenURL
Bartholdi, Laurent; Noce, Marialaura Tree languages and branched groups. (English) Zbl 07673741 Math. Z. 303, No. 4, Paper No. 96, 13 p. (2023). Reviewer: Andrea Caranti (Trento) MSC: 20E08 68Q45 20F10 PDF BibTeX XML Cite \textit{L. Bartholdi} and \textit{M. Noce}, Math. Z. 303, No. 4, Paper No. 96, 13 p. (2023; Zbl 07673741) Full Text: DOI arXiv OpenURL
Mathonet, Pierre; Rigo, Michel; Stipulanti, Manon; Zénaïdi, Naïm On digital sequences associated with Pascal’s triangle. (English) Zbl 07672929 Aequationes Math. 97, No. 2, 391-423 (2023). Reviewer: Uğur Duran (Iskenderun) MSC: 05A10 11A63 11B65 11B85 68R15 68Q45 PDF BibTeX XML Cite \textit{P. Mathonet} et al., Aequationes Math. 97, No. 2, 391--423 (2023; Zbl 07672929) Full Text: DOI arXiv OpenURL
Pilaud, Vincent; Pons, Vivane; Tamayo Jimenez, Daniel Permutree sorting. (English) Zbl 07672781 Algebr. Comb. 6, No. 1, 53-74 (2023). MSC: 68P10 68Q45 68R05 05E99 PDF BibTeX XML Cite \textit{V. Pilaud} et al., Algebr. Comb. 6, No. 1, 53--74 (2023; Zbl 07672781) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{L.-Y. Huang} et al., Nonlinearity 36, No. 5, 2541--2566 (2023; Zbl 07672510) Full Text: DOI OpenURL
Lehner, Florian; Lindorfer, Christian Self-avoiding walks and multiple context-free languages. (English) Zbl 07670894 Comb. Theory 3, No. 1, Paper No. 18, 50 p. (2023). MSC: 20F10 68Q45 05C25 PDF BibTeX XML Cite \textit{F. Lehner} and \textit{C. Lindorfer}, Comb. Theory 3, No. 1, Paper No. 18, 50 p. (2023; Zbl 07670894) Full Text: DOI arXiv OpenURL
Wu, Yaokun; Zhu, Yinfeng Primitivity and Hurwitz primitivity of nonnegative matrix tuples: a unified approach. (English) Zbl 07669857 SIAM J. Matrix Anal. Appl. 44, No. 1, 196-211 (2023). MSC: 15A21 15B48 47D03 68Q19 68Q45 PDF BibTeX XML Cite \textit{Y. Wu} and \textit{Y. Zhu}, SIAM J. Matrix Anal. Appl. 44, No. 1, 196--211 (2023; Zbl 07669857) Full Text: DOI OpenURL
Nyberg-Brodda, Carl-Fredrik On the word problem for free products of semigroups and monoids. (English) Zbl 07665506 J. Algebra 622, 721-741 (2023). MSC: 20M05 20F10 20M35 68Q45 PDF BibTeX XML Cite \textit{C.-F. Nyberg-Brodda}, J. Algebra 622, 721--741 (2023; Zbl 07665506) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{S. Broda} et al., J. Log. Algebr. Methods Program. 132, Article ID 100847, 19 p. (2023; Zbl 07665438) Full Text: DOI OpenURL
Š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 PDF BibTeX XML Cite \textit{E. Šestáková} et al., Discrete Appl. Math. 330, 78--97 (2023; Zbl 1506.68085) Full Text: DOI OpenURL
Richards, Dana; Hamburger, Henry Logic and language models for computer science. 3rd edition. (English) Zbl 07662225 Singapore: World Scientific (ISBN 978-981-12-6066-7/hbk; 978-981-12-6068-1/ebook). (2023). MSC: 68-01 03-01 03B70 68N17 68Q05 68Q42 68Q45 68Q55 68Q60 PDF BibTeX XML Full Text: DOI OpenURL
Peyrière, Jacques Moore machines duality. (English) Zbl 07661892 Theor. Comput. Sci. 951, Article ID 113774, 5 p. (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Peyrière}, Theor. Comput. Sci. 951, Article ID 113774, 5 p. (2023; Zbl 07661892) Full Text: DOI arXiv OpenURL
Chang, Yi-Jun; Studený, Jan; Suomela, Jukka Distributed graph problems through an automata-theoretic lens. (English) Zbl 07661886 Theor. Comput. Sci. 951, Article ID 113710, 22 p. (2023). MSC: 68W15 68Q25 68Q45 68R10 PDF BibTeX XML Cite \textit{Y.-J. Chang} et al., Theor. Comput. Sci. 951, Article ID 113710, 22 p. (2023; Zbl 07661886) Full Text: DOI OpenURL
Martynova, Olga; Okhotin, Alexander State complexity of transforming graph-walking automata to halting, returning and reversible. (English) Zbl 1506.68048 Inf. Comput. 291, Article ID 105011, 24 p. (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{O. Martynova} and \textit{A. Okhotin}, Inf. Comput. 291, Article ID 105011, 24 p. (2023; Zbl 1506.68048) Full Text: DOI OpenURL
Kuske, Dietrich; Schwarz, Christian Alternating complexity of counting first-order logic for the subword order. (English) Zbl 1507.68125 Acta Inf. 60, No. 1, 79-100 (2023). MSC: 68Q19 03B70 68Q45 PDF BibTeX XML Cite \textit{D. Kuske} and \textit{C. Schwarz}, Acta Inf. 60, No. 1, 79--100 (2023; Zbl 1507.68125) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{G. D'Agostino} et al., Theor. Comput. Sci. 949, Article ID 113709, 19 p. (2023; Zbl 07657062) Full Text: DOI arXiv OpenURL
Maietti, Maria Emilia; Trotta, Davide A characterization of generalized existential completions. (English) Zbl 1506.18008 Ann. Pure Appl. Logic 174, No. 4, Article ID 103234, 37 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C50 03G30 18D30 PDF BibTeX XML Cite \textit{M. E. Maietti} and \textit{D. Trotta}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103234, 37 p. (2023; Zbl 1506.18008) Full Text: DOI OpenURL
Levine, Alex EDT0L solutions to equations in group extensions. (English) Zbl 07648557 J. Algebra 619, 860-899 (2023). MSC: 20F10 20F65 68Q45 PDF BibTeX XML Cite \textit{A. Levine}, J. Algebra 619, 860--899 (2023; Zbl 07648557) Full Text: DOI arXiv OpenURL
Maneth, Sebastian; Seidl, Helmut Deciding origin equivalence of weakly self-nesting macro tree transducers. (English) Zbl 07647055 Inf. Process. Lett. 180, Article ID 106332, 10 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Maneth} and \textit{H. Seidl}, Inf. Process. Lett. 180, Article ID 106332, 10 p. (2023; Zbl 07647055) Full Text: DOI OpenURL
Murlak, Filip; Niwiński, Damian; Rytter, Wojciech 200 Problems on languages, automata, and computation. (English) Zbl 07647030 Cambridge: Cambridge University Press (ISBN 978-1-00-907378-3/pbk; 978-1-316-51346-0/hbk; 978-1-00-907263-2/ebook). x, 256 p. (2023). MSC: 68-01 00A07 68Q04 68Q42 68Q45 PDF BibTeX XML Cite \textit{F. Murlak} et al., 200 Problems on languages, automata, and computation. Cambridge: Cambridge University Press (2023; Zbl 07647030) Full Text: DOI OpenURL
Chavan, Pallavi; Jadhav, Ashish Automata theory and formal languages (to appear). (English) Zbl 07639970 Amsterdam: Elsevier/Academic Press (ISBN 978-0-323-91784-1/pbk). (2023). MSC: 68-01 68Q45 PDF BibTeX XML OpenURL
Silva, Pedro V. On the rational subsets of the monogenic free inverse monoid. (English) Zbl 07638314 J. Algebra 618, 214-240 (2023). MSC: 20M18 20M35 68Q45 68Q70 PDF BibTeX XML Cite \textit{P. V. Silva}, J. Algebra 618, 214--240 (2023; Zbl 07638314) Full Text: DOI arXiv OpenURL
Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid; Caccamo, Marco Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations. (English) Zbl 1505.93257 Automatica 147, Article ID 110696, 16 p. (2023). MSC: 93E03 93C55 93B50 68Q45 91A15 PDF BibTeX XML Cite \textit{B. Zhong} et al., Automatica 147, Article ID 110696, 16 p. (2023; Zbl 1505.93257) Full Text: DOI arXiv OpenURL
Stenzel, Raffael Univalence and completeness of Segal objects. (English) Zbl 1502.18048 J. Pure Appl. Algebra 227, No. 4, Article ID 107254, 47 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 18N50 18N60 18C50 55U35 PDF BibTeX XML Cite \textit{R. Stenzel}, J. Pure Appl. Algebra 227, No. 4, Article ID 107254, 47 p. (2023; Zbl 1502.18048) Full Text: DOI arXiv OpenURL
Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai Deciding path size of nondeterministic (and input-driven) pushdown automata. (English) Zbl 07619402 Theor. Comput. Sci. 939, 170-181 (2023). MSC: 68Q45 PDF BibTeX XML Cite \textit{Y.-S. Han} et al., Theor. Comput. Sci. 939, 170--181 (2023; Zbl 07619402) Full Text: DOI OpenURL
Kostolányi, Peter On some decidability questions concerning supports of rational series. (English) Zbl 07609042 Inf. Process. Lett. 179, Article ID 106290, 9 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Kostolányi}, Inf. Process. Lett. 179, Article ID 106290, 9 p. (2023; Zbl 07609042) Full Text: DOI OpenURL
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: 68Qxx PDF BibTeX XML Cite \textit{J. C. Lucero} and \textit{S. Staworko}, Inf. Process. Lett. 179, Article ID 106283, 4 p. (2023; Zbl 07609037) Full Text: DOI arXiv OpenURL
Chakraborty, Sankardeep; Grossi, Roberto; Sadakane, Kunihiko; Satti, Srinivasa Rao Succinct representation for (non)deterministic finite automata. (English) Zbl 1497.68254 J. Comput. Syst. Sci. 131, 1-12 (2023). MSC: 68Q45 68P05 68Q25 PDF BibTeX XML Cite \textit{S. Chakraborty} et al., J. Comput. Syst. Sci. 131, 1--12 (2023; Zbl 1497.68254) Full Text: DOI OpenURL
Kószó, Dávid Tree generating context-free grammars and regular tree grammars are equivalent. (English) Zbl 07670599 Ann. Math. Inform. 56, 58-70 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Kószó}, Ann. Math. Inform. 56, 58--70 (2022; Zbl 07670599) Full Text: DOI OpenURL
Horváth, Gábor; Kovács, Réka Nikolett; Szécsi, Péter Report on the differential testing of static analyzers. (English) Zbl 07670573 Acta Cybern. 25, No. 4, 781-795 (2022). MSC: 68N30 68Q45 PDF BibTeX XML Cite \textit{G. Horváth} et al., Acta Cybern. 25, No. 4, 781--795 (2022; Zbl 07670573) Full Text: DOI OpenURL
Pettorossi, Alberto Automata theory and formal languages. Fundamental notions, theorems, and techniques. (English) Zbl 07669079 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-031-11964-4/pbk). viii, 280 p. (2022). MSC: 68-01 68Q42 68Q45 PDF BibTeX XML Cite \textit{A. Pettorossi}, Automata theory and formal languages. Fundamental notions, theorems, and techniques. Cham: Springer (2022; Zbl 07669079) Full Text: DOI OpenURL
De Giuli, Eric Corrigendum to: “Emergence of order in random languages”. (English) Zbl 07656748 J. Phys. A, Math. Theor. 55, No. 48, Article ID 489501, 4 p. (2022). MSC: 68Q45 68Q42 68Q87 PDF BibTeX XML Cite \textit{E. De Giuli}, J. Phys. A, Math. Theor. 55, No. 48, Article ID 489501, 4 p. (2022; Zbl 07656748) Full Text: DOI OpenURL
Khashaev, Arthur A. On the membership problem for finite automata over symmetric groups. (English. Russian original) Zbl 1506.68047 Discrete Math. Appl. 32, No. 6, 383-389 (2022); translation from Diskretn. Mat. 33, No. 1, 82-90 (2021). MSC: 68Q45 20B30 68Q17 PDF BibTeX XML Cite \textit{A. A. Khashaev}, Discrete Math. Appl. 32, No. 6, 383--389 (2022; Zbl 1506.68047); translation from Diskretn. Mat. 33, No. 1, 82--90 (2021) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Triana, Juan \(r\)-Stirling numbers of the second kind through context-free grammars. (English) Zbl 07644296 J. Autom. Lang. Comb. 27, No. 4, 323-333 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Triana}, J. Autom. Lang. Comb. 27, No. 4, 323--333 (2022; Zbl 07644296) Full Text: Link OpenURL
Mansour, Toufik; Shabani, Armend Sh. Counting border edges in bargraphs. (English) Zbl 07644295 J. Autom. Lang. Comb. 27, No. 4, 309-321 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Mansour} and \textit{A. Sh. Shabani}, J. Autom. Lang. Comb. 27, No. 4, 309--321 (2022; Zbl 07644295) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{D. Kószó}, J. Autom. Lang. Comb. 27, No. 4, 271--307 (2022; Zbl 07644294) Full Text: Link OpenURL
Devi, P. Anusha; Monikandan, S. Degree associated edge reconstruction parameters of strong double brooms. (English) Zbl 07644293 J. Autom. Lang. Comb. 27, No. 4, 259-269 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{P. A. Devi} and \textit{S. Monikandan}, J. Autom. Lang. Comb. 27, No. 4, 259--269 (2022; Zbl 07644293) Full Text: arXiv Link OpenURL
Torres, David Fernando Casas A characterization of totally compatible automata. (English) Zbl 07644292 J. Autom. Lang. Comb. 27, No. 4, 249-257 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. F. C. Torres}, J. Autom. Lang. Comb. 27, No. 4, 249--257 (2022; Zbl 07644292) Full Text: arXiv Link OpenURL
Koga, Toshihiro A pumping lemma for regular closure of prefix-free languages. (English) Zbl 07629157 Inf. Comput. 289, Part A, Article ID 104976, 14 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{T. Koga}, Inf. Comput. 289, Part A, Article ID 104976, 14 p. (2022; Zbl 07629157) Full Text: DOI OpenURL
Caron, Pascal; Hamel-de le Court, Edwin; Luque, Jean-Gabriel Combination of roots and Boolean operations: an application to state complexity. (English) Zbl 07629152 Inf. Comput. 289, Part A, Article ID 104961, 18 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Caron} et al., Inf. Comput. 289, Part A, Article ID 104961, 18 p. (2022; Zbl 07629152) Full Text: DOI OpenURL
Priss, Uta A semiotic perspective on polysemy. (English) Zbl 07625972 Ann. Math. Artif. Intell. 90, No. 11-12, 1125-1138 (2022). MSC: 03B65 68T30 PDF BibTeX XML Cite \textit{U. Priss}, Ann. Math. Artif. Intell. 90, No. 11--12, 1125--1138 (2022; Zbl 07625972) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{Y. Antolín} et al., J. Comb. Algebra 6, No. 3--4, 265--314 (2022; Zbl 07624159) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{H. Fernau} and \textit{J. Bruchertseifer}, Math. Struct. Comput. Sci. 32, No. 2, 189--215 (2022; Zbl 07618926) Full Text: DOI OpenURL
Phalakarn, Kittiphop; Attrapadung, Nuttapong; Matsuura, Kanta Efficient oblivious evaluation protocol and conditional disclosure of secrets for DFA. (English) Zbl 07614782 Ateniese, Giuseppe (ed.) et al., Applied cryptography and network security. 20th international conference, ACNS 2022, Rome, Italy, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13269, 605-625 (2022). MSC: 68Q10 68Q45 94A60 PDF BibTeX XML Cite \textit{K. Phalakarn} et al., Lect. Notes Comput. Sci. 13269, 605--625 (2022; Zbl 07614782) Full Text: DOI OpenURL
Wirth, Laura Weighted automata, formal power series and weighted logic. (English) Zbl 1498.68005 BestMasters. Wiesbaden: Springer Spektrum; Konstanz: Univ. of Konstanz (Master Thesis) (ISBN 978-3-658-39322-9/pbk; 978-3-658-39323-6/ebook). xi, 190 p. (2022). MSC: 68-02 03B70 03D05 68Q45 68Q70 PDF BibTeX XML Cite \textit{L. Wirth}, Weighted automata, formal power series and weighted logic. Wiesbaden: Springer Spektrum; Konstanz: Univ. of Konstanz (Master Thesis) (2022; Zbl 1498.68005) Full Text: DOI OpenURL
Latteux, Michel; Roos, Yves On rationally controlled one-rule insertion systems. (English) Zbl 07609841 RAIRO, Theor. Inform. Appl. 56, Paper No. 8, 31 p. (2022). MSC: 68Q45 68Q42 68R15 PDF BibTeX XML Cite \textit{M. Latteux} and \textit{Y. Roos}, RAIRO, Theor. Inform. Appl. 56, Paper No. 8, 31 p. (2022; Zbl 07609841) Full Text: DOI OpenURL
Martín-Vide, Carlos (ed.); Truthe, Bianca (ed.) Special issue: Selected papers of the 14th international conference on language and automata theory and applications, LATA 2020. (English) Zbl 1496.00072 Inf. Comput. 288, Article ID 104912, 3 p. (2022). MSC: 00B25 68-06 68Q45 PDF BibTeX XML Cite \textit{C. Martín-Vide} (ed.) and \textit{B. Truthe} (ed.), Inf. Comput. 288, Article ID 104912, 3 p. (2022; Zbl 1496.00072) Full Text: DOI OpenURL
Uçan, Ahmet Bilal; Say, A. C. Cem Advice hierarchies among finite automata. (English) Zbl 07601281 Inf. Comput. 288, Article ID 104878, 13 p. (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. B. Uçan} and \textit{A. C. C. Say}, Inf. Comput. 288, Article ID 104878, 13 p. (2022; Zbl 07601281) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{J. Néraud}, Inf. Comput. 288, Article ID 104747, 18 p. (2022; Zbl 07601277) Full Text: DOI arXiv OpenURL
Gezer, M. Utkan; Say, A. C. Cem Constant-space, constant-randomness verifiers with arbitrarily small error. (English) Zbl 07601276 Inf. Comput. 288, Article ID 104744, 13 p. (2022). MSC: 68Q45 68Q10 PDF BibTeX XML Cite \textit{M. U. Gezer} and \textit{A. C. C. Say}, Inf. Comput. 288, Article ID 104744, 13 p. (2022; Zbl 07601276) Full Text: DOI arXiv OpenURL
Lin, Liyong; Tai, Ruochen; Zhu, Yuting; Su, Rong Observation-assisted heuristic synthesis of covert attackers against unknown supervisors. (English) Zbl 1500.93068 Discrete Event Dyn. Syst. 32, No. 3, 495-520 (2022). MSC: 93C65 93B70 93C83 68Q45 PDF BibTeX XML Cite \textit{L. Lin} et al., Discrete Event Dyn. Syst. 32, No. 3, 495--520 (2022; Zbl 1500.93068) Full Text: DOI arXiv OpenURL
Zhang, Kuize Detectability of labeled weighted automata over monoids. (English) Zbl 07600210 Discrete Event Dyn. Syst. 32, No. 3, 435-494 (2022). MSC: 68Q45 93B07 93C65 PDF BibTeX XML Cite \textit{K. Zhang}, Discrete Event Dyn. Syst. 32, No. 3, 435--494 (2022; Zbl 07600210) Full Text: DOI arXiv OpenURL
Barkalov, Alexander; Titarenko, Larysa; Mielcarek, Kamil; Mazurkiewicz, Małgorzata; Kawecka, Elżbieta Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs. (English) Zbl 1502.68007 Lecture Notes in Electrical Engineering 922. Cham: Springer (ISBN 978-3-031-16026-4/hbk; 978-3-031-16029-5/pbk; 978-3-031-16027-1/ebook). xv, 291 p. (2022). MSC: 68-02 68Q45 94C11 PDF BibTeX XML Cite \textit{A. Barkalov} et al., Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs. Cham: Springer (2022; Zbl 1502.68007) Full Text: DOI OpenURL
Golmohamadian, Masoumeh; Zahedi, Mohammad Mehdi The language of epidemic. (English) Zbl 07595351 Bull. Iran. Math. Soc. 48, No. 5, 2105-2123 (2022). MSC: 68Q45 05C69 PDF BibTeX XML Cite \textit{M. Golmohamadian} and \textit{M. M. Zahedi}, Bull. Iran. Math. Soc. 48, No. 5, 2105--2123 (2022; Zbl 07595351) Full Text: DOI OpenURL
Gray, Robert D.; Silva, Pedro V.; Szakács, Nóra Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs. (English) Zbl 07594509 J. Algebra 611, 651-687 (2022). Reviewer: Jorge Almeida (Porto) MSC: 20M32 20M05 20M18 20M35 68Q45 20M75 PDF BibTeX XML Cite \textit{R. D. Gray} et al., J. Algebra 611, 651--687 (2022; Zbl 07594509) Full Text: DOI arXiv OpenURL
Geffert, Viliam; Kapoutsis, Christos A.; Zakzok, Mohammad Improved complement for two-way alternating automata. (English) Zbl 07592345 Acta Inf. 59, No. 5, 619-669 (2022). MSC: 68Q05 68Q10 68Q19 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Acta Inf. 59, No. 5, 619--669 (2022; Zbl 07592345) Full Text: DOI OpenURL
Jain, A.; Jain, S.; Petalcorin, G. C.; Jr. Construction of \(\alpha\)-language from the language of a QDPDA of order “\(n\)”. (English) Zbl 07587505 J. Anal. Appl. 20, No. 2, 135-150 (2022). MSC: 68T99 68Q45 PDF BibTeX XML Cite \textit{A. Jain} et al., J. Anal. Appl. 20, No. 2, 135--150 (2022; Zbl 07587505) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{G. Pighizzini} et al., J. Autom. Lang. Comb. 27, No. 1--3, 229--244 (2022; Zbl 07584604) Full Text: Link OpenURL
Mráz, František; Otto, Friedrich Recognizing picture languages by reductions to string languages. (English) Zbl 07584603 J. Autom. Lang. Comb. 27, No. 1-3, 199-228 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. Mráz} and \textit{F. Otto}, J. Autom. Lang. Comb. 27, No. 1--3, 199--228 (2022; Zbl 07584603) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{O. A. S. Lyon} and \textit{K. Salomaa}, J. Autom. Lang. Comb. 27, No. 1--3, 187--197 (2022; Zbl 07584602) Full Text: Link OpenURL
Koss, Tore Reverting and combining soliton bursts. (English) Zbl 07584601 J. Autom. Lang. Comb. 27, No. 1-3, 179-186 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Koss}, J. Autom. Lang. Comb. 27, No. 1--3, 179--186 (2022; Zbl 07584601) Full Text: Link OpenURL
Kari, Lila; Mahalingam, Kalpana; Pandoh, Palak; Wang, Zihao Primitivity of atom Watson-Crick Fibonacci words. (English) Zbl 07584600 J. Autom. Lang. Comb. 27, No. 1-3, 151-178 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{L. Kari} et al., J. Autom. Lang. Comb. 27, No. 1--3, 151--178 (2022; Zbl 07584600) Full Text: Link OpenURL
Fazekas, Szilárd Zsolt; Mercaș, Robert; Wu, Olivia Complexities for jumps and sweeps. (English) Zbl 07584599 J. Autom. Lang. Comb. 27, No. 1-3, 131-149 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Z. Fazekas} et al., J. Autom. Lang. Comb. 27, No. 1--3, 131--149 (2022; Zbl 07584599) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{H. Bordihn} and \textit{H. Jürgensen}, J. Autom. Lang. Comb. 27, No. 1--3, 91--130 (2022; Zbl 07584598) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{P. Battyányi} et al., J. Autom. Lang. Comb. 27, No. 1--3, 79--90 (2022; Zbl 07584597) Full Text: Link OpenURL
Axelsen, Holger Bock; Kutrib, Martin; Malcher, Andreas Reversible shrinking two-pushdown automata. (English) Zbl 07584596 J. Autom. Lang. Comb. 27, No. 1-3, 47-77 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. B. Axelsen} et al., J. Autom. Lang. Comb. 27, No. 1--3, 47--77 (2022; Zbl 07584596) Full Text: Link OpenURL
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Verlan, Sergey Regulated insertion-deletion systems. (English) Zbl 07584595 J. Autom. Lang. Comb. 27, No. 1-3, 15-45 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Alhazov} et al., J. Autom. Lang. Comb. 27, No. 1--3, 15--45 (2022; Zbl 07584595) Full Text: Link OpenURL
Manea, Florin (ed.); Truthe, Bianca (ed.) Preface: Special issue dedicated to Jürgen Dassow on the occasion of his 75th birthday. (English) Zbl 1495.00084 J. Autom. Lang. Comb. 27, No. 1-3, 3-13 (2022). MSC: 00B15 68-06 68Q45 00B30 PDF BibTeX XML Cite \textit{F. Manea} (ed.) and \textit{B. Truthe} (ed.), J. Autom. Lang. Comb. 27, No. 1--3, 3--13 (2022; Zbl 1495.00084) Full Text: Link OpenURL
Shojaei-Fard, Ali Non-perturbative graph languages, halting problem and complexity. (English) Zbl 07583895 Forum Math. 34, No. 5, 1159-1185 (2022). MSC: 03D80 05C63 68Q42 68Q45 81T18 PDF BibTeX XML Cite \textit{A. Shojaei-Fard}, Forum Math. 34, No. 5, 1159--1185 (2022; Zbl 07583895) Full Text: DOI OpenURL
Behague, Natalie; Johnson, Robert Synchronizing times for \(k\)-sets in automata. (English) Zbl 07582311 Electron. J. Comb. 29, No. 3, Research Paper P3.41, 23 p. (2022). MSC: 68Q45 68R05 68R10 05D40 PDF BibTeX XML Cite \textit{N. Behague} and \textit{R. Johnson}, Electron. J. Comb. 29, No. 3, Research Paper P3.41, 23 p. (2022; Zbl 07582311) Full Text: DOI arXiv OpenURL
Ekici, Burak Formal categorical reasoning. (English) Zbl 07582177 Turk. J. Math. 46, No. 4, 1538-1552 (2022). MSC: 68V15 18C50 PDF BibTeX XML Cite \textit{B. Ekici}, Turk. J. Math. 46, No. 4, 1538--1552 (2022; Zbl 07582177) Full Text: DOI OpenURL
Troyka, Justin M.; Zhuang, Yan Fibonacci numbers, consecutive patterns, and inverse peaks. (English) Zbl 1498.11060 Adv. Appl. Math. 141, Article ID 102406, 19 p. (2022). MSC: 11B39 05A05 05A15 05A19 05E05 68Q45 PDF BibTeX XML Cite \textit{J. M. Troyka} and \textit{Y. Zhuang}, Adv. Appl. Math. 141, Article ID 102406, 19 p. (2022; Zbl 1498.11060) Full Text: DOI arXiv OpenURL
Fujioka, Kaoru; Okubo, Fumiya; Yokomori, Takashi \(\mathcal{L}\)-reduction computation revisited. (English) Zbl 07578093 Acta Inf. 59, No. 4, 409-426 (2022). MSC: 68Q42 68Q45 68Q04 PDF BibTeX XML Cite \textit{K. Fujioka} et al., Acta Inf. 59, No. 4, 409--426 (2022; Zbl 07578093) Full Text: DOI OpenURL
Dassow, Jürgen; Jecker, Ismaël Operational complexity and pumping lemmas. (English) Zbl 07578090 Acta Inf. 59, No. 4, 337-355 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Dassow} and \textit{I. Jecker}, Acta Inf. 59, No. 4, 337--355 (2022; Zbl 07578090) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{P. J. Grabner}, Indag. Math., New Ser. 33, No. 5, 1033--1048 (2022; Zbl 1503.37028) Full Text: DOI arXiv OpenURL
Muškardin, Edi; Aichernig, Bernhard K.; Pill, Ingo; Tappler, Martin Learning finite state models from recurrent neural networks. (English) Zbl 1502.68263 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 229-248 (2022). MSC: 68T05 68Q32 68Q45 PDF BibTeX XML Cite \textit{E. Muškardin} et al., Lect. Notes Comput. Sci. 13274, 229--248 (2022; Zbl 1502.68263) Full Text: DOI OpenURL
Saeedloei, Neda; Kluźniak, Feliks Untangling the graphs of timed automata to decrease the number of clocks. (English) Zbl 1502.68167 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 168-187 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{N. Saeedloei} and \textit{F. Kluźniak}, Lect. Notes Comput. Sci. 13274, 168--187 (2022; Zbl 1502.68167) Full Text: DOI OpenURL
Khomenko, Victor; Koutny, Maciej; Yakovlev, Alex Avoiding exponential explosion in Petri net models of control flows. (English) Zbl 1499.68227 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, 261-277 (2022). MSC: 68Q85 68Q25 68Q45 68R10 PDF BibTeX XML Cite \textit{V. Khomenko} et al., Lect. Notes Comput. Sci. 13288, 261--277 (2022; Zbl 1499.68227) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Bertrand} et al., Lect. Notes Comput. Sci. 13288, 43--63 (2022; Zbl 1499.68167) Full Text: DOI OpenURL
Renkin, Florian; Schlehuber-Caissier, Philipp; Duret-Lutz, Alexandre; Pommellet, Adrien Effective reductions of Mealy machines. (English) Zbl 07573247 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 114-130 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. Renkin} et al., Lect. Notes Comput. Sci. 13273, 114--130 (2022; Zbl 07573247) Full Text: DOI arXiv OpenURL
Heuberger, Clemens; Krenn, Daniel; Lipnik, Gabriel F. Asymptotic analysis of \(q\)-recursive sequences. (English) Zbl 07572791 Algorithmica 84, No. 9, 2480-2532 (2022). MSC: 11A63 05A16 11B37 30B50 68Q45 68R05 68R15 PDF BibTeX XML Cite \textit{C. Heuberger} et al., Algorithmica 84, No. 9, 2480--2532 (2022; Zbl 07572791) Full Text: DOI arXiv OpenURL
Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. (English) Zbl 1492.68007 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-9196-2). xii, 30 articles, not consecutively paged (2022). MSC: 68-06 93-06 68Q45 68Q60 93C30 00B25 PDF BibTeX XML Cite Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM) (2022; Zbl 1492.68007) Full Text: DOI OpenURL
Inoue, Yusuke; Hashimoto, Kenji; Seki, Hiroyuki An ambiguity hierarchy of weighted context-free grammars. (English) Zbl 07572326 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, 238-250 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{Y. Inoue} et al., Lect. Notes Comput. Sci. 13266, 238--250 (2022; Zbl 07572326) Full Text: DOI OpenURL
Hoffmann, Stefan Constrained synchronization for monotonic and solvable automata and automata with simple idempotents. (English) Zbl 07572325 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, 225-237 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Hoffmann}, Lect. Notes Comput. Sci. 13266, 225--237 (2022; Zbl 07572325) Full Text: DOI OpenURL
Dolu, Özdeniz; Ersoy, Nevzat; Gezer, M. Utkan; Say, A. C. Cem Real-time, constant-space, constant-randomness verifiers. (English) Zbl 07572324 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, 212-224 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{Ö. Dolu} et al., Lect. Notes Comput. Sci. 13266, 212--224 (2022; Zbl 07572324) Full Text: DOI arXiv OpenURL
Yılmaz, Öykü; Kıyak, Fırat; Üngör, Meriç; Say, A. C. Cem Energy complexity of regular language recognition. (English) Zbl 07572323 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, 200-211 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{Ö. Yılmaz} et al., Lect. Notes Comput. Sci. 13266, 200--211 (2022; Zbl 07572323) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{O. A. S. Lyon} and \textit{K. Salomaa}, Lect. Notes Comput. Sci. 13266, 189--199 (2022; Zbl 07572322) Full Text: DOI OpenURL
Martynova, Olga; Okhotin, Alexander Homomorphisms on graph-walking automata. (English) Zbl 07572321 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, 177-188 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{O. Martynova} and \textit{A. Okhotin}, Lect. Notes Comput. Sci. 13266, 177--188 (2022; Zbl 07572321) Full Text: DOI arXiv OpenURL
Tran, Nicholas Variations of the separating words problem. (English) Zbl 07572320 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, 165-176 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{N. Tran}, Lect. Notes Comput. Sci. 13266, 165--176 (2022; Zbl 07572320) Full Text: DOI OpenURL
Hospodár, Michal; Olejár, Viktor The cut operation in subclasses of convex languages (extended abstract). (English) Zbl 07572319 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, 152-164 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Hospodár} and \textit{V. Olejár}, Lect. Notes Comput. Sci. 13266, 152--164 (2022; Zbl 07572319) Full Text: DOI OpenURL
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias On the power of pushing or stationary moves for input-driven pushdown automata. (English) Zbl 07572318 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, 140-151 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Kutrib} et al., Lect. Notes Comput. Sci. 13266, 140--151 (2022; Zbl 07572318) Full Text: DOI OpenURL
Kutrib, Martin; Meyer, Uwe Syntax checking either way. (English) Zbl 07572317 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, 128-139 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Kutrib} and \textit{U. Meyer}, Lect. Notes Comput. Sci. 13266, 128--139 (2022; Zbl 07572317) Full Text: DOI OpenURL
Hutchinson, Laura K.; Mercaş, Robert; Reidenbach, Daniel A toolkit for Parikh matrices. (English) Zbl 07572316 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, 116-127 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{L. K. Hutchinson} et al., Lect. Notes Comput. Sci. 13266, 116--127 (2022; Zbl 07572316) Full Text: DOI OpenURL
Ruszil, Jakub Some results concerning careful synchronization of partial automata and subset synchronization of DFA’s. (English) Zbl 07572315 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, 106-115 (2022). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Ruszil}, Lect. Notes Comput. Sci. 13266, 106--115 (2022; Zbl 07572315) Full Text: DOI OpenURL