×

Found 594 Documents (Results 1–100)

A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages. (English) Zbl 07722356

Barneva, Reneta P. (ed.) et al., Combinatorial image analysis. 21st international workshop, IWCIA 2022, Messina, Italy, July 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13348, 154-170 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions. (English. Ukrainian original) Zbl 1510.68006

Cybern. Syst. Anal. 59, No. 2, 190-198 (2023); translation from Kibern. Sist. Anal. 59, No. 2, 18-26 (2023).
MSC:  68M07 68Q45
PDFBibTeX XMLCite
Full Text: DOI

State identification and verification with satisfaction. (English) Zbl 1524.68176

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 450-466 (2022).
MSC:  68Q45 68Q60 68R07
PDFBibTeX XMLCite
Full Text: DOI

Learning finite state models from recurrent neural networks. (English) Zbl 1502.68263

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 229-248 (2022).
MSC:  68T05 68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 1487.68168

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Finite transducers and rational transductions. (English) Zbl 1517.68195

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 79-111 (2021).
MSC:  68Q45 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Groups defined by automata. (English) Zbl 1520.20075

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 871-911 (2021).
MSC:  20F10 68Q45 20F36
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

Two characterizations of finite-state dimension. (English) Zbl 1511.68129

Gąsieniec, Leszek Antoni (ed.) et al., Fundamentals of computation theory. 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12–14, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11651, 80-94 (2019).
MSC:  68Q30 11K16 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

Facet connectedness of arithmetic discrete hyperplanes with non-zero shift. (English) Zbl 1522.68644

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 68Q45
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: Link

Selecting a leader in a network of finite state machines. (English) Zbl 1497.68031

Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 4, 17 p. (2018).
MSC:  68M14 68Q10 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

It is easy to be wise after the event: communicating finite-state machines capture first-order logic with “happened before”. (English) Zbl 1487.68163

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 7, 17 p. (2018).
MSC:  68Q85 03B70 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Communicating finite-state machines and two-variable logic. (English) Zbl 1487.68140

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 17, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Between the event calculus and finite state temporality. (English) Zbl 1478.03055

Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 112-129 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Enhancing practical TAG parsing efficiency by capturing redundancy. (English) Zbl 1475.68144

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. Lect. Notes Comput. Sci. 9705, 310-321 (2016).
MSC:  68Q42 68Q45 68T50
PDFBibTeX XMLCite
Full Text: DOI HAL

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
PDFBibTeX XMLCite
Full Text: DOI Link

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
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software