Diskusia:Rekurzívne vyčísliteľný jazyk

• Je naozaj jazykov nad abecedou {0, 1} nespocitatelne vela? _Liso^@_disk^prís 12:57, 21 máj 2005 (UTC)

• Ano, je. Konecnych postupnosti nad takouto abecedou je spocitatelne vela (ze ich je nekonecne vela je jasne, ze ich je spocitatelne vela vidno, ak sa daju do bijektivnej korespondencie s niektorymi racionalmi v [0,1] intervale). Jazyky nad {0,1} su iba rozne pomnoziny spocitatelnej mnoziny retazcov nad {0,1}. No a vsetkych podmnozin spocitatelnej mnoziny je, jak znamo, nespocitatelne vela. --Peták 09:07, 17. november 2006 (UTC)