Zobrazeno 1 - 10
of 14
pro vyhledávání: '"ω-power"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Finkel, Olivier, Lecomte, Dominique
Publikováno v:
Archive for Mathematical Logic
Archive for Mathematical Logic, Springer Verlag, 2021, 60 (1-2), pp.161-187
Archive for Mathematical Logic, Springer Verlag, 2021, 60 (1-2), pp.161-187
We prove that, for any natural number n $\ge$ 1, we can find a finite alphabet $\Sigma$ and a finitary language L over $\Sigma$ accepted by a one-counter automaton, such that the $\omega$-power L $\infty$ := {w 0 w 1. .. $\in$ $\Sigma$ $\omega$ | $\f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=arXiv_dedup_::52dd0e938e77a8c2be6bd081c778afc5
https://hal.archives-ouvertes.fr/hal-02867587
https://hal.archives-ouvertes.fr/hal-02867587
Autor:
Finkel, Olivier, Lecomte, Dominique
Publikováno v:
Contemporary Logic and Computing
Adrian Rezus. Contemporary Logic and Computing, 1, College Publications, pp.518-541, 2020, Landscapes in Logic
Adrian Rezus. Contemporary Logic and Computing, 1, College Publications, pp.518-541, 2020, Landscapes in Logic
International audience; The ω-power of a finitary language L over a finite alphabet Σ is the language of infinite words over Σ defined by L ∞ := {w 0 w 1. .. ∈ Σ ω | ∀i ∈ ω w i ∈ L}. The ω-powers appear very naturally in Theoretical
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c0ce10499dda9086f56702804384d453
https://hal.archives-ouvertes.fr/hal-02898919
https://hal.archives-ouvertes.fr/hal-02898919
Autor:
Dominique Lecomte, Olivier Finkel
Publikováno v:
Annals of Pure and Applied Logic. 160:163-191
We prove that, for each countable ordinal ξ≥1, there exist some Σξ0-complete ω-powers, and some Πξ0-complete ω-powers, extending previous works on the topological complexity of ω-powers [O. Finkel, Topological properties of omega context fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad9e884393d65a7cf6d05e02df96c3e0
https://doi.org/10.1016/j.apal.2009.02.005
https://doi.org/10.1016/j.apal.2009.02.005
Autor:
S.V. Medvedev
We describe how to assign an h-homogeneous space b(X, k) with a dense complete subspace and of weight k to any strongly zero-dimensional metric space X of weight ≤k. We investigate the properties of such spaces and obtain the conditions when b(X1,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e23f2d90a00874c5fb0d2938e4b57b95
http://dspace.susu.ru/handle/0001.74/20040
http://dspace.susu.ru/handle/0001.74/20040
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.