Bondarenko, Ievgen; Kivva, Bohdan Automaton groups and complete square complexes. (English) Zbl 07531898 Groups Geom. Dyn. 16, No. 1, 305-332 (2022). MSC: 20F65 20E08 20M35 20E26 PDF BibTeX XML Cite \textit{I. Bondarenko} and \textit{B. Kivva}, Groups Geom. Dyn. 16, No. 1, 305--332 (2022; Zbl 07531898) Full Text: DOI OpenURL
Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. (English) Zbl 07524445 Theor. Comput. Sci. 919, 118-143 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Droste} et al., Theor. Comput. Sci. 919, 118--143 (2022; Zbl 07524445) Full Text: DOI OpenURL
Oliynyk, A. S.; Prokhorchuk, V. A. Amalgamated free product in terms of automata constructions. (English) Zbl 07517834 Commun. Algebra 50, No. 2, 740-750 (2022). MSC: 20E08 20E06 68Txx PDF BibTeX XML Cite \textit{A. S. Oliynyk} and \textit{V. A. Prokhorchuk}, Commun. Algebra 50, No. 2, 740--750 (2022; Zbl 07517834) Full Text: DOI OpenURL
Carl, Merlin Space-bounded OTMs and \(\operatorname{REG}^\infty \). (English) Zbl 07481741 Computability 11, No. 1, 41-56 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{M. Carl}, Computability 11, No. 1, 41--56 (2022; Zbl 07481741) Full Text: DOI arXiv OpenURL
Ceccherini-Silberstein, Tullio; Coornaert, Michel; Phung, Xuan Kien On linear shifts of finite type and their endomorphisms. (English) Zbl 07461218 J. Pure Appl. Algebra 226, No. 6, Article ID 106962, 27 p. (2022). Reviewer: Laurent Bartholdi (Göttingen) MSC: 37B15 37B20 37B51 37E15 20F65 68Q80 PDF BibTeX XML Cite \textit{T. Ceccherini-Silberstein} et al., J. Pure Appl. Algebra 226, No. 6, Article ID 106962, 27 p. (2022; Zbl 07461218) Full Text: DOI arXiv OpenURL
Wolf, Petra From decidability to undecidability by considering regular sets of instances. (English) Zbl 07450572 Theor. Comput. Sci. 899, 25-38 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Wolf}, Theor. Comput. Sci. 899, 25--38 (2022; Zbl 07450572) Full Text: DOI arXiv OpenURL
Asinowski, Andrei; Banderier, Cydril; Hackl, Benjamin Flip-sort and combinatorial aspects of pop-stack sorting. (English) Zbl 07524066 Discrete Math. Theor. Comput. Sci. 22, No. 2, Paper No. 4, 39 p. (2021). MSC: 68P10 05A15 PDF BibTeX XML Cite \textit{A. Asinowski} et al., Discrete Math. Theor. Comput. Sci. 22, No. 2, Paper No. 4, 39 p. (2021; Zbl 07524066) Full Text: Link OpenURL
Kuznetsova, A. L.; Afonin, S. A. Automata model for verifying attibuted-based access control policy in systems with a finite number of objects. (English. Russian original) Zbl 07514311 Mosc. Univ. Math. Bull. 76, No. 5, 230-233 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57-60 (2021). MSC: 68Qxx 03Dxx 03Cxx PDF BibTeX XML Cite \textit{A. L. Kuznetsova} and \textit{S. A. Afonin}, Mosc. Univ. Math. Bull. 76, No. 5, 230--233 (2021; Zbl 07514311); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57--60 (2021) Full Text: DOI OpenURL
Fleischer, Lukas; Shallit, Jeffrey Automata, palindromes, and reversed subwords. (English) Zbl 07488333 J. Autom. Lang. Comb. 26, No. 3-4, 221-253 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{L. Fleischer} and \textit{J. Shallit}, J. Autom. Lang. Comb. 26, No. 3--4, 221--253 (2021; Zbl 07488333) Full Text: Link OpenURL
Karpova, Olga; Shur, Arseny M. Words separation and positive identities in symmetric groups. (English) Zbl 07488326 J. Autom. Lang. Comb. 26, No. 1-2, 67-89 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{O. Karpova} and \textit{A. M. Shur}, J. Autom. Lang. Comb. 26, No. 1--2, 67--89 (2021; Zbl 07488326) Full Text: Link OpenURL
Zieliński, Cezary Robotic system design methodology utilising embodied agents. (English) Zbl 1481.93094 Kulczycki, Piotr (ed.) et al., Automatic control, robotics, and information processing. Cham: Springer. Stud. Syst. Decis. Control 296, 523-561 (2021). MSC: 93C85 93A16 93B12 PDF BibTeX XML Cite \textit{C. Zieliński}, Stud. Syst. Decis. Control 296, 523--561 (2021; Zbl 1481.93094) Full Text: DOI OpenURL
Zhirabok, Alexey; Zuev, Alexander; Filaretov, Vladimir; Shumsky, Alexey Fault identification in nonlinear hybrid systems. (English) Zbl 1478.93304 Nonlinear Anal., Hybrid Syst. 39, Article ID 100984, 15 p. (2021). MSC: 93C30 93B12 93C15 93B11 93C10 PDF BibTeX XML Cite \textit{A. Zhirabok} et al., Nonlinear Anal., Hybrid Syst. 39, Article ID 100984, 15 p. (2021; Zbl 1478.93304) Full Text: DOI OpenURL
Zhang, Kuize A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. (English) Zbl 07413824 Fundam. Inform. 181, No. 4, 339-371 (2021). MSC: 68Q45 68Q17 PDF BibTeX XML Cite \textit{K. Zhang}, Fundam. Inform. 181, No. 4, 339--371 (2021; Zbl 07413824) Full Text: DOI arXiv OpenURL
Jürgensen, Helmut; Staiger, Ludwig Automata for solid codes. (English) Zbl 07412753 Theor. Comput. Sci. 892, 25-47 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{H. Jürgensen} and \textit{L. Staiger}, Theor. Comput. Sci. 892, 25--47 (2021; Zbl 07412753) Full Text: DOI OpenURL
Pighizzini, Giovanni; Rovan, Branislav; Sádovský, Šimon Usefulness of information and unary languages. (English) Zbl 07405983 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 131-142 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Pighizzini} et al., Lect. Notes Comput. Sci. 12638, 131--142 (2021; Zbl 07405983) Full Text: DOI OpenURL
Chatzikalymnios, Evangelos; Fokkink, Wan; Grune, Dick; Hond, Brinio; Rutgers, Peter Detecting useless transitions in pushdown automata. (English) Zbl 07373412 Inf. Comput. 279, Article ID 104612, 12 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{E. Chatzikalymnios} et al., Inf. Comput. 279, Article ID 104612, 12 p. (2021; Zbl 07373412) Full Text: DOI arXiv OpenURL
Maraj, Aida; Nagel, Uwe Equivariant Hilbert series for hierarchical models. (English) Zbl 1465.13025 Algebr. Stat. 12, No. 1, 21-42 (2021). Reviewer: Amir Hashemi (Isfahan) MSC: 13P25 68W30 PDF BibTeX XML Cite \textit{A. Maraj} and \textit{U. Nagel}, Algebr. Stat. 12, No. 1, 21--42 (2021; Zbl 1465.13025) Full Text: DOI arXiv OpenURL
Mráz, František; Průša, Daniel; Wehar, Michael Two-dimensional pattern matching against local and regular-like picture languages. (English) Zbl 07354762 Theor. Comput. Sci. 870, 137-152 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Mráz} et al., Theor. Comput. Sci. 870, 137--152 (2021; Zbl 07354762) Full Text: DOI OpenURL
Han, Yo-Sub; Kim, Hwee; Masuda, Yusei; Seki, Shinnosuke A general architecture of oritatami systems for simulating arbitrary finite automata. (English) Zbl 07354757 Theor. Comput. Sci. 870, 29-52 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{Y.-S. Han} et al., Theor. Comput. Sci. 870, 29--52 (2021; Zbl 07354757) Full Text: DOI OpenURL
Shallit, Jeffrey Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking’s conjecture. (English) Zbl 07337404 Indag. Math., New Ser. 32, No. 3, 729-735 (2021). Reviewer: Thomas B. Ward (Newcastle) MSC: 11B85 68R15 PDF BibTeX XML Cite \textit{J. Shallit}, Indag. Math., New Ser. 32, No. 3, 729--735 (2021; Zbl 07337404) Full Text: DOI arXiv OpenURL
Kostolányi, Peter Rational elements of summation semirings. (English) Zbl 07333795 Theor. Comput. Sci. 867, 101-127 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q70 03D05 16Y60 18B20 68Q45 PDF BibTeX XML Cite \textit{P. Kostolányi}, Theor. Comput. Sci. 867, 101--127 (2021; Zbl 07333795) Full Text: DOI OpenURL
Wang, Haihui; Zhao, Luyao; Li, Ping Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness. (English) Zbl 07325898 Int. J. Approx. Reasoning 129, 20-40 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{H. Wang} et al., Int. J. Approx. Reasoning 129, 20--40 (2021; Zbl 07325898) Full Text: DOI OpenURL
Czyzowicz, Jurek; Dereniowski, Dariusz; Pelc, Andrzej Building a nest by an automaton. (English) Zbl 07303846 Algorithmica 83, No. 1, 144-176 (2021). MSC: 68Wxx 05Cxx PDF BibTeX XML Cite \textit{J. Czyzowicz} et al., Algorithmica 83, No. 1, 144--176 (2021; Zbl 07303846) Full Text: DOI arXiv OpenURL
Prokhorchuk, Veronika Generation of amalgamated free products of cyclic groups by finite automata over minimal alphabet. (English) Zbl 07297784 Theor. Comput. Sci. 856, 151-164 (2021). MSC: 20F10 20E18 68Q70 PDF BibTeX XML Cite \textit{V. Prokhorchuk}, Theor. Comput. Sci. 856, 151--164 (2021; Zbl 07297784) Full Text: DOI OpenURL
Arafailova, Ekaterina; Beldiceanu, Nicolas; Simonis, Helmut Invariants for time-series constraints. (English) Zbl 1479.90114 Constraints 25, No. 3-4, 71-120 (2020). MSC: 90B50 PDF BibTeX XML Cite \textit{E. Arafailova} et al., Constraints 25, No. 3--4, 71--120 (2020; Zbl 1479.90114) Full Text: DOI OpenURL
Finkel, Olivier; Lecomte, Dominique Descriptive set theory and \(\omega\)-powers of finitary languages. (English) Zbl 07377984 Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 518-541 (2020). MSC: 03Bxx 03Dxx PDF BibTeX XML Cite \textit{O. Finkel} and \textit{D. Lecomte}, Landsc. Log. 1, 518--541 (2020; Zbl 07377984) Full Text: arXiv OpenURL
Flores, Ramón; González-Meneses, Juan On lexicographic representatives in braid monoids. (English) Zbl 07339571 J. Algebr. Comb. 52, No. 4, 561-597 (2020). MSC: 20Fxx 57Mxx 20-XX PDF BibTeX XML Cite \textit{R. Flores} and \textit{J. González-Meneses}, J. Algebr. Comb. 52, No. 4, 561--597 (2020; Zbl 07339571) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{J. Bell} et al., Int. J. Found. Comput. Sci. 31, No. 6, 667--687 (2020; Zbl 1467.11011) Full Text: DOI OpenURL
Praba, B.; Saranya, R. Application of the graph cellular automaton in generating languages. (English) Zbl 07317954 Math. Comput. Simul. 168, 111-121 (2020). MSC: 05Cxx PDF BibTeX XML Cite \textit{B. Praba} and \textit{R. Saranya}, Math. Comput. Simul. 168, 111--121 (2020; Zbl 07317954) Full Text: DOI OpenURL
Chasovskikh, Anatoliy A. Maximum subclasses in classes of linear automata over finite fields. (English. Russian original) Zbl 07316003 Discrete Math. Appl. 30, No. 6, 365-374 (2020); translation from Diskretn. Mat. 31, No. 4, 88-101 (2019). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{A. A. Chasovskikh}, Discrete Math. Appl. 30, No. 6, 365--374 (2020; Zbl 07316003); translation from Diskretn. Mat. 31, No. 4, 88--101 (2019) Full Text: DOI OpenURL
Rigo, Michel From combinatorial games to shape-symmetric morphisms. (English) Zbl 1457.91116 Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer. Lect. Notes Math. 2273, 227-291 (2020). MSC: 91A46 91A68 68R15 PDF BibTeX XML Cite \textit{M. Rigo}, Lect. Notes Math. 2273, 227--291 (2020; Zbl 1457.91116) Full Text: DOI Link OpenURL
Beier, Simon New results on semilinear sets and variants of jumping finite automata. (English) Zbl 1471.68003 Berlin: Logos Verlag; Gießen: Univ. Gießen, Fachbereich Mathematik und Informatik, Physik, Geographie (Diss.) (ISBN 978-3-8325-5210-7/pbk). xi, 232 p. (2020). Reviewer: Peter Kostolányi (Bratislava) MSC: 68-02 68Q45 68Q70 PDF BibTeX XML Cite \textit{S. Beier}, New results on semilinear sets and variants of jumping finite automata. Berlin: Logos Verlag; Gießen: Univ. Gießen, Fachbereich Mathematik und Informatik, Physik, Geographie (Diss.) (2020; Zbl 1471.68003) OpenURL
Arroyo, Fernando; Mitrana, Victor; Păun, Andrei; Păun, Mihaela; Sanchez Couso, Jose Ramon On the group memory complexity of extended finite automata over groups. (English) Zbl 1462.68099 J. Log. Algebr. Methods Program. 117, Article ID 100605, 8 p. (2020). MSC: 68Q45 20F10 PDF BibTeX XML Cite \textit{F. Arroyo} et al., J. Log. Algebr. Methods Program. 117, Article ID 100605, 8 p. (2020; Zbl 1462.68099) Full Text: DOI OpenURL
Potechin, Aaron; Shallit, Jeffrey Lengths of words accepted by nondeterministic finite automata. (English) Zbl 1461.68104 Inf. Process. Lett. 162, Article ID 105993, 4 p. (2020). Reviewer: Ludwig Staiger (Halle) MSC: 68Q45 68Q25 PDF BibTeX XML Cite \textit{A. Potechin} and \textit{J. Shallit}, Inf. Process. Lett. 162, Article ID 105993, 4 p. (2020; Zbl 1461.68104) Full Text: DOI arXiv OpenURL
Zhang, Kuize; Giua, Alessandro On detectability of labeled Petri nets and finite automata. (English) Zbl 1448.93038 Discrete Event Dyn. Syst. 30, No. 3, 465-497 (2020). MSC: 93B07 93C65 68Q45 PDF BibTeX XML Cite \textit{K. Zhang} and \textit{A. Giua}, Discrete Event Dyn. Syst. 30, No. 3, 465--497 (2020; Zbl 1448.93038) Full Text: DOI arXiv OpenURL
Zantema, Hans Complexity of automatic sequences. (English) Zbl 1482.68129 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 260-271 (2020). Reviewer: Jean-Paul Allouche (Paris) MSC: 68Q45 11B85 68R15 PDF BibTeX XML Cite \textit{H. Zantema}, Lect. Notes Comput. Sci. 12038, 260--271 (2020; Zbl 1482.68129) Full Text: DOI OpenURL
Char, Ian G.; Lladser, Manuel E. Stochastic analysis of minimal automata growth for generalized strings. (English) Zbl 1434.68240 Methodol. Comput. Appl. Probab. 22, No. 1, 329-347 (2020). MSC: 68Q45 68Q87 68W40 PDF BibTeX XML Cite \textit{I. G. Char} and \textit{M. E. Lladser}, Methodol. Comput. Appl. Probab. 22, No. 1, 329--347 (2020; Zbl 1434.68240) Full Text: DOI OpenURL
Romero Navarrete, Lise Rommel; Telles, Guilherme P. Practical regular expression constrained sequence alignment. (English) Zbl 1433.68635 Theor. Comput. Sci. 815, 95-108 (2020). MSC: 68W32 68Q45 PDF BibTeX XML Cite \textit{L. R. Romero Navarrete} and \textit{G. P. Telles}, Theor. Comput. Sci. 815, 95--108 (2020; Zbl 1433.68635) Full Text: DOI OpenURL
Park, Seong-Jin; Cho, Kwang-Hyun Achieving a global objective with competing networked agents in the framework of discrete event systems. (English) Zbl 1436.93086 Int. J. Control 93, No. 4, 889-897 (2020). MSC: 93C65 93B05 93B70 PDF BibTeX XML Cite \textit{S.-J. Park} and \textit{K.-H. Cho}, Int. J. Control 93, No. 4, 889--897 (2020; Zbl 1436.93086) Full Text: DOI OpenURL
Kolpakov, Alexander; Talambutsa, Alexey Spherical and geodesic growth rates of right-angled Coxeter and Artin groups are Perron numbers. (English) Zbl 07155230 Discrete Math. 343, No. 3, Article ID 111763, 8 p. (2020). MSC: 20F55 20F36 PDF BibTeX XML Cite \textit{A. Kolpakov} and \textit{A. Talambutsa}, Discrete Math. 343, No. 3, Article ID 111763, 8 p. (2020; Zbl 07155230) Full Text: DOI arXiv OpenURL
Czyzowicz, Jurek; Dereniowski, Dariusz; Pelc, Andrzej Building a nest by an automaton. (English) Zbl 07525472 Bender, Michael A. (ed.) et al., 27th annual European symposium on algorithms, ESA 2019, Munich/Garching, Germany, September 9–11, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 144, Article 35, 14 p. (2019). MSC: 68Wxx PDF BibTeX XML Cite \textit{J. Czyzowicz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 144, Article 35, 14 p. (2019; Zbl 07525472) Full Text: DOI OpenURL
Thiagarajan, K.; Balasubramanian, P.; Navaneetham, K.; Brahnam, S. Amendable automaton for the language of finite strings of rectangular Hilbert curve. (English) Zbl 07480097 J. Discrete Math. Sci. Cryptography 22, No. 6, 1129-1140 (2019). MSC: 05-XX 03D05 68Q70 94A45 PDF BibTeX XML Cite \textit{K. Thiagarajan} et al., J. Discrete Math. Sci. Cryptography 22, No. 6, 1129--1140 (2019; Zbl 07480097) Full Text: DOI OpenURL
Wolf, Petra On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. (English) Zbl 1434.68291 Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 272-284 (2019). MSC: 68Q45 03B25 90C10 PDF BibTeX XML Cite \textit{P. Wolf}, Lect. Notes Comput. Sci. 11612, 272--284 (2019; Zbl 1434.68291) Full Text: DOI OpenURL
Brzozowski, Janusz A.; Davies, Sylvie; Madan, Abhishek State complexity of single-word pattern matching in regular languages. (English) Zbl 1434.68238 Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 86-97 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. A. Brzozowski} et al., Lect. Notes Comput. Sci. 11612, 86--97 (2019; Zbl 1434.68238) Full Text: DOI OpenURL
Bonfante, Guillaume; Deloup, Florian L. Decidability of regular language genus computation. (English) Zbl 1434.68236 Math. Struct. Comput. Sci. 29, No. 9, 1428-1443 (2019). MSC: 68Q45 05C10 PDF BibTeX XML Cite \textit{G. Bonfante} and \textit{F. L. Deloup}, Math. Struct. Comput. Sci. 29, No. 9, 1428--1443 (2019; Zbl 1434.68236) Full Text: DOI arXiv OpenURL
Belk, James; Hyde, James; Matucci, Francesco On the asynchronous rational group. (English) Zbl 07154976 Groups Geom. Dyn. 13, No. 4, 1271-1284 (2019). Reviewer: Pierre Py (Strasbourg) MSC: 20F65 20E32 20F05 20F10 68Q70 PDF BibTeX XML Cite \textit{J. Belk} et al., Groups Geom. Dyn. 13, No. 4, 1271--1284 (2019; Zbl 07154976) Full Text: DOI arXiv OpenURL
Alekseychuk, A. N.; Koniushok, S. M.; Poremskyi, M. V. Upper bounds on the imbalance of discrete functions implemented by sequences of finite automata. (English. Russian original) Zbl 1434.68223 Cybern. Syst. Anal. 55, No. 5, 752-759 (2019); translation from Kibern. Sist. Anal. 2019, No. 5, 58-66 (2019). MSC: 68Q45 94A60 PDF BibTeX XML Cite \textit{A. N. Alekseychuk} et al., Cybern. Syst. Anal. 55, No. 5, 752--759 (2019; Zbl 1434.68223); translation from Kibern. Sist. Anal. 2019, No. 5, 58--66 (2019) Full Text: DOI OpenURL
Kuperberg, Denis; Majumdar, Anirban Computing the width of non-deterministic automata. (English) Zbl 1440.68157 Log. Methods Comput. Sci. 15, No. 4, Paper No. 10, 31 p. (2019). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Kuperberg} and \textit{A. Majumdar}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 10, 31 p. (2019; Zbl 1440.68157) Full Text: arXiv OpenURL
Domenjoud, Eric; Laboureix, Bastien; Vuillon, Laurent Facet connectedness of arithmetic discrete hyperplanes with non-zero shift. (English) Zbl 07118245 Couprie, Michel (ed.) et al., Discrete geometry for computer imagery. 21st IAPR international conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11414, 38-50 (2019). MSC: 68U05 PDF BibTeX XML Cite \textit{E. Domenjoud} et al., Lect. Notes Comput. Sci. 11414, 38--50 (2019; Zbl 07118245) Full Text: DOI OpenURL
Fici, Gabriele; Restivo, Antonio; Rizzo, Laura Minimal forbidden factors of circular words. (English) Zbl 1439.68018 Theor. Comput. Sci. 792, 144-153 (2019). Reviewer: Michel Rigo (Liège) MSC: 68R15 68Q45 PDF BibTeX XML Cite \textit{G. Fici} et al., Theor. Comput. Sci. 792, 144--153 (2019; Zbl 1439.68018) Full Text: DOI arXiv OpenURL
Kryvyi, S. L.; Opanasenko, V. M.; Zavyalov, S. B. Partitioning a set of vectors with integer coordinates by means of logical hardware. (English. Russian original) Zbl 1443.68219 Cybern. Syst. Anal. 55, No. 3, 462-473 (2019); translation from Kibern. Sist. Anal. 2019, No. 3, 136-148 (2019). MSC: 68W35 68Q45 68T20 90C11 PDF BibTeX XML Cite \textit{S. L. Kryvyi} et al., Cybern. Syst. Anal. 55, No. 3, 462--473 (2019; Zbl 1443.68219); translation from Kibern. Sist. Anal. 2019, No. 3, 136--148 (2019) Full Text: DOI OpenURL
Shallit, Jeffrey; Zarifi, Ramin Circular critical exponents for Thue-Morse factors. (English) Zbl 1445.68185 RAIRO, Theor. Inform. Appl. 53, No. 1-2, 37-49 (2019). Reviewer: Anna Frid (Marseille) MSC: 68R15 11B85 68Q45 68V15 PDF BibTeX XML Cite \textit{J. Shallit} and \textit{R. Zarifi}, RAIRO, Theor. Inform. Appl. 53, No. 1--2, 37--49 (2019; Zbl 1445.68185) Full Text: DOI arXiv OpenURL
Finkel, Olivier Incompleteness theorems, large cardinals, and automata over finite words. (English) Zbl 1459.03056 Int. J. Found. Comput. Sci. 30, No. 3, 449-467 (2019). MSC: 03D05 03E55 03F40 PDF BibTeX XML Cite \textit{O. Finkel}, Int. J. Found. Comput. Sci. 30, No. 3, 449--467 (2019; Zbl 1459.03056) Full Text: DOI OpenURL
Brzozowski, Janusz A.; Davies, Sylvie; Madan, Abhishek State complexity of pattern matching in regular languages. (English) Zbl 1425.68184 Theor. Comput. Sci. 777, 121-131 (2019). MSC: 68Q45 68Q70 PDF BibTeX XML Cite \textit{J. A. Brzozowski} et al., Theor. Comput. Sci. 777, 121--131 (2019; Zbl 1425.68184) Full Text: DOI arXiv OpenURL
Mihov, Stoyan; Schulz, Klaus U. Finite-state techniques. Automata, transducers and bimachines. (English) Zbl 1465.68006 Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019). Reviewer: Andreas Maletti (Leipzig) MSC: 68-02 20M35 68N18 68Q42 68Q45 68Q70 68T50 68W01 PDF BibTeX XML Cite \textit{S. Mihov} and \textit{K. U. Schulz}, Finite-state techniques. Automata, transducers and bimachines. Cambridge: Cambridge University Press (2019; Zbl 1465.68006) Full Text: DOI OpenURL
Bhatia, Amandeep Singh; Kumar, Ajay Quantum \(\omega\)-automata over infinite words and their relationships. (English) Zbl 1412.68122 Int. J. Theor. Phys. 58, No. 3, 878-889 (2019). MSC: 68Q45 81P68 PDF BibTeX XML Cite \textit{A. S. Bhatia} and \textit{A. Kumar}, Int. J. Theor. Phys. 58, No. 3, 878--889 (2019; Zbl 1412.68122) Full Text: DOI OpenURL
Yamamoto, Hiroaki A faster algorithm for finding shortest substring matches of a regular expression. (English) Zbl 1478.68463 Inf. Process. Lett. 143, 56-60 (2019). MSC: 68W32 68Q45 68W40 PDF BibTeX XML Cite \textit{H. Yamamoto}, Inf. Process. Lett. 143, 56--60 (2019; Zbl 1478.68463) Full Text: DOI OpenURL
Ryzhikov, Andrew On automata recognizing birecurrent sets. (English) Zbl 1412.68135 Theor. Comput. Sci. 753, 76-79 (2019). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 68Q17 68Q25 PDF BibTeX XML Cite \textit{A. Ryzhikov}, Theor. Comput. Sci. 753, 76--79 (2019; Zbl 1412.68135) Full Text: DOI arXiv OpenURL
Madhusudan, P.; Nowotka, Dirk; Rajasekaran, Aayush; Shallit, Jeffrey Lagrange’s theorem for binary squares. (English) Zbl 07378335 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 18, 14 p. (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Madhusudan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 18, 14 p. (2018; Zbl 07378335) Full Text: DOI arXiv OpenURL
Borovkova, I. V.; Pankratova, I. A.; Semenova, E. V. Cryptanalysis of 2-cascade finite automata generator with functional key. (Russian. English summary) Zbl 07311638 Prikl. Diskretn. Mat. 2018, No. 42, 48-56 (2018). MSC: 68-XX 81-XX PDF BibTeX XML Cite \textit{I. V. Borovkova} et al., Prikl. Diskretn. Mat. 2018, No. 42, 48--56 (2018; Zbl 07311638) Full Text: DOI MNR OpenURL
Logachev, O. A. On the local invertibility of finite state information lossless automata. (Russian. English summary) Zbl 07311609 Prikl. Diskretn. Mat. 2018, No. 39, 78-93 (2018). MSC: 68Q45 94A55 PDF BibTeX XML Cite \textit{O. A. Logachev}, Prikl. Diskretn. Mat. 2018, No. 39, 78--93 (2018; Zbl 07311609) Full Text: DOI MNR OpenURL
Rajasekaran, Aayush; Shallit, Jeffrey; Smith, Tim Sums of palindromes: an approach via automata. (English) Zbl 07228445 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 54, 12 p. (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Rajasekaran} et al., LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 54, 12 p. (2018; Zbl 07228445) Full Text: DOI arXiv OpenURL
Davies, Sylvie Primitivity, uniform minimality, and state complexity of Boolean operations. (English) Zbl 1430.68142 Theory Comput. Syst. 62, No. 8, 1952-2005 (2018). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Davies}, Theory Comput. Syst. 62, No. 8, 1952--2005 (2018; Zbl 1430.68142) Full Text: DOI arXiv OpenURL
Sun, Ping; Zhang, Lijun; Zhang, Kuize Reconstructibility of Boolean control networks with time delays in states. (English) Zbl 1463.93122 Kybernetika 54, No. 5, 1091-1104 (2018). MSC: 93C29 93B70 93C43 68Q45 PDF BibTeX XML Cite \textit{P. Sun} et al., Kybernetika 54, No. 5, 1091--1104 (2018; Zbl 1463.93122) Full Text: DOI Link OpenURL
Bondar, E. A.; Volkov, M. V. A characterization of completely reachable automata. (English) Zbl 06983374 Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11088, 145-155 (2018). MSC: 68Q45 PDF BibTeX XML Cite \textit{E. A. Bondar} and \textit{M. V. Volkov}, Lect. Notes Comput. Sci. 11088, 145--155 (2018; Zbl 06983374) Full Text: DOI arXiv OpenURL
Saeidi Rashkolia, Ali; Zahedi, Mohammad Mahdi; Dehkordi, Masoud Hadian A new secret sharing scheme adversary fuzzy structure based on automata. (English) Zbl 1400.94184 Iran. J. Fuzzy Syst. 15, No. 4, 1-11 (2018). MSC: 94A62 68Q45 68P25 PDF BibTeX XML Cite \textit{A. Saeidi Rashkolia} et al., Iran. J. Fuzzy Syst. 15, No. 4, 1--11 (2018; Zbl 1400.94184) Full Text: DOI OpenURL
Skobelev, V. V.; Skobelev, V. G. Automata over finite T-quasigroups. (English. Russian original) Zbl 1401.68218 Cybern. Syst. Anal. 54, No. 3, 345-356 (2018); translation from Kibern. Sist. Anal. 2018, No. 3, 3-16 (2018). MSC: 68Q70 PDF BibTeX XML Cite \textit{V. V. Skobelev} and \textit{V. G. Skobelev}, Cybern. Syst. Anal. 54, No. 3, 345--356 (2018; Zbl 1401.68218); translation from Kibern. Sist. Anal. 2018, No. 3, 3--16 (2018) Full Text: DOI OpenURL
Daviaud, Laure; Paperman, Charles Classes of languages generated by the Kleene star of a word. (English) Zbl 1408.68097 Inf. Comput. 262, Part 1, 90-109 (2018). Reviewer: Magnus Steinby (Turku) MSC: 68Q70 20M35 68Q45 PDF BibTeX XML Cite \textit{L. Daviaud} and \textit{C. Paperman}, Inf. Comput. 262, Part 1, 90--109 (2018; Zbl 1408.68097) Full Text: DOI Link OpenURL
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério Position automata for semi-extended expressions. (English) Zbl 1397.68114 J. Autom. Lang. Comb. 23, No. 1-3, 39-65 (2018). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Broda} et al., J. Autom. Lang. Comb. 23, No. 1--3, 39--65 (2018; Zbl 1397.68114) Full Text: DOI OpenURL
Mérai, László; Winterhof, Arne On the pseudorandomness of automatic sequences. (English) Zbl 1419.11101 Cryptogr. Commun. 10, No. 6, 1013-1022 (2018). MSC: 11K45 68R15 68Q25 68Q70 PDF BibTeX XML Cite \textit{L. Mérai} and \textit{A. Winterhof}, Cryptogr. Commun. 10, No. 6, 1013--1022 (2018; Zbl 1419.11101) Full Text: DOI arXiv OpenURL
Bell, Jason; Hare, Kathryn; Shallit, Jeffrey When is an automatic set an additive basis? (English) Zbl 1437.11017 Proc. Am. Math. Soc., Ser. B 5, 50-63 (2018). MSC: 11B13 11B85 68Q45 28A80 PDF BibTeX XML Cite \textit{J. Bell} et al., Proc. Am. Math. Soc., Ser. B 5, 50--63 (2018; Zbl 1437.11017) Full Text: DOI arXiv OpenURL
Guellouma, Younes; Cherroun, Hadda; Ziadi, Djelloul; Watson, Bruce W. From tree automata to string automata minimization. (English) Zbl 1400.68103 Theory Comput. Syst. 62, No. 5, 1203-1222 (2018). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 68W05 PDF BibTeX XML Cite \textit{Y. Guellouma} et al., Theory Comput. Syst. 62, No. 5, 1203--1222 (2018; Zbl 1400.68103) Full Text: DOI OpenURL
Dolce, Francesco; Perrin, Dominique; Restivo, Antonio; Reutenauer, Christophe; Rindone, Giuseppina Birecurrent sets. (English) Zbl 1395.68166 Int. J. Algebra Comput. 28, No. 4, 613-652 (2018). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 20M35 68Q70 PDF BibTeX XML Cite \textit{F. Dolce} et al., Int. J. Algebra Comput. 28, No. 4, 613--652 (2018; Zbl 1395.68166) Full Text: DOI arXiv OpenURL
Iwao, Shinsuke; Nagai, Hidetomo The discrete Toda equation revisited: dual \(\beta\)-Grothendieck polynomials, ultradiscretization, and static solitons. (English) Zbl 1390.37099 J. Phys. A, Math. Theor. 51, No. 13, Article ID 134002, 16 p. (2018). Reviewer: Eszter Gselmann (Debrecen) MSC: 37J35 16E20 35C08 39A12 65M22 65N22 PDF BibTeX XML Cite \textit{S. Iwao} and \textit{H. Nagai}, J. Phys. A, Math. Theor. 51, No. 13, Article ID 134002, 16 p. (2018; Zbl 1390.37099) Full Text: DOI arXiv OpenURL
Klimann, Ines; Picantin, Matthieu; Savchuk, Dmytro A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group. (English) Zbl 1387.68169 Int. J. Found. Comput. Sci. 29, No. 2, 297-314 (2018). MSC: 68Q70 20F10 20F50 PDF BibTeX XML Cite \textit{I. Klimann} et al., Int. J. Found. Comput. Sci. 29, No. 2, 297--314 (2018; Zbl 1387.68169) Full Text: DOI OpenURL
Kaldmäe, Arvo; Kotta, Ülle; Shumsky, Alexey; Zhirabok, Alexey Disturbance decoupling in nonlinear hybrid systems. (English) Zbl 1380.93136 Nonlinear Anal., Hybrid Syst. 28, 42-53 (2018). MSC: 93C30 93C10 93C55 93B52 PDF BibTeX XML Cite \textit{A. Kaldmäe} et al., Nonlinear Anal., Hybrid Syst. 28, 42--53 (2018; Zbl 1380.93136) Full Text: DOI OpenURL
Zhang, Jianhua; Xia, Jiajun; Wang, Rubin Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach. (English) Zbl 1378.93007 Nonlinear Anal., Hybrid Syst. 27, 390-415 (2018). MSC: 93A13 93C30 93C42 93A30 PDF BibTeX XML Cite \textit{J. Zhang} et al., Nonlinear Anal., Hybrid Syst. 27, 390--415 (2018; Zbl 1378.93007) Full Text: DOI OpenURL
Godin, Thibault; Klimann, Ines On bireversible Mealy automata and the Burnside problem. (English) Zbl 1405.68196 Theor. Comput. Sci. 707, 24-35 (2018). MSC: 68Q70 20F10 20F50 PDF BibTeX XML Cite \textit{T. Godin} and \textit{I. Klimann}, Theor. Comput. Sci. 707, 24--35 (2018; Zbl 1405.68196) Full Text: DOI OpenURL
Agibalov, G. P. Cryptautomata with functional keys. (Russian. English summary) Zbl 07311423 Prikl. Diskretn. Mat. 2017, No. 2(36), 59-72 (2017). MSC: 94-XX 68-XX PDF BibTeX XML Cite \textit{G. P. Agibalov}, Prikl. Diskretn. Mat. 2017, No. 2(36), 59--72 (2017; Zbl 07311423) Full Text: DOI MNR OpenURL
Agibalov, G. P.; Pankratova, I. A. About 2-cascade finite automata cryptographic generators and their cryptanalysis. (Russian. English summary) Zbl 07311413 Prikl. Diskretn. Mat. 2017, No. 1(35), 38-47 (2017). MSC: 68-XX 94-XX PDF BibTeX XML Cite \textit{G. P. Agibalov} and \textit{I. A. Pankratova}, Prikl. Diskretn. Mat. 2017, No. 1(35), 38--47 (2017; Zbl 07311413) Full Text: DOI MNR OpenURL
D’Antoni, Loris; Veanes, Margus Forward bisimulations for nondeterministic symbolic finite automata. (English) Zbl 1452.68103 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 518-534 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{L. D'Antoni} and \textit{M. Veanes}, Lect. Notes Comput. Sci. 10205, 518--534 (2017; Zbl 1452.68103) Full Text: DOI OpenURL
Fiedor, Tomáš; Holík, Lukáš; Janků, Petr; Lengál, Ondřej; Vojnar, Tomáš Lazy automata techniques for WS1S. (English) Zbl 1452.03090 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017). MSC: 03D05 03B25 68Q45 PDF BibTeX XML Cite \textit{T. Fiedor} et al., Lect. Notes Comput. Sci. 10205, 407--425 (2017; Zbl 1452.03090) Full Text: DOI arXiv OpenURL
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1453.68098 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 208-226 (2017). MSC: 68Q32 68Q45 PDF BibTeX XML Cite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 10205, 208--226 (2017; Zbl 1453.68098) Full Text: DOI OpenURL
Li, Yongming; Droste, Manfred; Lei, Lihui Model checking of linear-time properties in multi-valued systems. (English) Zbl 1428.68188 Inf. Sci. 377, 51-74 (2017). MSC: 68Q60 03B50 68Q45 68Q85 PDF BibTeX XML Cite \textit{Y. Li} et al., Inf. Sci. 377, 51--74 (2017; Zbl 1428.68188) Full Text: DOI arXiv OpenURL
Cherubini, Alessandra; Frigeri, Achille; Liu, Zuhua Composing short 3-compressing words on a 2-letter alphabet. (English) Zbl 1409.68155 Discrete Math. Theor. Comput. Sci. 19, No. 1, Paper No. 17, 35 p. (2017). Reviewer: Michel Rigo (Liège) MSC: 68Q45 68R15 PDF BibTeX XML Cite \textit{A. Cherubini} et al., Discrete Math. Theor. Comput. Sci. 19, No. 1, Paper No. 17, 35 p. (2017; Zbl 1409.68155) Full Text: arXiv Link OpenURL
Ng, Timothy; Rappaport, David; Salomaa, Kai Descriptional complexity of error detection. (English) Zbl 1396.68068 Adamatzky, Andrew (ed.), Emergent computation. A Festschrift for Selim G. Akl. Cham: Springer (ISBN 978-3-319-46375-9/hbk; 978-3-319-46376-6/ebook). Emergence, Complexity and Computation 24, 101-119 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Ng} et al., Emerg. Complex. Comput. 24, 101--119 (2017; Zbl 1396.68068) Full Text: DOI OpenURL
Li, Hongwei The minimal deterministic finite automaton recognizing the strong semilattice of finite monoids. (Chinese. English summary) Zbl 1399.20082 J. Jiangsu Norm. Univ., Nat. Sci. 35, No. 4, 36-38 (2017). MSC: 20M35 68Q45 PDF BibTeX XML Cite \textit{H. Li}, J. Jiangsu Norm. Univ., Nat. Sci. 35, No. 4, 36--38 (2017; Zbl 1399.20082) Full Text: DOI OpenURL
Araújo, João; Cameron, Peter J.; Steinberg, Benjamin Between primitive and 2-transitive: synchronization and its friends. (English) Zbl 1402.68124 EMS Surv. Math. Sci. 4, No. 2, 101-184 (2017). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q70 05B25 05C25 05C60 20B05 20M20 20M35 51A50 PDF BibTeX XML Cite \textit{J. Araújo} et al., EMS Surv. Math. Sci. 4, No. 2, 101--184 (2017; Zbl 1402.68124) Full Text: DOI arXiv OpenURL
He, Pei; Deng, Zelin; Gao, Chongzhi; Wang, Xiuni; Li, Jin Model approach to grammatical evolution: deep-structured analyzing of model and representation. (English) Zbl 1425.68164 Soft Comput. 21, No. 18, 5413-5423 (2017). MSC: 68Q42 68Q45 68T20 90C59 PDF BibTeX XML Cite \textit{P. He} et al., Soft Comput. 21, No. 18, 5413--5423 (2017; Zbl 1425.68164) Full Text: DOI OpenURL
Li, Yongming Quantitative model checking of linear-time properties based on generalized possibility measures. (English) Zbl 1382.68143 Fuzzy Sets Syst. 320, 17-39 (2017). MSC: 68Q60 03B44 68T37 PDF BibTeX XML Cite \textit{Y. Li}, Fuzzy Sets Syst. 320, 17--39 (2017; Zbl 1382.68143) Full Text: DOI arXiv OpenURL
Skobelev, V. V.; Skobelev, V. G. Automata over abstract finite quasigroups. (English. Russian original) Zbl 1380.68291 Cybern. Syst. Anal. 53, No. 5, 669-674 (2017); translation from Kibern. Sist. Anal. 2017, No. 5, 14-21 (2017). MSC: 68Q70 20N05 PDF BibTeX XML Cite \textit{V. V. Skobelev} and \textit{V. G. Skobelev}, Cybern. Syst. Anal. 53, No. 5, 669--674 (2017; Zbl 1380.68291); translation from Kibern. Sist. Anal. 2017, No. 5, 14--21 (2017) Full Text: DOI OpenURL
Dobravec, Tadej; Mavrič, Boštjan; Šarler, Božidar A cellular automaton – finite volume method for the simulation of dendritic and eutectic growth in binary alloys using an adaptive mesh refinement. (English) Zbl 1380.65194 J. Comput. Phys. 349, 351-375 (2017). MSC: 65M08 65M50 82C26 PDF BibTeX XML Cite \textit{T. Dobravec} et al., J. Comput. Phys. 349, 351--375 (2017; Zbl 1380.65194) Full Text: DOI OpenURL
Zhang, Kuize; Zhang, Lijun Observability and nonsingularity of logical dynamical systems. (Chinese. English summary) Zbl 1389.93046 J. Syst. Sci. Math. Sci. 37, No. 2, 328-337 (2017). MSC: 93B07 68Q45 PDF BibTeX XML Cite \textit{K. Zhang} and \textit{L. Zhang}, J. Syst. Sci. Math. Sci. 37, No. 2, 328--337 (2017; Zbl 1389.93046) OpenURL
Meduna, Alexander; Soukup, Ondřej Modern language models and computation. Theory with applications. (English) Zbl 1385.68002 Cham: Springer (ISBN 978-3-319-63099-1/hbk; 978-3-319-63100-4/ebook). xix, 548 p. (2017). Reviewer: Andreas Maletti (Leipzig) MSC: 68-02 68Q42 68Q45 68Q70 PDF BibTeX XML Cite \textit{A. Meduna} and \textit{O. Soukup}, Modern language models and computation. Theory with applications. Cham: Springer (2017; Zbl 1385.68002) Full Text: DOI OpenURL
Cai, Xing Shi; Devroye, Luc The graph structure of a deterministic automaton chosen at random. (English) Zbl 1373.05074 Random Struct. Algorithms 51, No. 3, 428-458 (2017). MSC: 05C20 05C80 68Q45 68Q10 PDF BibTeX XML Cite \textit{X. S. Cai} and \textit{L. Devroye}, Random Struct. Algorithms 51, No. 3, 428--458 (2017; Zbl 1373.05074) Full Text: DOI arXiv OpenURL
Zhang, Kuize The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete. (English) Zbl 1372.93143 Automatica 81, 217-220 (2017). MSC: 93C65 93B40 65Y20 PDF BibTeX XML Cite \textit{K. Zhang}, Automatica 81, 217--220 (2017; Zbl 1372.93143) Full Text: DOI OpenURL
Fedorova, Mariia; Oliynyk, Andriy Finite automaton actions of free products of groups. (English) Zbl 1375.20028 Algebra Discrete Math. 23, No. 2, 230-236 (2017). MSC: 20E08 20E06 20F10 PDF BibTeX XML Cite \textit{M. Fedorova} and \textit{A. Oliynyk}, Algebra Discrete Math. 23, No. 2, 230--236 (2017; Zbl 1375.20028) Backlinks: MO OpenURL
Bulatov, Andrei A.; Karpova, Olga; Shur, Arseny M.; Startsev, Konstantin Lower bounds on words separation: are there short identities in transformation semigroups? (English) Zbl 1372.68156 Electron. J. Comb. 24, No. 3, Research Paper P3.35, 12 p. (2017). MSC: 68Q45 20B30 20M20 68Q70 68R15 PDF BibTeX XML Cite \textit{A. A. Bulatov} et al., Electron. J. Comb. 24, No. 3, Research Paper P3.35, 12 p. (2017; Zbl 1372.68156) Full Text: arXiv Link OpenURL
Steinby, Magnus On DR tree automata, unary algebras and syntactic path monoids. (English) Zbl 1389.68060 Acta Cybern. 23, No. 1, 159-174 (2017). MSC: 68Q70 08A60 08A70 PDF BibTeX XML Cite \textit{M. Steinby}, Acta Cybern. 23, No. 1, 159--174 (2017; Zbl 1389.68060) Full Text: DOI OpenURL
Maletti, Andreas Survey: finite-state technology in natural language processing. (English) Zbl 1373.68420 Theor. Comput. Sci. 679, 2-17 (2017). Reviewer: Ruxandra Stoean (Craiova) MSC: 68T50 68Q42 68Q45 PDF BibTeX XML Cite \textit{A. Maletti}, Theor. Comput. Sci. 679, 2--17 (2017; Zbl 1373.68420) Full Text: DOI OpenURL