Кіріспе
Кез келген шекті тізбектің кіші тізбек ретінде кездесетін тізбек. Дисъюнкциялық тізбек – бұл шексіз тізбек (шекті әріптер жиыны бойынша), онда кез келген шекті тізбек кіші тізбек ретінде кездеседі. Мысалы, барлық екілік тізбектерді shortlex тәртібімен біріктіру арқылы құрылған екілік Шамперноун тізбегі, әрине, барлық екілік тізбектерді қамтиды және сондықтан дисъюнкциялық болып табылады. (Жоғарыдағы бос орындар маңызды емес және жолдар арасындағы шекараны көрсету үшін ғана қолданылған). K өлшемді әріптер жиынындағы S дисъюнкциялық тізбегінің күрделілік функциясы pS(n) = kn. Кез келген нормативтік тізбек (бірдей ұзындықтағы әр тізбек бірдей жиілікпен кездесетін тізбек) дисъюнкциялық, бірақ керісінше дұрыс емес. Мысалы, 0n барлық 0-ден тұратын n ұзындықтағы тізбек болса, барлық екілік тізбектердің shortlex тәртібіне 0-дің экспоненциалды ұзын тізбектерін қосу арқылы алынған тізбекті қарастырайық. Бұл тізбектің көп бөлігі 0-ден тұратын ұзын тізбектерден тұрады, сондықтан ол нормативтік емес, бірақ ол дисъюнкциялық болып қалады. Дисъюнкциялық тізбек рекуррентті, бірақ біркелкі рекуррентті / дерлік периодты емес.
A disjunctive sequence is an infinite sequence (over a finite alphabet of characters) in which every finite string appears as a substring. For instance, the binary Champernowne sequence
formed by concatenating all binary strings in shortlex order, clearly contains all the binary strings and so is disjunctive. (The spaces above are not significant and are present solely to make clear the boundaries between strings). The complexity function of a disjunctive sequence S over an alphabet of size k is pS(n) = kn. Any normal sequence (a sequence in which each string of equal length appears with equal frequency) is disjunctive, but the converse is not true. For example, letting 0n denote the string of length n consisting of all 0s, consider the sequence
obtained by splicing exponentially long strings of 0s into the shortlex ordering of all binary strings. Most of this sequence consists of long runs of 0s, and so it is not normal, but it is still disjunctive. A disjunctive sequence is recurrent but never uniformly recurrent/almost periodic.
Бай сандар
Бай сан немесе дизъюнктивті сан — нақты сан, оның b негізіндегі өрнегі {0, 1, b-1} алфавиті бойынша дизъюнктивті тізбек болып табылады. B негізіндегі әрбір қалыпты сан дизъюнктивті, бірақ керісінше дұрыс емес. Нақты сан x, b негізінде бай, егер және тек қана егер {x bⁿ mod 1} жиыны бірлік аралығында тығыз болса. Кез келген негізге дизъюнктивті санды абсолютті дизъюнктивті деп атайды немесе лексикон дейді. Лексиконда кез келген алфавиттегі кез келген тізбек кездеседі. Жинақ "comeager" немесе "қалдық" деп аталады, егер ол ашық тығыз жиынтардың санаулы отбасының қиылысын қамтитын болса. Абсолютті дизъюнктивті нақты сандар жиыны — қалдық жиын. Кез келген нақты иррационалды алгебралық сан абсолютті дизъюнктивті деген болжам бар.