Michaliszyn, Jakub; Otop, Jan Learning infinite-word automata with loop-index queries. (English) Zbl 07505994 Artif. Intell. 307, Article ID 103710, 17 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{J. Michaliszyn} and \textit{J. Otop}, Artif. Intell. 307, Article ID 103710, 17 p. (2022; Zbl 07505994) Full Text: DOI
Wilke, Thomas; Schewe, Sven \(\omega \)-automata. (English) Zbl 1516.68051 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 189-234 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{T. Wilke} and \textit{S. Schewe}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 189--234 (2021; Zbl 1516.68051) Full Text: DOI
Angluin, Dana; Fisman, Dana Regular \(\omega\)-languages with an informative right congruence. (English) Zbl 1497.68247 Inf. Comput. 278, Article ID 104598, 17 p. (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Angluin} and \textit{D. Fisman}, Inf. Comput. 278, Article ID 104598, 17 p. (2021; Zbl 1497.68247) Full Text: DOI
Angluin, Dana; Fisman, Dana; Shoval, Yaara Polynomial identification of \(\omega \)-automata. (English) Zbl 1483.68153 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 325-343 (2020). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{D. Angluin} et al., Lect. Notes Comput. Sci. 12079, 325--343 (2020; Zbl 1483.68153) Full Text: DOI
Löding, Christof; Pirogov, Anton Ambiguity, weakness, and regularity in probabilistic Büchi automata. (English) Zbl 07250955 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 522-541 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{C. Löding} and \textit{A. Pirogov}, Lect. Notes Comput. Sci. 12077, 522--541 (2020; Zbl 07250955) Full Text: DOI arXiv
Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio Concurrent Kleene algebra with observations: from hypotheses to completeness. (English) Zbl 07250948 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 381-400 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{T. Kappé} et al., Lect. Notes Comput. Sci. 12077, 381--400 (2020; Zbl 07250948) Full Text: DOI arXiv
Ciancia, Vincenzo; Venema, Yde \(\Omega\)-automata: a coalgebraic perspective on regular \(\omega\)-languages. (English) Zbl 07649888 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 5, 18 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{V. Ciancia} and \textit{Y. Venema}, LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 5, 18 p. (2019; Zbl 07649888) Full Text: DOI
Charlier, Émilie; Cisternino, Célia; Massuir, Adeline State complexity of the multiples of the Thue-Morse set. (English) Zbl 07453075 Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 34-49 (2019). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{É. Charlier} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 34--49 (2019; Zbl 07453075) Full Text: arXiv Link
Angluin, Dana; Fisman, Dana Regular \(\omega\)-languages with an informative right congruence. (English) Zbl 1528.68169 Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 265-279 (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Angluin} and \textit{D. Fisman}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 265--279 (2018; Zbl 1528.68169) Full Text: arXiv Link
Charlier, Émilie First-order logic and numeration systems. (English) Zbl 1486.03055 Berthé, Valérie (ed.) et al., Sequences, groups, and number theory. Cham: Birkhäuser. Trends Math., 89-141 (2018). MSC: 03C07 03C62 03D05 PDFBibTeX XMLCite \textit{É. Charlier}, in: Sequences, groups, and number theory. Cham: Birkhäuser. 89--141 (2018; Zbl 1486.03055) Full Text: DOI
Fisman, Dana Inferring regular languages and \(\omega\)-languages. (English) Zbl 1394.68211 J. Log. Algebr. Methods Program. 98, 27-49 (2018). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{D. Fisman}, J. Log. Algebr. Methods Program. 98, 27--49 (2018; Zbl 1394.68211) 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 PDFBibTeX XMLCite \textit{N. Chaturvedi} and \textit{M. Gelderie}, Inf. Comput. 256, 23--34 (2017; Zbl 1376.68085) Full Text: DOI
Hoffmann, Stefan; Schwarz, Sibylle; Staiger, Ludwig Shift-invariant topologies for the Cantor space \(X^{\omega}\). (English) Zbl 1386.68090 Theor. Comput. Sci. 679, 145-161 (2017). Reviewer: Cristian S. Calude (Auckland) MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Hoffmann} et al., Theor. Comput. Sci. 679, 145--161 (2017; Zbl 1386.68090) Full Text: DOI
Angluin, Dana; Fisman, Dana Learning regular omega languages. (English) Zbl 1362.68118 Theor. Comput. Sci. 650, 57-72 (2016). Reviewer: Ludwig Staiger (Halle/Saale) MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{D. Angluin} and \textit{D. Fisman}, Theor. Comput. Sci. 650, 57--72 (2016; Zbl 1362.68118) Full Text: DOI
Hoffmann, Stefan; Staiger, Ludwig Subword metrics for infinite words. (English) Zbl 1465.68150 Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9223, 165-175 (2015). MSC: 68Q45 54E35 68R15 PDFBibTeX XMLCite \textit{S. Hoffmann} and \textit{L. Staiger}, Lect. Notes Comput. Sci. 9223, 165--175 (2015; Zbl 1465.68150) Full Text: DOI
Freund, Rudolf; Ivanov, Sergiu; Staiger, Ludwig Going beyond Turing with P automata: partial adult halting and regular observer \(\omega\)-languages. (English) Zbl 1465.68082 Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 169-180 (2015). MSC: 68Q07 68Q45 PDFBibTeX XMLCite \textit{R. Freund} et al., Lect. Notes Comput. Sci. 9252, 169--180 (2015; Zbl 1465.68082) Full Text: DOI
Klaedtke, Felix Ehrenfeucht-Fraïssé goes automatic for real addition. (English) Zbl 1204.68121 Inf. Comput. 208, No. 11, 1283-1295 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. Klaedtke}, Inf. Comput. 208, No. 11, 1283--1295 (2010; Zbl 1204.68121) Full Text: DOI
Jürgensen, Helmut; Staiger, Ludwig; Yamasaki, Hideki Finite automata encoding geometric figures. (English) Zbl 1188.68173 Theor. Comput. Sci. 381, No. 1-3, 33-43 (2007). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Jürgensen} et al., Theor. Comput. Sci. 381, No. 1--3, 33--43 (2007; Zbl 1188.68173) Full Text: DOI
Yeh, Y. T.; Yu, S. S. The disjunctivities of \(\omega\)-languages. (English) Zbl 1057.68054 Discrete Appl. Math. 127, No. 3, 627-641 (2003). MSC: 68Q45 PDFBibTeX XMLCite \textit{Y. T. Yeh} and \textit{S. S. Yu}, Discrete Appl. Math. 127, No. 3, 627--641 (2003; Zbl 1057.68054) Full Text: DOI
Fernau, Henning; Staiger, Ludwig Iterated function systems and control languages. (English) Zbl 1007.68096 Inf. Comput. 168, No. 2, 125-143 (2001). MSC: 68Q45 28A80 PDFBibTeX XMLCite \textit{H. Fernau} and \textit{L. Staiger}, Inf. Comput. 168, No. 2, 125--143 (2001; Zbl 1007.68096) Full Text: DOI Link
Löding, C. Efficient minimization of deterministic weak \(\omega\)-automata. (English) Zbl 1032.68103 Inf. Process. Lett. 79, No. 3, 105-109 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Löding}, Inf. Process. Lett. 79, No. 3, 105--109 (2001; Zbl 1032.68103) Full Text: DOI
Redziejowski, Roman R. Construction of a deterministic \(\omega\)-automaton using derivatives. (English) Zbl 0946.68078 Theor. Inform. Appl. 33, No. 2, 133-158 (1999). MSC: 68Q45 68R15 PDFBibTeX XMLCite \textit{R. R. Redziejowski}, Theor. Inform. Appl. 33, No. 2, 133--158 (1999; Zbl 0946.68078) Full Text: DOI EuDML
Maler, Oded; Staiger, Ludwig On syntactic congruences for \(\omega\)-languages. (English) Zbl 0911.68145 Theor. Comput. Sci. 183, No. 1, 93-112 (1997). MSC: 68Q45 PDFBibTeX XMLCite \textit{O. Maler} and \textit{L. Staiger}, Theor. Comput. Sci. 183, No. 1, 93--112 (1997; Zbl 0911.68145) Full Text: DOI
Do Long Van; Le Saëc, Bertrand; Litovsky, Igor Characterizations of rational \(\omega\)-languages by means of right congruences. (English) Zbl 0873.68115 Theor. Comput. Sci. 143, No. 1, 1-21 (1995). MSC: 68Q45 03D05 68Q70 PDFBibTeX XMLCite \textit{Do Long Van} et al., Theor. Comput. Sci. 143, No. 1, 1--21 (1995; Zbl 0873.68115) Full Text: DOI
Le Saëc, Bertrand; Litovsky, Igor On the minimization problem for \(\omega \)-automata. (English) Zbl 1493.68193 Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 504-514 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. Le Saëc} and \textit{I. Litovsky}, Lect. Notes Comput. Sci. 841, 504--514 (1994; Zbl 1493.68193) Full Text: DOI
Merzenich, W.; Staiger, L. Fractals, dimension, and formal languages. (English) Zbl 0883.68078 RAIRO, Inform. Théor. Appl. 28, No. 3-4, 361-386 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{W. Merzenich} and \textit{L. Staiger}, RAIRO, Inform. Théor. Appl. 28, No. 3--4, 361--386 (1994; Zbl 0883.68078) Full Text: DOI EuDML
Engelfriet, Joost; Hoogeboom, Hendrik Jan \(X\)-automata on \(\omega\)-words. (English) Zbl 0777.68058 Theor. Comput. Sci. 110, No. 1, 1-51 (1993). Reviewer: M.Linna (Naasa) MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. J. Hoogeboom}, Theor. Comput. Sci. 110, No. 1, 1--51 (1993; Zbl 0777.68058) Full Text: DOI
Phan Trung Huy; Livotsky, Igor; Do Long Van Which finite monoids are syntactic monoids of rational \(\omega\)-languages. (English) Zbl 0780.68086 Inf. Process. Lett. 42, No. 3, 127-132 (1992). MSC: 68Q45 PDFBibTeX XMLCite \textit{Phan Trung Huy} et al., Inf. Process. Lett. 42, No. 3, 127--132 (1992; Zbl 0780.68086) Full Text: DOI
Le Saëc, B.; Litovsky, I. Rebootable and suffix-closed \(\omega\)-power languages. (English) Zbl 0768.68079 RAIRO, Inform. Théor. Appl. 26, No. 1, 45-58 (1992). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. Le Saëc} and \textit{I. Litovsky}, RAIRO, Inform. Théor. Appl. 26, No. 1, 45--58 (1992; Zbl 0768.68079) Full Text: DOI EuDML
Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas A geometrical view of the determinization and minimization of finite- state automata. (English) Zbl 0722.68080 Math. Syst. Theory 24, No. 2, 117-146 (1991). MSC: 68Q70 68Q45 PDFBibTeX XMLCite \textit{B. Courcelle} et al., Math. Syst. Theory 24, No. 2, 117--146 (1991; Zbl 0722.68080) Full Text: DOI
Devolder, J.; Litovsky, I. Finitely generated bi\(\omega\)-languages. (English) Zbl 0745.68066 Theor. Comput. Sci. 85, No. 1, 33-52 (1991). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Devolder} and \textit{I. Litovsky}, Theor. Comput. Sci. 85, No. 1, 33--52 (1991; Zbl 0745.68066) Full Text: DOI
Head, Tom The topological structure of adherences of regular languages. (English) Zbl 0608.68066 RAIRO, Inf. Théor. Appl. 20, 31-41 (1986). Reviewer: M.Linna MSC: 68Q45 54E45 PDFBibTeX XMLCite \textit{T. Head}, RAIRO, Inform. Théor. Appl. 20, 31--41 (1986; Zbl 0608.68066) Full Text: DOI EuDML
Redziejowski, Roman R. Infinite-word languages and continuous mappings. (English) Zbl 0602.68059 Theor. Comput. Sci. 43, 59-79 (1986). Reviewer: G.Orman MSC: 68Q45 54H99 PDFBibTeX XMLCite \textit{R. R. Redziejowski}, Theor. Comput. Sci. 43, 59--79 (1986; Zbl 0602.68059) Full Text: DOI