Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. (English) Zbl 07511149 Discrete Event Dyn. Syst. 32, No. 1, 65-88 (2022). MSC: 93E10 93B53 93B70 93C83 PDF BibTeX XML Cite \textit{D. Lefebvre} et al., Discrete Event Dyn. Syst. 32, No. 1, 65--88 (2022; Zbl 07511149) Full Text: DOI OpenURL
Albayrak, Seda; Bell, Jason P. A refinement of Christol’s theorem for algebraic power series. (English) Zbl 07489508 Math. Z. 300, No. 3, 2265-2288 (2022). MSC: 11B85 12J25 13J05 PDF BibTeX XML Cite \textit{S. Albayrak} and \textit{J. P. Bell}, Math. Z. 300, No. 3, 2265--2288 (2022; Zbl 07489508) Full Text: DOI arXiv OpenURL
Keeler, Chris; Salomaa, Kai Structural properties of NFAs and growth rates of nondeterminism measures. (English) Zbl 07488456 Inf. Comput. 284, Article ID 104690, 16 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{C. Keeler} and \textit{K. Salomaa}, Inf. Comput. 284, Article ID 104690, 16 p. (2022; Zbl 07488456) Full Text: DOI OpenURL
Bakinova, Ekaterina; Basharin, Artem; Batmanov, Igor; Lyubort, Konstantin; Okhotin, Alexander; Sazhneva, Elizaveta Formal languages over GF(2). (English) Zbl 07488445 Inf. Comput. 283, Article ID 104672, 19 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{E. Bakinova} et al., Inf. Comput. 283, Article ID 104672, 19 p. (2022; Zbl 07488445) Full Text: DOI OpenURL
Kjos-Hanssen, Bjørn; Felix, Clyde James; Kim, Sun Young; Lamb, Ethan; Takahashi, Davin VC-dimensions of nondeterministic finite automata for words of equal length. (English) Zbl 07473195 Ann. Math. Artif. Intell. 90, No. 1, 93-105 (2022). MSC: 68Q45 68Q68 68T05 PDF BibTeX XML Cite \textit{B. Kjos-Hanssen} et al., Ann. Math. Artif. Intell. 90, No. 1, 93--105 (2022; Zbl 07473195) Full Text: DOI arXiv OpenURL
Chu, Wenjing; Chen, Shuo; Bonsangue, Marcello Learning probabilistic automata using residuals. (English) Zbl 07500650 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 295-313 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{W. Chu} et al., Lect. Notes Comput. Sci. 12819, 295--313 (2021; Zbl 07500650) Full Text: DOI OpenURL
Hoffmann, Stefan State complexity of projection on languages recognized by permutation automata and commuting letters. (English) Zbl 07498726 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 192-203 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Hoffmann}, Lect. Notes Comput. Sci. 12811, 192--203 (2021; Zbl 07498726) Full Text: DOI OpenURL
Krogman, Richard; Cenzer, Douglas Complexity and categoricity of injection structures induced by finite state transducers. (English) Zbl 07495160 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 106-119 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Krogman} and \textit{D. Cenzer}, Lect. Notes Comput. Sci. 12813, 106--119 (2021; Zbl 07495160) Full Text: DOI OpenURL
Hoffmann, Stefan State complexity of permutation and related decision problems on alphabetical pattern constraints. (English) Zbl 07495109 Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 115-126 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Hoffmann}, Lect. Notes Comput. Sci. 12803, 115--126 (2021; Zbl 07495109) Full Text: DOI arXiv OpenURL
Mihov, Stoyan; Schulz, Klaus U. F-transducers for contextual text rewriting. (English) Zbl 07488335 J. Autom. Lang. Comb. 26, No. 3-4, 281-332 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Mihov} and \textit{K. U. Schulz}, J. Autom. Lang. Comb. 26, No. 3--4, 281--332 (2021; Zbl 07488335) Full Text: Link OpenURL
Nagy, Benedek; Kovács, Zita On deterministic 1-limited \(5' \rightarrow 3'\) sensing Watson-Crick finite-state transducers. (English) Zbl 07455933 RAIRO, Theor. Inform. Appl. 55, Paper No. 5, 18 p. (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{B. Nagy} and \textit{Z. Kovács}, RAIRO, Theor. Inform. Appl. 55, Paper No. 5, 18 p. (2021; Zbl 07455933) Full Text: DOI OpenURL
Balun, Jiří; Masopust, Tomáš On verification of D-detectability for discrete event systems. (English) Zbl 1480.93255 Automatica 133, Article ID 109884, 10 p. (2021). MSC: 93C65 93B53 PDF BibTeX XML Cite \textit{J. Balun} and \textit{T. Masopust}, Automatica 133, Article ID 109884, 10 p. (2021; Zbl 1480.93255) Full Text: DOI arXiv 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
Dobronravov, Egor; Dobronravov, Nikita; Okhotin, Alexander On the length of shortest strings accepted by two-way finite automata. (English) Zbl 07413805 Fundam. Inform. 180, No. 4, 315-331 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{E. Dobronravov} et al., Fundam. Inform. 180, No. 4, 315--331 (2021; Zbl 07413805) Full Text: DOI OpenURL
Piedeleu, Robin; Zanasi, Fabio A string diagrammatic axiomatisation of finite-state automata. (English) Zbl 07410439 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 469-489 (2021). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{R. Piedeleu} and \textit{F. Zanasi}, Lect. Notes Comput. Sci. 12650, 469--489 (2021; Zbl 07410439) Full Text: DOI arXiv OpenURL
Hoffmann, Stefan State complexity of the set of synchronizing words for circular automata and automata over binary alphabets. (English) Zbl 07405997 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, 318-330 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Hoffmann}, Lect. Notes Comput. Sci. 12638, 318--330 (2021; Zbl 07405997) Full Text: DOI arXiv OpenURL
Hoffmann, Stefan Completely reachable automata, primitive groups and the state complexity of the set of synchronizing words. (English) Zbl 07405996 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, 305-317 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Hoffmann}, Lect. Notes Comput. Sci. 12638, 305--317 (2021; Zbl 07405996) Full Text: DOI arXiv 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
Yellin, Daniel M.; Weiss, Gail Synthesizing context-free grammars from recurrent neural networks. (English) Zbl 1467.68077 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021). MSC: 68Q32 68Q42 68Q45 68T05 PDF BibTeX XML Cite \textit{D. M. Yellin} and \textit{G. Weiss}, Lect. Notes Comput. Sci. 12651, 351--369 (2021; Zbl 1467.68077) Full Text: DOI arXiv OpenURL
Hospodár, Michal Power, positive closure, and quotients on convex languages. (English) Zbl 07354758 Theor. Comput. Sci. 870, 53-74 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Hospodár}, Theor. Comput. Sci. 870, 53--74 (2021; Zbl 07354758) Full Text: DOI OpenURL
Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca Fundamental results for learning deterministic extended finite state machines from queries. (English) Zbl 07318716 Theor. Comput. Sci. 862, 160-173 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Ipate} et al., Theor. Comput. Sci. 862, 160--173 (2021; Zbl 07318716) Full Text: DOI OpenURL
Bollig, Benedikt; Fortin, Marie; Gastin, Paul Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. (English) Zbl 1464.68150 J. Comput. Syst. Sci. 115, 22-53 (2021). MSC: 68Q45 03B70 03D05 68Q85 PDF BibTeX XML Cite \textit{B. Bollig} et al., J. Comput. Syst. Sci. 115, 22--53 (2021; Zbl 1464.68150) Full Text: DOI OpenURL
Cabessa, Jérémie; Tchaptchet, Aubin Automata complete computation with Hodgkin-Huxley neural networks composed of synfire rings. (English) Zbl 1468.68095 Neural Netw. 126, 312-334 (2020). MSC: 68Q06 68Q45 PDF BibTeX XML Cite \textit{J. Cabessa} and \textit{A. Tchaptchet}, Neural Netw. 126, 312--334 (2020; Zbl 1468.68095) Full Text: DOI OpenURL
Salo, Ville Four heads are better than three. (English) Zbl 07370038 Zenil, Hector (ed.), Cellular automata and discrete complex systems. 26th IFIP WG 1.5 international workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12286, 111-125 (2020). MSC: 68Q80 PDF BibTeX XML Cite \textit{V. Salo}, Lect. Notes Comput. Sci. 12286, 111--125 (2020; Zbl 07370038) Full Text: DOI arXiv OpenURL
Cao, Zhi; Zhang, Nan Deep specification mining with attention. (English) Zbl 07336104 Kim, Donghyun (ed.) et al., Computing and combinatorics. 26th international conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12273, 186-197 (2020). MSC: 68Rxx PDF BibTeX XML Cite \textit{Z. Cao} and \textit{N. Zhang}, Lect. Notes Comput. Sci. 12273, 186--197 (2020; Zbl 07336104) Full Text: DOI OpenURL
Axelsen, Holger Bock; Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias Boosting reversible pushdown and queue machines by preprocessing. (English) Zbl 1458.68083 Int. J. Found. Comput. Sci. 31, No. 8, 1021-1049 (2020). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. B. Axelsen} et al., Int. J. Found. Comput. Sci. 31, No. 8, 1021--1049 (2020; Zbl 1458.68083) Full Text: DOI OpenURL
Sánchez, Joan Andreu; Romero, Verónica Computation of moments for probabilistic finite-state automata. (English) Zbl 1457.68150 Inf. Sci. 516, 388-400 (2020). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. A. Sánchez} and \textit{V. Romero}, Inf. Sci. 516, 388--400 (2020; Zbl 1457.68150) Full Text: DOI OpenURL
Kryvyi, S.; Grinenko, E. Ecosystems of software engineering. (English. Russian original) Zbl 07285127 Cybern. Syst. Anal. 56, No. 4, 628-640 (2020); translation from Kibern. Sist. Anal. 2020, No. 4, 128-143 (2020). MSC: 68Rxx 68Txx 68Mxx 68Qxx PDF BibTeX XML Cite \textit{S. Kryvyi} and \textit{E. Grinenko}, Cybern. Syst. Anal. 56, No. 4, 628--640 (2020; Zbl 07285127); translation from Kibern. Sist. Anal. 2020, No. 4, 128--143 (2020) Full Text: DOI OpenURL
Baker, Owen The conjugacy problem for Higman’s group. (English) Zbl 07261087 Int. J. Algebra Comput. 30, No. 6, 1211-1235 (2020). MSC: 20F10 68Q70 PDF BibTeX XML Cite \textit{O. Baker}, Int. J. Algebra Comput. 30, No. 6, 1211--1235 (2020; Zbl 07261087) Full Text: DOI arXiv OpenURL
Fatima, Madeeha; Nagy, Benedek Transduced-input automata with translucent letters. (English) Zbl 1463.68033 C. R. Acad. Bulg. Sci. 73, No. 1, 33-39 (2020). Reviewer: Angela Slavova (Sofia) MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Fatima} and \textit{B. Nagy}, C. R. Acad. Bulg. Sci. 73, No. 1, 33--39 (2020; Zbl 1463.68033) Full Text: DOI OpenURL
Reijnen, Ferdie F. H.; Goorden, Martijn A.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E. Modeling for supervisor synthesis – a lock-bridge combination case study. (English) Zbl 1448.93088 Discrete Event Dyn. Syst. 30, No. 3, 499-532 (2020). MSC: 93B50 93C65 68Q45 93C95 PDF BibTeX XML Cite \textit{F. F. H. Reijnen} et al., Discrete Event Dyn. Syst. 30, No. 3, 499--532 (2020; Zbl 1448.93088) Full Text: DOI 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
Amtoft, Torben; Androutsopoulos, Kelly; Clark, David Correctly slicing extended finite state machines. (English) Zbl 1440.68149 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 149-197 (2020). MSC: 68Q45 68Q55 PDF BibTeX XML Cite \textit{T. Amtoft} et al., Lect. Notes Comput. Sci. 12065, 149--197 (2020; Zbl 1440.68149) Full Text: DOI OpenURL
Álvarez, Nicolás; Carton, Olivier On normality in shifts of finite type. (English) Zbl 1458.37016 Theory Comput. Syst. 64, No. 5, 783-798 (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 37B15 37B51 11K16 68Q45 68P30 PDF BibTeX XML Cite \textit{N. Álvarez} and \textit{O. Carton}, Theory Comput. Syst. 64, No. 5, 783--798 (2020; Zbl 1458.37016) Full Text: DOI arXiv OpenURL
Winter, Sarah; Zimmermann, Martin Finite-state strategies in delay games. (English) Zbl 1443.68100 Inf. Comput. 272, Article ID 104500, 19 p. (2020). MSC: 68Q45 91A43 91A80 PDF BibTeX XML Cite \textit{S. Winter} and \textit{M. Zimmermann}, Inf. Comput. 272, Article ID 104500, 19 p. (2020; Zbl 1443.68100) Full Text: DOI arXiv OpenURL
Endrullis, Jörg; Klop, Jan Willem; Bakhshi, Rena Transducer degrees: atoms, infima and suprema. (English) Zbl 1460.03011 Acta Inf. 57, No. 3-5, 727-758 (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 03D05 03D30 PDF BibTeX XML Cite \textit{J. Endrullis} et al., Acta Inf. 57, No. 3--5, 727--758 (2020; Zbl 1460.03011) Full Text: DOI Link OpenURL
Zhang, Zhipeng; Xia, Chengyi; Chen, Zengqiang On the stabilization of nondeterministic finite automata via static output feedback. (English) Zbl 1433.93111 Appl. Math. Comput. 365, Article ID 124687, 11 p. (2020). MSC: 93D15 68Q45 93C55 93C65 93C30 PDF BibTeX XML Cite \textit{Z. Zhang} et al., Appl. Math. Comput. 365, Article ID 124687, 11 p. (2020; Zbl 1433.93111) Full Text: DOI OpenURL
Corwin, Nathan; Golan, Gili; Hermiller, Susan; Johnson, Ashley; Šunić, Zoran Autostackability of Thompson’s group \(F\). (English) Zbl 07146658 J. Algebra 545, 111-134 (2020). MSC: 20F10 20F65 68Q42 PDF BibTeX XML Cite \textit{N. Corwin} et al., J. Algebra 545, 111--134 (2020; Zbl 07146658) Full Text: DOI arXiv OpenURL
Hadjicostis, Christoforos N. Estimation and inference in discrete event systems. A model-based approach with finite automata. (English) Zbl 1436.93002 Communications and Control Engineering. Cham: Springer (ISBN 978-3-030-30820-9/hbk; 978-3-030-30821-6/ebook). xviii, 346 p. (2020). Reviewer: Tiit Riismaa (Tallinn) MSC: 93-02 93C65 93B07 68Q45 PDF BibTeX XML Cite \textit{C. N. Hadjicostis}, Estimation and inference in discrete event systems. A model-based approach with finite automata. Cham: Springer (2020; Zbl 1436.93002) Full Text: DOI Link OpenURL
Wang, Jiacun; Tepfenhart, William Formal methods in computer science. (English) Zbl 1436.68002 Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-0-367-22570-4/hbk; 978-1-4987-7532-8/pbk; 978-0-429-18418-5/ebook). xvii, 294 p. (2020). Reviewer: Roger Villemaire (Montréal) MSC: 68-01 03B44 03B70 68Q45 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. Wang} and \textit{W. Tepfenhart}, Formal methods in computer science. Boca Raton, FL: CRC Press (2020; Zbl 1436.68002) Full Text: DOI OpenURL
Nagy, Benedek; Otto, Friedrich Two-head finite-state acceptors with translucent letters. (English) Zbl 1444.68099 Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 406-418 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{B. Nagy} and \textit{F. Otto}, Lect. Notes Comput. Sci. 11376, 406--418 (2019; Zbl 1444.68099) Full Text: DOI OpenURL
Kondakova, Elizaveta Grigor’evna; Kanel’-Belov, Alekseĭ Yakovlevich Probabilistic methods of bypass of the labyrinth using stones and random number generator. (Russian. English summary) Zbl 1434.68269 Chebyshevskiĭ Sb. 20, No. 3(71), 296-315 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{E. G. Kondakova} and \textit{A. Y. Kanel'-Belov}, Chebyshevskiĭ Sb. 20, No. 3(71), 296--315 (2019; Zbl 1434.68269) Full Text: DOI arXiv MNR OpenURL
Gusev, Daniil Vladimirovich Behavior of finite automata in mazes. (Russian. English summary) Zbl 1434.68254 Chebyshevskiĭ Sb. 20, No. 3(71), 165-192 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. V. Gusev}, Chebyshevskiĭ Sb. 20, No. 3(71), 165--192 (2019; Zbl 1434.68254) Full Text: DOI MNR 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
Mráz, František; Průša, Daniel; Wehar, Michael Two-dimensional pattern matching against basic picture languages. (English) Zbl 1434.68278 Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 209-221 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. Mráz} et al., Lect. Notes Comput. Sci. 11601, 209--221 (2019; Zbl 1434.68278) Full Text: DOI OpenURL
Alawida, Moatsum; Samsudin, Azman; Teh, Je Sen; Alshoura, Wafa’ Hamdan Deterministic chaotic finite-state automata. (English) Zbl 1430.37040 Nonlinear Dyn. 98, No. 3, 2403-2421 (2019). MSC: 37D45 37B15 37C05 PDF BibTeX XML Cite \textit{M. Alawida} et al., Nonlinear Dyn. 98, No. 3, 2403--2421 (2019; Zbl 1430.37040) Full Text: DOI OpenURL
Huang, Feidan; Li, Xuejia; Wu, Lingling Weak commutativity of lattice-valued finite state machines. (Chinese. English summary) Zbl 1449.68047 Fuzzy Syst. Math. 33, No. 3, 75-86 (2019). MSC: 68Q45 20M35 68Q70 PDF BibTeX XML Cite \textit{F. Huang} et al., Fuzzy Syst. Math. 33, No. 3, 75--86 (2019; Zbl 1449.68047) OpenURL
Reshmila, S.; Rajagopalan, Devanathan Diagnosability of a class of discrete event systems based on observations. (English) Zbl 1449.93181 Control Theory Technol. 17, No. 3, 265-275 (2019). MSC: 93C65 93B07 68Q45 PDF BibTeX XML Cite \textit{S. Reshmila} and \textit{D. Rajagopalan}, Control Theory Technol. 17, No. 3, 265--275 (2019; Zbl 1449.93181) Full Text: DOI OpenURL
Ng, Timothy; Rappaport, David; Salomaa, Kai State complexity of suffix distance. (English) Zbl 1427.68151 Int. J. Found. Comput. Sci. 30, No. 6-7, 1197-1216 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Ng} et al., Int. J. Found. Comput. Sci. 30, No. 6--7, 1197--1216 (2019; Zbl 1427.68151) Full Text: DOI OpenURL
Yamakami, Tomoyuki Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice. (English) Zbl 1425.68238 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 134-145 (2019). MSC: 68Q45 68Q12 81P68 PDF BibTeX XML Cite \textit{T. Yamakami}, Lect. Notes Comput. Sci. 11417, 134--145 (2019; Zbl 1425.68238) Full Text: DOI arXiv OpenURL
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf Connecting open systems of communicating finite state machines. (English) Zbl 1435.68211 J. Log. Algebr. Methods Program. 109, Article ID 100476, 34 p. (2019). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 109, Article ID 100476, 34 p. (2019; Zbl 1435.68211) Full Text: DOI OpenURL
Cho, Da-Jung; Han, Yo-Sub; Salomaa, Kai; Smith, Taylor J. Site-directed insertion: language equations and decision problems. (English) Zbl 1435.68151 Theor. Comput. Sci. 798, 40-51 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{D.-J. Cho} et al., Theor. Comput. Sci. 798, 40--51 (2019; Zbl 1435.68151) Full Text: DOI OpenURL
Yamakami, Tomoyuki State complexity characterizations of parameterized degree-bounded graph connectivity, sub-linear space computation, and the linear space hypothesis. (English) Zbl 1435.68126 Theor. Comput. Sci. 798, 2-22 (2019). MSC: 68Q27 05C20 05C40 68Q45 PDF BibTeX XML Cite \textit{T. Yamakami}, Theor. Comput. Sci. 798, 2--22 (2019; Zbl 1435.68126) Full Text: DOI arXiv OpenURL
Kavikumar, Jacob; Tiwari, S. P.; Ah, Nor Shamsidah; Sharan, Shambhu Restricted cascade and wreath products of fuzzy finite switchboard state machines. (English) Zbl 1429.68119 Iran. J. Fuzzy Syst. 16, No. 1, 75-88 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Kavikumar} et al., Iran. J. Fuzzy Syst. 16, No. 1, 75--88 (2019; Zbl 1429.68119) Full Text: DOI OpenURL
Yamakami, Tomoyuki Relativizations of nonuniform quantum finite automata families. (English) Zbl 07116042 McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11493, 257-271 (2019). MSC: 68Q05 68Q10 PDF BibTeX XML Cite \textit{T. Yamakami}, Lect. Notes Comput. Sci. 11493, 257--271 (2019; Zbl 07116042) Full Text: DOI OpenURL
Babakov, R. M.; Barkalov, A. A. Structural classification of methods for synthesis of a microprogram finite-state machine with datapath of transitions. (English. Russian original) Zbl 1443.68081 Cybern. Syst. Anal. 55, No. 2, 167-173 (2019); translation from Kibern. Sist. Anal. 2019, No. 2, 3-9 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 55, No. 2, 167--173 (2019; Zbl 1443.68081); translation from Kibern. Sist. Anal. 2019, No. 2, 3--9 (2019) Full Text: DOI OpenURL
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias Transducing reversibly with finite state machines. (English) Zbl 1429.68122 Theor. Comput. Sci. 787, 111-126 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Kutrib} et al., Theor. Comput. Sci. 787, 111--126 (2019; Zbl 1429.68122) Full Text: DOI OpenURL
Hospodár, Michal; Jirásková, Galina; Mlynárčik, Peter Nondeterministic complexity in subclasses of convex languages. (English) Zbl 1429.68118 Theor. Comput. Sci. 787, 89-110 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Hospodár} et al., Theor. Comput. Sci. 787, 89--110 (2019; Zbl 1429.68118) Full Text: DOI OpenURL
Álvarez, Nicolás; Becher, Verónica; Carton, Olivier Finite-state independence and normal sequences. (English) Zbl 1423.68239 J. Comput. Syst. Sci. 103, 1-17 (2019). Reviewer: Cristian S. Calude (Auckland) MSC: 68Q45 11K16 PDF BibTeX XML Cite \textit{N. Álvarez} et al., J. Comput. Syst. Sci. 103, 1--17 (2019; Zbl 1423.68239) Full Text: DOI arXiv 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
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
Hofri, Micha; Mahmoud, Hosam M. Algorithmics of nonuniformity: tools and paradigms. (English) Zbl 1402.68004 Discrete Mathematics and its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5071-4/hbk; 978-1-4987-5072-1/ebook). xix, 569 p. (2019). Reviewer: Irina Ioana Mohorianu (Oxford) MSC: 68-01 68-02 68P05 68P10 68Q05 68Q45 68Q87 68R05 68R10 68W01 68W05 PDF BibTeX XML Cite \textit{M. Hofri} and \textit{H. M. Mahmoud}, Algorithmics of nonuniformity: tools and paradigms. Boca Raton, FL: CRC Press (2019; Zbl 1402.68004) Full Text: Link 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
Boker, Udi Rabin vs. streett automata. (English) Zbl 07278089 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 17, 15 p. (2018). MSC: 68N30 68Qxx PDF BibTeX XML Cite \textit{U. Boker}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 17, 15 p. (2018; Zbl 07278089) Full Text: DOI OpenURL
Fiore, Gabriella; De Santis, Elena; Di Benedetto, Maria Domenica Secure diagnosability of hybrid dynamical systems. (English) Zbl 1455.93091 Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 175-200 (2018). MSC: 93C30 68Q45 PDF BibTeX XML Cite \textit{G. Fiore} et al., in: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 175--200 (2018; Zbl 1455.93091) Full Text: DOI OpenURL
Staiger, Ludwig Finite automata and randomness. (English) Zbl 1435.68184 Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 1-10 (2018). MSC: 68Q45 03D05 03D32 PDF BibTeX XML Cite \textit{L. Staiger}, Lect. Notes Comput. Sci. 10952, 1--10 (2018; Zbl 1435.68184) Full Text: DOI OpenURL
Abughazalah, Nabilah; Yaqoob, Naveed Applications of cubic structures to subsystems of finite state machines. (English) Zbl 1423.68237 Symmetry 10, No. 11, Paper No. 598, 22 p. (2018). MSC: 68Q45 PDF BibTeX XML Cite \textit{N. Abughazalah} and \textit{N. Yaqoob}, Symmetry 10, No. 11, Paper No. 598, 22 p. (2018; Zbl 1423.68237) Full Text: DOI 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
Hospodár, Michal; Jirásková, Galina The complexity of concatenation on deterministic and alternating finite automata. (English) Zbl 07082325 RAIRO, Theor. Inform. Appl. 52, No. 2-4, 153-168 (2018). MSC: 68Q19 68Q45 PDF BibTeX XML Cite \textit{M. Hospodár} and \textit{G. Jirásková}, RAIRO, Theor. Inform. Appl. 52, No. 2--4, 153--168 (2018; Zbl 07082325) Full Text: DOI OpenURL
Ostapchuk, M.; Solov’ev, V. V. Minimizing the finite-state machines by using the values of input variables for coding the internal states. (English. Russian original) Zbl 1411.93113 J. Comput. Syst. Sci. Int. 57, No. 5, 738-749 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 5, 76-88 (2018). MSC: 93C62 68Q80 93B50 93-04 PDF BibTeX XML Cite \textit{M. Ostapchuk} and \textit{V. V. Solov'ev}, J. Comput. Syst. Sci. Int. 57, No. 5, 738--749 (2018; Zbl 1411.93113); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 5, 76--88 (2018) Full Text: DOI OpenURL
McDevitt, Matthew A class of rational relations generalising the subword order. (English) Zbl 1418.68121 J. Autom. Lang. Comb. 23, No. 4, 361-386 (2018). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 68Q70 PDF BibTeX XML Cite \textit{M. McDevitt}, J. Autom. Lang. Comb. 23, No. 4, 361--386 (2018; Zbl 1418.68121) Full Text: DOI OpenURL
Rezchikov, A. F.; Kushnikov, V. A.; Ivashchenko, V. A.; Bogomolov, A. S.; Filimonyuk, L. Yu. Models and algorithms of automata theory for the control of an aircraft group. (English. Russian original) Zbl 1406.93229 Autom. Remote Control 79, No. 10, 1863-1870 (2018); translation from Avtom. Telemekh. 2018, No. 10, 154-163 (2018). MSC: 93C95 93C41 68Q45 90C10 PDF BibTeX XML Cite \textit{A. F. Rezchikov} et al., Autom. Remote Control 79, No. 10, 1863--1870 (2018; Zbl 1406.93229); translation from Avtom. Telemekh. 2018, No. 10, 154--163 (2018) Full Text: DOI OpenURL
Han, Xiao-Guang; Chen, Zeng-Qiang A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata. (English) Zbl 1402.93205 J. Franklin Inst. 355, No. 17, 8642-8663 (2018). MSC: 93D15 93C65 68Q45 93B50 PDF BibTeX XML Cite \textit{X.-G. Han} and \textit{Z.-Q. Chen}, J. Franklin Inst. 355, No. 17, 8642--8663 (2018; Zbl 1402.93205) Full Text: DOI OpenURL
Babakov, R. M.; Barkalov, A. A. Determining the area of efficient application of a microprogrammed finite-state machine with datapath of transitions. (English. Russian original) Zbl 1401.68143 Cybern. Syst. Anal. 54, No. 3, 366-375 (2018); translation from Kibern. Sist. Anal. 2018, No. 3, 27-37 (2018). MSC: 68Q45 94C10 PDF BibTeX XML Cite \textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 54, No. 3, 366--375 (2018; Zbl 1401.68143); translation from Kibern. Sist. Anal. 2018, No. 3, 27--37 (2018) Full Text: DOI OpenURL
Keroglou, Christoforos; Hadjicostis, Christoforos N. Probabilistic system opacity in discrete event systems. (English) Zbl 1398.93216 Discrete Event Dyn. Syst. 28, No. 2, 289-314 (2018). MSC: 93C65 93E03 60J20 93A30 68Q80 PDF BibTeX XML Cite \textit{C. Keroglou} and \textit{C. N. Hadjicostis}, Discrete Event Dyn. Syst. 28, No. 2, 289--314 (2018; Zbl 1398.93216) Full Text: DOI OpenURL
Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro Current-state opacity enforcement in discrete event systems under incomparable observations. (English) Zbl 1398.93223 Discrete Event Dyn. Syst. 28, No. 2, 161-182 (2018). MSC: 93C65 93B07 68Q45 93-04 PDF BibTeX XML Cite \textit{Y. Tong} et al., Discrete Event Dyn. Syst. 28, No. 2, 161--182 (2018; Zbl 1398.93223) Full Text: DOI OpenURL
Becher, Verónica; Carton, Olivier; Heiber, Pablo Ariel Finite-state independence. (English) Zbl 1404.68066 Theory Comput. Syst. 62, No. 7, 1555-1572 (2018). Reviewer: Cristian S. Calude (Auckland) MSC: 68Q45 68Q30 PDF BibTeX XML Cite \textit{V. Becher} et al., Theory Comput. Syst. 62, No. 7, 1555--1572 (2018; Zbl 1404.68066) Full Text: DOI arXiv OpenURL
Jirásek, Jozef jun.; Jirásková, Galina; Šebej, Juraj Operations on unambiguous finite automata. (English) Zbl 1403.68115 Int. J. Found. Comput. Sci. 29, No. 5, 861-876 (2018). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Jirásek jun.} et al., Int. J. Found. Comput. Sci. 29, No. 5, 861--876 (2018; Zbl 1403.68115) Full Text: DOI OpenURL
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi Degrees of infinite words, polynomials and atoms. (English) Zbl 1404.68068 Int. J. Found. Comput. Sci. 29, No. 5, 825-843 (2018). Reviewer: Michel Rigo (Liège) MSC: 68Q45 68R15 PDF BibTeX XML Cite \textit{J. Endrullis} et al., Int. J. Found. Comput. Sci. 29, No. 5, 825--843 (2018; Zbl 1404.68068) Full Text: DOI arXiv 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
Silvestre-Ryan, Jordi; Holmes, Ian Consensus decoding of recurrent neural network basecallers. (English) Zbl 1392.92008 Jansson, Jesper (ed.) et al., Algorithms for computational biology. 5th international conference, ALCoB 2018, Hong Kong, China, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-91937-9/pbk; 978-3-319-91938-6/ebook). Lecture Notes in Computer Science 10849. Lecture Notes in Bioinformatics, 128-139 (2018). MSC: 92B20 92C40 68Q45 68T05 PDF BibTeX XML Cite \textit{J. Silvestre-Ryan} and \textit{I. Holmes}, Lect. Notes Comput. Sci. 10849, 128--139 (2018; Zbl 1392.92008) Full Text: DOI 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
Arnolds, Ines Verena; Gartner, Daniel Improving hospital layout planning through clinical pathway mining. (English) Zbl 1462.62645 Ann. Oper. Res. 263, No. 1-2, 453-477 (2018). MSC: 62P10 68T05 62L10 90B50 PDF BibTeX XML Cite \textit{I. V. Arnolds} and \textit{D. Gartner}, Ann. Oper. Res. 263, No. 1--2, 453--477 (2018; Zbl 1462.62645) Full Text: DOI OpenURL
El-Fakih, Khaled; Yevtushenko, Nina; Kushik, Natalia Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. (English) Zbl 1382.68134 Formal Asp. Comput. 30, No. 2, 319-332 (2018). MSC: 68Q45 PDF BibTeX XML Cite \textit{K. El-Fakih} et al., Formal Asp. Comput. 30, No. 2, 319--332 (2018; Zbl 1382.68134) Full Text: DOI OpenURL
Holzer, Markus; Jakobi, Sebastian On the computational complexity of problems related to distinguishability sets. (English) Zbl 1390.68396 Inf. Comput. 259, Part 2, 225-236 (2018). MSC: 68Q45 68Q17 68Q25 PDF BibTeX XML Cite \textit{M. Holzer} and \textit{S. Jakobi}, Inf. Comput. 259, Part 2, 225--236 (2018; Zbl 1390.68396) Full Text: DOI OpenURL
Brittenham, Mark; Hermiller, Susan; Susse, Tim Geometry of the word problem for 3-manifold groups. (English) Zbl 1427.20057 J. Algebra 499, 111-150 (2018). MSC: 20F65 20F10 57M05 57M07 68Q45 PDF BibTeX XML Cite \textit{M. Brittenham} et al., J. Algebra 499, 111--150 (2018; Zbl 1427.20057) Full Text: DOI arXiv OpenURL
Barkalov, Alexander; Titarenko, Larysa; Bieganowski, Jacek Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. (English) Zbl 1375.68006 Studies in Systems, Decision and Control 113. Cham: Springer (ISBN 978-3-319-59836-9/hbk; 978-3-319-59837-6/ebook). viii, 225 p. (2018). MSC: 68-02 68M07 68Q45 94C10 PDF BibTeX XML Cite \textit{A. Barkalov} et al., Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges. Cham: Springer (2018; Zbl 1375.68006) 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
Yang, Jingkai; Pan, Chunxiu; Cheng, Yuqiang; Huang, Feidan Quotients and homomorphisms of fuzzy finite state machines. (Chinese. English summary) Zbl 1424.68096 Fuzzy Syst. Math. 31, No. 4, 162-166 (2017). MSC: 68Q70 PDF BibTeX XML Cite \textit{J. Yang} et al., Fuzzy Syst. Math. 31, No. 4, 162--166 (2017; Zbl 1424.68096) OpenURL
Liu, Jun; Mo, Zhiwen; Sun, Suqin Join of disturbing-valued fuzzy finite-state machines. (Chinese. English summary) Zbl 1424.68087 Fuzzy Syst. Math. 31, No. 1, 174-178 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Liu} et al., Fuzzy Syst. Math. 31, No. 1, 174--178 (2017; Zbl 1424.68087) 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
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
Ng, Timothy; Rappaport, David; Salomaa, Kai State complexity of prefix distance of subregular languages. (English) Zbl 1392.68219 J. Autom. Lang. Comb. 22, No. 1-3, 169-188 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Ng} et al., J. Autom. Lang. Comb. 22, No. 1--3, 169--188 (2017; Zbl 1392.68219) Full Text: DOI OpenURL
Jirásková, Galina; Szabari, Alexander; Šebej, Juraj The complexity of languages resulting from the concatenation operation. (English) Zbl 1390.68398 J. Autom. Lang. Comb. 22, No. 1-3, 123-143 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Jirásková} et al., J. Autom. Lang. Comb. 22, No. 1--3, 123--143 (2017; Zbl 1390.68398) Full Text: DOI 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
Calvo-Zaragoza, Jorge; Oncina, Jose; de la Higuera, Colin Computing the expected edit distance from a string to a probabilistic finite-state automaton. (English) Zbl 1380.68250 Int. J. Found. Comput. Sci. 28, No. 5, 603-621 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Calvo-Zaragoza} et al., Int. J. Found. Comput. Sci. 28, No. 5, 603--621 (2017; Zbl 1380.68250) Full Text: DOI OpenURL
Gómez, M.; Lizasoain, I.; Moreno, C. Information retrieval from interval-valued fuzzy automata through \(K_\alpha\) operators. (English) Zbl 1380.68169 Fuzzy Sets Syst. 324, 20-32 (2017). MSC: 68P20 20M35 68Q45 PDF BibTeX XML Cite \textit{M. Gómez} et al., Fuzzy Sets Syst. 324, 20--32 (2017; Zbl 1380.68169) Full Text: DOI OpenURL
Keroglou, Christoforos; Hadjicostis, Christoforos N. Verification of detectability in probabilistic finite automata. (English) Zbl 1375.93118 Automatica 86, 192-198 (2017). MSC: 93E03 93C65 60J10 93E10 68Q80 PDF BibTeX XML Cite \textit{C. Keroglou} and \textit{C. N. Hadjicostis}, Automatica 86, 192--198 (2017; Zbl 1375.93118) Full Text: DOI OpenURL
Pola, Giordano; De Santis, Elena; Di Benedetto, Maria Domenica; Pezzuti, Davide Design of decentralized critical observers for networks of finite state machines: a formal method approach. (English) Zbl 1375.93014 Automatica 86, 174-182 (2017). MSC: 93A15 93B07 68P30 68Q80 PDF BibTeX XML Cite \textit{G. Pola} et al., Automatica 86, 174--182 (2017; Zbl 1375.93014) Full Text: DOI arXiv OpenURL