Moja lekcja

 0    16 Datenblatt    szymonklempert
Lernen beginnen

mp3 downloaden Drucken spielen überprüfen
 
Frage Antworten
{<M>: M jest maszyna Turinga oraz istnieje taki ’input’, na ktorym M zatrzymuje sie w nie wiecej niz |M| krokach}
Lernen beginnen
R
{<M>: M jest maszyn¸a Turinga oraz |L(M)| ≤ 3}
Lernen beginnen
non-RE
{<M>: M jest maszyna Turinga oraz |L(M)| ≥ 3}
Lernen beginnen
RE | non-R
{<M>: M jest maszyna Turinga oraz L(M) jest skonczony}
Lernen beginnen
non-RE
{<M>: M jest maszyna Turinga oraz L(M) jest nieskonczony}
Lernen beginnen
non-RE
{<M>: M jest maszyna Turinga oraz L(M) jest przeliczalny}
Lernen beginnen
R
{<M>: M jest maszyna Turinga oraz L(M) jest nieprzeliczalny}.
Lernen beginnen
R
{<M>: M jest jedyna maszyna Turinga akceptujaca L(M)}
Lernen beginnen
R
{<M1>: M1 jest taka MT, dla ktorej istnieja takie maszyny M2 oraz M3, by L(M1) ⊂ L(M3) U L(M3)}
Lernen beginnen
R
{<M1, M2>: M1 oraz M2 sa MT, dla ktorych ε ∈ L(M1) ∩ L(M2)}.
Lernen beginnen
RE | non-R
{<M1, M2>: M1 oraz M2 sa MT, dla ktorych ε ∈ L(M1) U L(M2)}.
Lernen beginnen
RE | non-R
{<M1, M2>: M1 oraz M2 sa takimi MT, dla ktorych ε ∈ L(M1)/L(M2)}
Lernen beginnen
non-RE
= {<M>: ∃x: |x| ≡6 2 oraz x ∈ L(M)}
Lernen beginnen
RE | non-R - Rice
{<M>: M jest MT oraz M0 zatrzymujaca sie dla kazdego slowa ma te wlasnosc, ze M0 ∈ L(M)}
Lernen beginnen
RE | non-R - Rice
= {<M>: M jest MT oraz istnieje taki ’input’, na ktorym M zatrzymuje sie w nie wiecej niz 2020 krokow.}
Lernen beginnen
R
= {<M>: M jest MT oraz istnieje taka MT M', dla ktorej L(M) = L(M')}
Lernen beginnen
R
Karteikarten erstellen
English

Sie müssen eingeloggt sein, um einen Kommentar zu schreiben.