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: 68R 68T 68M 68Q 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
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
Fatima, Madeeha; Nagy, Benedek Transduced-input automata with translucent letters. (English) Zbl 07258536 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 07258536) Full Text: DOI
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
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
Álvarez, Nicolás; Carton, Olivier On normality in shifts of finite type. (English) Zbl 07217005 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 07217005) Full Text: DOI
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
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
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
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
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
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
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 MNR
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
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
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
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
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)
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
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
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
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
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
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
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
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 (ISBN 978-3-030-19310-2/pbk; 978-3-030-19311-9/ebook). Lecture Notes in Computer Science 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
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
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
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
Á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
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
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
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
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 (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 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
Fiore, Gabriella; De Santis, Elena; Di Benedetto, Maria Domenica Secure diagnosability of hybrid dynamical systems. (English) Zbl 07237452 Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer (ISBN 978-3-319-74961-7/hbk; 978-3-030-09114-9/pbk; 978-3-319-74962-4/ebook). 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 07237452) Full Text: DOI
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Arnolds, Ines Verena; Gartner, Daniel Improving hospital layout planning through clinical pathway mining. (English) Zbl 06886415 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 06886415) Full Text: DOI
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
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
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
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
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
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)
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)
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
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
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
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
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
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
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
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
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
Karandashov, Maksim V. The algorithm for checking transitivity of mappings associated with the finite state machines from the groups \(AS_p\). (Russian. English summary) Zbl 1419.68061 Izv. Sarat. Univ. (N.S.), Ser. Mat. Mekh. Inform. 17, No. 1, 85-95 (2017). MSC: 68Q45 68Q70 68W30 68W40 PDF BibTeX XML Cite \textit{M. V. Karandashov}, Izv. Sarat. Univ. (N.S.), Ser. Mat. Mekh. Inform. 17, No. 1, 85--95 (2017; Zbl 1419.68061) Full Text: DOI
Chaturvedi, Namit; Gelderie, Marcus Classifying recognizable infinitary trace languages using word automata. (English) Zbl 1376.68085 Inf. Comput. 256, 23-34 (2017). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{N. Chaturvedi} and \textit{M. Gelderie}, Inf. Comput. 256, 23--34 (2017; Zbl 1376.68085) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice Boolean language operations on nondeterministic automata with a pushdown of constant height. (English) Zbl 1374.68251 J. Comput. Syst. Sci. 90, 99-114 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., J. Comput. Syst. Sci. 90, 99--114 (2017; Zbl 1374.68251) Full Text: DOI
Vasile, Cristian-Ioan; Aksaray, Derya; Belta, Calin Time window temporal logic. (English) Zbl 1372.68178 Theor. Comput. Sci. 691, 27-54 (2017). MSC: 68Q60 03B44 68Q45 PDF BibTeX XML Cite \textit{C.-I. Vasile} et al., Theor. Comput. Sci. 691, 27--54 (2017; Zbl 1372.68178) Full Text: DOI
Han, Yo-Sub; Salomaa, Arto; Salomaa, Kai Ambiguity, nondeterminism and state complexity of finite automata. (English) Zbl 1389.68044 Acta Cybern. 23, No. 1, 141-157 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{Y.-S. Han} et al., Acta Cybern. 23, No. 1, 141--157 (2017; Zbl 1389.68044) Full Text: DOI
Yenigün, Hüsnü; Yevtushenko, Nina; Kushik, Natalia The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. (English) Zbl 1409.68163 Inf. Process. Lett. 127, 49-53 (2017). MSC: 68Q45 68Q25 PDF BibTeX XML Cite \textit{H. Yenigün} et al., Inf. Process. Lett. 127, 49--53 (2017; Zbl 1409.68163) Full Text: DOI
Yao, Lihong; Li, Junmin Input-output finite-time stabilization of a class of nonlinear hybrid systems based on FSM with MDADT. (English) Zbl 1367.93606 J. Franklin Inst. 354, No. 9, 3797-3812 (2017). MSC: 93D25 93C10 68Q80 93D15 PDF BibTeX XML Cite \textit{L. Yao} and \textit{J. Li}, J. Franklin Inst. 354, No. 9, 3797--3812 (2017; Zbl 1367.93606) Full Text: DOI
Palioudakis, Alexandros; Salomaa, Kai; Akl, Selim G. Worst case branching and other measures of nondeterminism. (English) Zbl 1371.68163 Int. J. Found. Comput. Sci. 28, No. 3, 195-210 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Palioudakis} et al., Int. J. Found. Comput. Sci. 28, No. 3, 195--210 (2017; Zbl 1371.68163) Full Text: DOI
Ng, Timothy; Rappaport, David; Salomaa, Kai State complexity of prefix distance. (English) Zbl 1371.68161 Theor. Comput. Sci. 679, 107-117 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Ng} et al., Theor. Comput. Sci. 679, 107--117 (2017; Zbl 1371.68161) Full Text: DOI
Gruber, Hermann; Holzer, Markus; Jakobi, Sebastian More on deterministic and nondeterministic finite cover automata. (English) Zbl 1371.68149 Theor. Comput. Sci. 679, 18-30 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. Gruber} et al., Theor. Comput. Sci. 679, 18--30 (2017; Zbl 1371.68149) Full Text: DOI
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
Cho, Da-Jung; Goč, Daniel; Han, Yo-Sub; Ko, Sang-Ki; Palioudakis, Alexandros; Salomaa, Kai State complexity of permutation on finite languages over a binary alphabet. (English) Zbl 1371.68145 Theor. Comput. Sci. 682, 67-78 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{D.-J. Cho} et al., Theor. Comput. Sci. 682, 67--78 (2017; Zbl 1371.68145) Full Text: DOI
Garrabrant, Scott; Pak, Igor Words in linear groups, random walks, automata and P-recursiveness. (English) Zbl 1422.20009 J. Comb. Algebra 1, No. 2, 127-144 (2017). MSC: 20F05 20P05 05C81 60G50 68Q45 PDF BibTeX XML Cite \textit{S. Garrabrant} and \textit{I. Pak}, J. Comb. Algebra 1, No. 2, 127--144 (2017; Zbl 1422.20009) Full Text: DOI arXiv
Buss, Sam; Cenzer, Douglas; Minnes, Mia; Remmel, Jeffrey B. Injection structures specified by finite state transducers. (English) Zbl 06700070 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 394-417 (2017). MSC: 03C57 03D05 PDF BibTeX XML Cite \textit{S. Buss} et al., Lect. Notes Comput. Sci. 10010, 394--417 (2017; Zbl 06700070) Full Text: DOI
Albert, Pilar; Mayordomo, Elvira; Moser, Philippe Bounded pushdown dimension vs Lempel Ziv information density. (English) Zbl 1360.68453 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 95-114 (2017). MSC: 68P30 68Q45 PDF BibTeX XML Cite \textit{P. Albert} et al., Lect. Notes Comput. Sci. 10010, 95--114 (2017; Zbl 1360.68453) Full Text: DOI arXiv
Bednárová, Zuzana; Geffert, Viliam Two double-exponential gaps for automata with a limited pushdown. (English) Zbl 1370.68157 Inf. Comput. 253, Part 3, 381-398 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} and \textit{V. Geffert}, Inf. Comput. 253, Part 3, 381--398 (2017; Zbl 1370.68157) Full Text: DOI
Jirásková, Galina; Okhotin, Alexander On the state complexity of operations on two-way finite automata. (English) Zbl 1371.68153 Inf. Comput. 253, Part 1, 36-63 (2017). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Jirásková} and \textit{A. Okhotin}, Inf. Comput. 253, Part 1, 36--63 (2017; Zbl 1371.68153) Full Text: DOI
Murugesan, N.; Sundaram, O. V. Shanmuga Computation of regular expression derivatives. (English) Zbl 1453.68100 Int. J. Comput. Sci. Math. 7, No. 3, 201-211 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{N. Murugesan} and \textit{O. V. S. Sundaram}, Int. J. Comput. Sci. Math. 7, No. 3, 201--211 (2016; Zbl 1453.68100) Full Text: DOI
Yang, Jingkai; Huang, Qiujiao; Li, Fang; Chen, Caihong; Huang, Feidan; Pan, Chunxiu Algebraic properties of products of fuzzy finite state machines. (Chinese. English summary) Zbl 1389.68061 Fuzzy Syst. Math. 30, No. 5, 33-41 (2016). MSC: 68Q70 PDF BibTeX XML Cite \textit{J. Yang} et al., Fuzzy Syst. Math. 30, No. 5, 33--41 (2016; Zbl 1389.68061)
Hu, Zhonggang On some properties of cyclic intuitionistic fuzzy finite state machines. (Chinese. English summary) Zbl 1389.68059 Fuzzy Syst. Math. 30, No. 5, 27-32 (2016). MSC: 68Q70 20M35 PDF BibTeX XML Cite \textit{Z. Hu}, Fuzzy Syst. Math. 30, No. 5, 27--32 (2016; Zbl 1389.68059)
He, Pei; Deng, Zelin; Wang, Houfeng; Liu, Zhusong Model approach to grammatical evolution: theory and case study. (English) Zbl 1370.68261 Soft Comput. 20, No. 9, 3537-3548 (2016). MSC: 68T20 68N19 68Q42 68Q45 PDF BibTeX XML Cite \textit{P. He} et al., Soft Comput. 20, No. 9, 3537--3548 (2016; Zbl 1370.68261) Full Text: DOI
Eom, Hae-Sung; Han, Yo-Sub; Jirásková, Galina State complexity of basic operations on non-returning regular languages. (English) Zbl 1357.68105 Fundam. Inform. 144, No. 2, 161-182 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{H.-S. Eom} et al., Fundam. Inform. 144, No. 2, 161--182 (2016; Zbl 1357.68105) Full Text: DOI
Jitpattanakul, Anuchit Closure properties of languages recognized by strictly \(k\)-edge finite state automata. (English) Zbl 1404.68071 Far East J. Math. Sci. (FJMS) 100, No. 3, 397-411 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Jitpattanakul}, Far East J. Math. Sci. (FJMS) 100, No. 3, 397--411 (2016; Zbl 1404.68071) Full Text: DOI Link
Palmovský, Matúš Kleene closure and state complexity. (English) Zbl 1357.68107 RAIRO, Theor. Inform. Appl. 50, No. 3, 251-261 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Palmovský}, RAIRO, Theor. Inform. Appl. 50, No. 3, 251--261 (2016; Zbl 1357.68107) Full Text: DOI
Dassow, Jürgen On the number of accepting states of finite automata. (English) Zbl 1362.68134 J. Autom. Lang. Comb. 21, No. 1-2, 55-67 (2016). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Dassow}, J. Autom. Lang. Comb. 21, No. 1--2, 55--67 (2016; Zbl 1362.68134) Full Text: DOI
Waszczuk, Jakub; Savary, Agata; Parmentier, Yannick Enhancing practical TAG parsing efficiency by capturing redundancy. (English) Zbl 06650043 Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 310-321 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Waszczuk} et al., Lect. Notes Comput. Sci. 9705, 310--321 (2016; Zbl 06650043) Full Text: DOI
Calvo-Zaragoza, Jorge; de la Higuera, Colin; Oncina, Jose Computing the expected edit distance from a string to a PFA. (English) Zbl 1379.68219 Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 39-50 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Calvo-Zaragoza} et al., Lect. Notes Comput. Sci. 9705, 39--50 (2016; Zbl 1379.68219) Full Text: DOI
Berend, Daniel; Kontorovich, Aryeh The state complexity of random DFAs. (English) Zbl 1353.68159 Theor. Comput. Sci. 652, 102-108 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Berend} and \textit{A. Kontorovich}, Theor. Comput. Sci. 652, 102--108 (2016; Zbl 1353.68159) Full Text: DOI arXiv
Babakov, R. M.; Barkalov, A. A. Algebraic interpretation of a microprogram finite-state machine with datapath of transitions. (English. Russian original) Zbl 1346.68124 Cybern. Syst. Anal. 52, No. 2, 191-198 (2016); translation from Kibern. Sist. Anal. 2016, No. 2, 22-29 (2016). MSC: 68Q70 68N30 PDF BibTeX XML Cite \textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 52, No. 2, 191--198 (2016; Zbl 1346.68124); translation from Kibern. Sist. Anal. 2016, No. 2, 22--29 (2016) Full Text: DOI
Steinberg, Benjamin Representation theory of finite monoids. (English) Zbl 1428.20003 Universitext. Cham: Springer (ISBN 978-3-319-43930-3/pbk; 978-3-319-43932-7/ebook). xxiv, 317 p. (2016). Reviewer: Jaak Henno (Tallinn) MSC: 20-02 20M32 20M30 20M35 05C25 60J10 PDF BibTeX XML Cite \textit{B. Steinberg}, Representation theory of finite monoids. Cham: Springer (2016; Zbl 1428.20003) Full Text: DOI
Shamsizadeh, M.; Zahedi, M. M. A note on “Quotient structures of intuitionistic fuzzy finite state machines”. (English) Zbl 1338.68161 J. Appl. Math. Comput. 51, No. 1-2, 413-423 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Shamsizadeh} and \textit{M. M. Zahedi}, J. Appl. Math. Comput. 51, No. 1--2, 413--423 (2016; Zbl 1338.68161) Full Text: DOI