Ésik, Zoltán Equational theories for automata. (English) Zbl 1518.68216 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729-764 (2021). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729--764 (2021; Zbl 1518.68216) Full Text: DOI
Droste, Manfred; Ésik, Zoltán; Kuich, Werner The triple-pair construction for weighted \(\omega\)-pushdown automata. (English) Zbl 1483.68163 Csuhaj-Varjú, Erzsébet (ed.) et al., Proceedings of the 15th international conference on automata and formal languages, AFL’17, Debrecen, Hungary, September 4–6, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 101-113 (2017). MSC: 68Q45 16Y60 68Q70 PDFBibTeX XMLCite \textit{M. Droste} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 101--113 (2017; Zbl 1483.68163) Full Text: arXiv Link
Ésik, Zoltán; Kuich, Werner Solving fixed point equations over complete semirings. (English) Zbl 1395.16050 Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific (ISBN 978-981-3148-19-2/hbk; 978-981-3148-21-5/ebook). 33-58 (2017). MSC: 16Y60 68Q42 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, in: The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific. 33--58 (2017; Zbl 1395.16050) Full Text: DOI
Ésik, Zoltán; Kuich, Werner Continuous semiring-semimodule pairs and mixed algebraic systems. (English) Zbl 1399.16117 Acta Cybern. 23, No. 1, 61-79 (2017). MSC: 16Y60 68Q70 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, Acta Cybern. 23, No. 1, 61--79 (2017; Zbl 1399.16117) Full Text: DOI
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel \(^*\)-continuous Kleene \(\omega \)-algebras. (English) Zbl 1434.68309 Potapov, Igor (ed.), Developments in language theory. 19th international conference, DLT 2015, Liverpool, UK, July 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9168, 240-251 (2015). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik} et al., Lect. Notes Comput. Sci. 9168, 240--251 (2015; Zbl 1434.68309) Full Text: DOI arXiv
Ésik, Zoltán; Hajgató, Tamás On the structure of free iteration semirings. (English) Zbl 1355.68182 J. Autom. Lang. Comb. 19, No. 1-4, 57-66 (2014). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{T. Hajgató}, J. Autom. Lang. Comb. 19, No. 1--4, 57--66 (2014; Zbl 1355.68182) Full Text: DOI
Droste, M.; Ésik, Z.; Kuich, W. Conway and iteration hemirings. II. (English) Zbl 1369.16049 Int. J. Algebra Comput. 24, No. 4, 483-513 (2014). MSC: 16Y99 68Q45 68Q70 PDFBibTeX XMLCite \textit{M. Droste} et al., Int. J. Algebra Comput. 24, No. 4, 483--513 (2014; Zbl 1369.16049) Full Text: DOI
Droste, M.; Ésik, Z.; Kuich, W. Conway and iteration hemirings. I. (English) Zbl 1369.16048 Int. J. Algebra Comput. 24, No. 4, 461-482 (2014). MSC: 16Y99 68Q17 94A15 94A60 PDFBibTeX XMLCite \textit{M. Droste} et al., Int. J. Algebra Comput. 24, No. 4, 461--482 (2014; Zbl 1369.16048) Full Text: DOI arXiv
Ésik, Z.; Kuich, W. Free iterative and iteration \(K\)-semialgebras. (English) Zbl 1260.08001 Algebra Univers. 67, No. 2, 141-162 (2012). Reviewer: Saeed Salehi (Tabriz) MSC: 08A70 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, Algebra Univers. 67, No. 2, 141--162 (2012; Zbl 1260.08001) Full Text: DOI arXiv
Ésik, Z. Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras. (English) Zbl 1345.08004 Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 159-170 (2011). MSC: 08A70 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, Electron. Notes Theor. Comput. Sci. 276, 159--170 (2011; Zbl 1345.08004) Full Text: DOI
Ésik, Zoltán Partial Conway and iteration semiring-semimodule pairs. (English) Zbl 1318.68120 Kuich, Werner (ed.) et al., Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement. Berlin: Springer (ISBN 978-3-642-24896-2/pbk). Lecture Notes in Computer Science 7020, 56-71 (2011). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, Lect. Notes Comput. Sci. 7020, 56--71 (2011; Zbl 1318.68120) Full Text: DOI
Ésik, Z.; Hajgató, T. Dagger extension theorem. (English) Zbl 1241.18005 Math. Struct. Comput. Sci. 21, No. 5, 1035-1066 (2011). Reviewer: Sergejs Solovjovs (Riga) (MR2826315) MSC: 18C10 18A30 15B33 16Y60 05C05 68Q60 68Q55 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{T. Hajgató}, Math. Struct. Comput. Sci. 21, No. 5, 1035--1066 (2011; Zbl 1241.18005) Full Text: DOI
Ésik, Zoltán; Kuich, Werner A unifying Kleene theorem for weighted finite automata. (English) Zbl 1318.68121 Calude, Cristian S. (ed.) et al., Rainbow of computer science. Dedicated to Hermann Maurer on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-19390-3/pbk). Lecture Notes in Computer Science 6570, 76-89 (2011). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, Lect. Notes Comput. Sci. 6570, 76--89 (2011; Zbl 1318.68121) Full Text: DOI
Ésik, Z.; Ito, M.; Kuich, W. Linear languages of finite and infinite words. (English) Zbl 1264.68092 Ito, Masami (ed.) et al., Automata, formal languages and algebraic systems. Proceedings of AFLAS 2008, Kyoto, Japan, September 20–22, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4317-60-3/hbk; 978-981-4317-61-0/ebook). 33-46 (2010). MSC: 68Q42 68Q45 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik} et al., in: Automata, formal languages and algebraic systems. Proceedings of AFLAS 2008, Kyoto, Japan, September 20--22, 2008. Hackensack, NJ: World Scientific. 33--46 (2010; Zbl 1264.68092) Full Text: DOI
Ésik, Z.; Hajgató, T. Iteration grove theories with applications. (English) Zbl 1256.68123 Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Third international conference, CAI 2009, Thessaloniki, Greece, May 19–22, 2009, Proceedings. Berlin: Springer (ISBN 978-3-642-03563-0/pbk). Lecture Notes in Computer Science 5725, 227-249 (2009). MSC: 68Q70 06B23 16Y60 18C10 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{T. Hajgató}, Lect. Notes Comput. Sci. 5725, 227--249 (2009; Zbl 1256.68123) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltan; Kuich, Werner Cycle-free finite automata in partial iterative semirings. (English) Zbl 1256.68121 Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Third international conference, CAI 2009, Thessaloniki, Greece, May 19–22, 2009, Proceedings. Berlin: Springer (ISBN 978-3-642-03563-0/pbk). Lecture Notes in Computer Science 5725, 1-12 (2009). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., Lect. Notes Comput. Sci. 5725, 1--12 (2009; Zbl 1256.68121) Full Text: DOI
Bloom, S. L.; Ésik, Z. Axiomatizing rational power series over natural numbers. (English) Zbl 1167.68036 Inf. Comput. 207, No. 7, 793-811 (2009). MSC: 68Q70 08A70 16Y60 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, Inf. Comput. 207, No. 7, 793--811 (2009; Zbl 1167.68036) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltan; Kuich, Werner Partial Conway and iteration semirings. (English) Zbl 1167.08002 Fundam. Inform. 86, No. 1-2, 19-40 (2008). Reviewer: Albert A. Mullin (Madison) MSC: 08A70 16Y60 68Q70 03D05 03D75 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., Fundam. Inform. 86, No. 1--2, 19--40 (2008; Zbl 1167.08002)
Ésik, Zoltán Iteration semirings. (English) Zbl 1161.68598 Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 1-20 (2008). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, Lect. Notes Comput. Sci. 5257, 1--20 (2008; Zbl 1161.68598) Full Text: DOI
Ésik, Z.; Kuich, W. On iteration semiring-semimodule pairs. (English) Zbl 1155.16035 Semigroup Forum 75, No. 1, 129-159 (2007). Reviewer: Udo Hebisch (Freiberg) MSC: 16Y60 18C10 03D40 68Q65 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, Semigroup Forum 75, No. 1, 129--159 (2007; Zbl 1155.16035) Full Text: DOI
Ésik, Zoltán; Leiß, Hans Algebraically complete semirings and Greibach normal form. (English) Zbl 1066.68084 Ann. Pure Appl. Logic 133, No. 1-3, 173-203 (2005). Reviewer: Daniela Marinescu (Braşov) MSC: 68Q70 68Q42 16Y60 03C05 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{H. Leiß}, Ann. Pure Appl. Logic 133, No. 1--3, 173--203 (2005; Zbl 1066.68084) Full Text: DOI
Ésik, Zoltán; Kuich, Werner An algebraic generalization of \(\omega\)-regular languages. (English) Zbl 1096.68096 Fiala, Jiří(ed.) et al., Mathematical foundations of computer Science 2004. 29th international symposium, MFCS 2004, Prague, Czech Republic, August 22–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22823-3/pbk). Lecture Notes in Computer Science 3153, 648-659 (2004). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, Lect. Notes Comput. Sci. 3153, 648--659 (2004; Zbl 1096.68096) Full Text: DOI
Ésik, Zoltán; Kuich, Werner Equational axioms for a theory of automata. (English) Zbl 1088.68117 Martín-Vide, Carlos (ed.) et al., Formal languages and applications. Berlin: Springer (ISBN 3-540-20907-7/hbk). Studies in Fuzziness and Soft Computing 148, 183-196 (2004). MSC: 68Q70 16Y60 68Q45 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, Stud. Fuzziness Soft Comput. 148, 183--196 (2004; Zbl 1088.68117)
Ésik, Zoltán; Kuich, Werner Inductive \(^{*}\)-semirings. (English) Zbl 1105.68062 Theor. Comput. Sci. 324, No. 1, 3-33 (2004). MSC: 68Q45 16Y60 68Q70 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, Theor. Comput. Sci. 324, No. 1, 3--33 (2004; Zbl 1105.68062) Full Text: DOI
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna Equational theories of tropical semirings. (English) Zbl 1021.08002 Theor. Comput. Sci. 298, No. 3, 417-469 (2003). MSC: 08A70 16Y60 68Q70 03C05 68Q15 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 298, No. 3, 417--469 (2003; Zbl 1021.08002) Full Text: DOI
Ésik, Zoltán; Kuich, Werner Rationally additive semirings. (English) Zbl 1257.16034 J. UCS 8, No. 2, 173-183 (2002). MSC: 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, J. UCS 8, No. 2, 173--183 (2002; Zbl 1257.16034) Full Text: Link
Ésik, Zoltán; Leiß, Hans Greibach normal form in algebraically complete semirings. (English) Zbl 1020.68056 Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 135-150 (2002). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{H. Leiß}, Lect. Notes Comput. Sci. 2471, 135--150 (2002; Zbl 1020.68056) Full Text: Link
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna A fully equational proof of Parikh’s theorem. (English) Zbl 1024.68070 Theor. Inform. Appl. 36, No. 2, 129-153 (2002). Reviewer: Magnus Steinby (Turku) MSC: 68Q70 03C05 16Y60 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Inform. Appl. 36, No. 2, 129--153 (2002; Zbl 1024.68070) Full Text: DOI Numdam EuDML
Ésik, Z.; Kuich, W. Locally closed semirings. (English) Zbl 1015.16052 Monatsh. Math. 137, No. 1, 21-29 (2002). Reviewer: Udo Hebisch (Freiberg) MSC: 16Y60 68Q70 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, Monatsh. Math. 137, No. 1, 21--29 (2002; Zbl 1015.16052) Full Text: DOI
Ésik, Zoltan; Kuich, Werner A generalization of Kozen’s axiomatization of the equational theory of the regular sets. (English) Zbl 1499.68207 Masami, Ito (ed.) et al., Words, semigroups, & transductions. Festschrift in honor of Gabriel Thierrin. Singapore: World Scientific. 99-114 (2001). MSC: 68Q70 06F25 16Y60 68Q45 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{W. Kuich}, in: Words, semigroups, \& transductions. Festschrift in honor of Gabriel Thierrin. Singapore: World Scientific. 99--114 (2001; Zbl 1499.68207) Full Text: DOI
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna Axiomatizing tropical semirings. (English) Zbl 0978.16045 Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 42-56 (2001). MSC: 16Y60 03C05 08B05 08B20 68Q70 08A70 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 2030, 42--56 (2001; Zbl 0978.16045) Full Text: Link
Bloom, Stephen L.; Ésik, Zoltán Free shuffle algebras in language varieties. (English) Zbl 0874.68171 Theor. Comput. Sci. 163, No. 1-2, 55-98 (1996). MSC: 68Q45 08A70 08B20 16Y60 20M35 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, Theor. Comput. Sci. 163, No. 1--2, 55--98 (1996; Zbl 0874.68171) Full Text: DOI
Bloom, S. L.; Ésik, Z.; Stefanescu, Gh. Notes on equational theories of relations. (English) Zbl 0834.08004 Algebra Univers. 33, No. 1, 98-126 (1995). Reviewer: B.Möller (Augsburg) MSC: 08A70 08B20 03B25 16Y60 68Q45 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., Algebra Univers. 33, No. 1, 98--126 (1995; Zbl 0834.08004) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltán Matrix and matricial iteration theories. II. (English) Zbl 0791.08007 J. Comput. Syst. Sci. 46, No. 3, 409-439 (1993). Reviewer: N.Curteanu (Iaşi) MSC: 08A70 68Q65 18C10 16Y60 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, J. Comput. Syst. Sci. 46, No. 3, 409--439 (1993; Zbl 0791.08007) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltán Matrix and matricial iteration theories. I. (English) Zbl 0791.08006 J. Comput. Syst. Sci. 46, No. 3, 381-408 (1993). Reviewer: N.Curteanu (Iaşi) MSC: 08A70 68Q65 18C10 16Y60 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, J. Comput. Syst. Sci. 46, No. 3, 381--408 (1993; Zbl 0791.08006) Full Text: DOI