Moja lekcja

 0    16 fiszek    szymonklempert
rozpocznij naukę

ściągnij mp3 drukuj graj sprawdź się
 
Pytanie Odpowiedź
{<M>: M jest maszyna Turinga oraz istnieje taki ’input’, na ktorym M zatrzymuje sie w nie wiecej niz |M| krokach}
rozpocznij naukę
R
{<M>: M jest maszyn¸a Turinga oraz |L(M)| ≤ 3}
rozpocznij naukę
non-RE
{<M>: M jest maszyna Turinga oraz |L(M)| ≥ 3}
rozpocznij naukę
RE | non-R
{<M>: M jest maszyna Turinga oraz L(M) jest skonczony}
rozpocznij naukę
non-RE
{<M>: M jest maszyna Turinga oraz L(M) jest nieskonczony}
rozpocznij naukę
non-RE
{<M>: M jest maszyna Turinga oraz L(M) jest przeliczalny}
rozpocznij naukę
R
{<M>: M jest maszyna Turinga oraz L(M) jest nieprzeliczalny}.
rozpocznij naukę
R
{<M>: M jest jedyna maszyna Turinga akceptujaca L(M)}
rozpocznij naukę
R
{<M1>: M1 jest taka MT, dla ktorej istnieja takie maszyny M2 oraz M3, by L(M1) ⊂ L(M3) U L(M3)}
rozpocznij naukę
R
{<M1, M2>: M1 oraz M2 sa MT, dla ktorych ε ∈ L(M1) ∩ L(M2)}.
rozpocznij naukę
RE | non-R
{<M1, M2>: M1 oraz M2 sa MT, dla ktorych ε ∈ L(M1) U L(M2)}.
rozpocznij naukę
RE | non-R
{<M1, M2>: M1 oraz M2 sa takimi MT, dla ktorych ε ∈ L(M1)/L(M2)}
rozpocznij naukę
non-RE
= {<M>: ∃x: |x| ≡6 2 oraz x ∈ L(M)}
rozpocznij naukę
RE | non-R - Rice
{<M>: M jest MT oraz M0 zatrzymujaca sie dla kazdego slowa ma te wlasnosc, ze M0 ∈ L(M)}
rozpocznij naukę
RE | non-R - Rice
= {<M>: M jest MT oraz istnieje taki ’input’, na ktorym M zatrzymuje sie w nie wiecej niz 2020 krokow.}
rozpocznij naukę
R
= {<M>: M jest MT oraz istnieje taka MT M', dla ktorej L(M) = L(M')}
rozpocznij naukę
R
Stwórz fiszki
English

Musisz się zalogować, by móc napisać komentarz.