Regular matching problems for infinite trees. (English) Zbl 07471714
MSC:
68-XX
Found 24 Documents (Results 1–24)
Language equations. (English) Zbl 1510.68038
Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 765-799 (2021).
MSC:
68Q45
How to prove that a language is regular or star-free? (English) Zbl 1437.68104
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, 68-88 (2020).
MSC:
68Q45
Weighted automata on infinite words in the context of attacker-defender games. (English) Zbl 1371.68150
Weighted automata on infinite words in the context of attacker-defender games. (English) Zbl 1459.68101
Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 206-215 (2015).
On effective construction of the greatest solution of language inequality \(XA\subseteq BX\). (English) Zbl 1282.68155
Representing hyper-arithmetical sets by equations over sets of integers. (English) Zbl 1279.68158
MSC:
68Q45
On the expressive power of univariate equations over sets of natural numbers. (English) Zbl 1263.68102
Reviewer: Michal Kunc (Brno)
Unique decipherability in the monoid of languages: an application of rational relations. (English) Zbl 1222.68101
Variants of codes and indecomposable languages. (English) Zbl 1192.68423
MSC:
68Q45
Unique decipherability in the monoid of languages: an application of rational relations. (English) Zbl 1248.94044
Frid, Anna (ed.) et al., Computer science – theory and applications. Fourth international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03350-6/pbk). Lecture Notes in Computer Science 5675, 71-79 (2009).
Simple equations on binary factorial languages. (English) Zbl 1176.68104
MSC:
68Q45
On equations over sets of numbers and their limitations. (English) Zbl 1247.68209
Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 360-371 (2009).
Playing with Conway’s problem. (English) Zbl 1156.68030
MSC:
68Q45
Length codes, products of languages and primality. (English) Zbl 1156.68464
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. Second international conference, LATA 2008, Tarragona, Spain, March 13–19, 2008. Revised papers. Berlin: Springer (ISBN 978-3-540-88281-7/pbk). Lecture Notes in Computer Science 5196, 476-486 (2008).
MSC:
68Q45
Filter Results by …
Document Type
- Journal Articles (18)
- Collection Articles (6)
all
top 5
Author
- Okhotin, Alexander (10)
- Jeż, Artur (4)
- Karhumaki, Juhani (4)
- Choffrut, Christian (2)
- Halava, Vesa (2)
- Harju, Tero (2)
- Kunc, Michal (2)
- Lehtinen, Tommi (2)
- Niskanen, Reino (2)
- Potapov, Igor (2)
- Salomaa, Arto Kustaa (2)
- Salomaa, Kai T. (2)
- Yu, Sheng (2)
- Camino, Carlos (1)
- Cassaigne, Julien (1)
- Cui, Zhenhe (1)
- Diekert, Volker (1)
- Dundua, Besik (1)
- Frid, Anna Èduardovna (1)
- He, Yong (1)
- Jeandel, Emmanuel (1)
- Ly, Olivier (1)
- Marin, Mircea (1)
- Ollinger, Nicolas (1)
- Pin, Jean-Eric (1)
- Saarela, Aleksi (1)
- Salmela, Petri (1)
- Sénizergues, Géraud (1)
- Wu, Zhilin (1)
- Yakimova, Oksana S. (1)
- Yuan, Zihan (1)
Software
- ALGOL 60 (6)
