Topologies for the set of disjunctive ω-words

Staiger Ludwig: Topologies for the set of disjunctive ω-words. In: Acta cybernetica, (17) 1. pp. 43-51. (2005)

[thumbnail of Staiger_2005_ActaCybernetica.pdf]
Előnézet
Cikk, tanulmány, mű
Staiger_2005_ActaCybernetica.pdf

Letöltés (154kB) | Előnézet

Absztrakt (kivonat)

An infinite sequence (ω-word) is referred to as disjunctive provided it contains every finite word as infix (factor). As Jürgensen and Thierrin [JT83] observed the set of disjunctive ω-words, D, has a trivial syntactic monoid but is not accepted by a finite automaton. In this paper we derive some topological properties of the set of disjunctive ω-words. We introduce two non-standard topologies on the set of all ω-words and show that D fulfills some special properties with respect to these topologies. In the first topology - the so-called topology of forbidden words - D is the smallest nonempty Gδ-set, and in the second one D is the set of accumulation points of the whole space as well as of itself.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2005
Kötet: 17
Szám: 1
ISSN: 0324-721X
Oldalak: pp. 43-51
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38519/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 50-51. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:25
Utolsó módosítás: 2022. jún. 15. 12:54
URI: http://acta.bibl.u-szeged.hu/id/eprint/12752
Bővebben:
Tétel nézet Tétel nézet