Moja lekcja

 0    16 fiche    szymonklempert
commencer à apprendre

Télécharger mP3 Imprimer jouer consultez
 
question réponse
{<M>: M jest maszyna Turinga oraz istnieje taki ’input’, na ktorym M zatrzymuje sie w nie wiecej niz |M| krokach}
commencer à apprendre
R
{<M>: M jest maszyn¸a Turinga oraz |L(M)| ≤ 3}
commencer à apprendre
non-RE
{<M>: M jest maszyna Turinga oraz |L(M)| ≥ 3}
commencer à apprendre
RE | non-R
{<M>: M jest maszyna Turinga oraz L(M) jest skonczony}
commencer à apprendre
non-RE
{<M>: M jest maszyna Turinga oraz L(M) jest nieskonczony}
commencer à apprendre
non-RE
{<M>: M jest maszyna Turinga oraz L(M) jest przeliczalny}
commencer à apprendre
R
{<M>: M jest maszyna Turinga oraz L(M) jest nieprzeliczalny}.
commencer à apprendre
R
{<M>: M jest jedyna maszyna Turinga akceptujaca L(M)}
commencer à apprendre
R
{<M1>: M1 jest taka MT, dla ktorej istnieja takie maszyny M2 oraz M3, by L(M1) ⊂ L(M3) U L(M3)}
commencer à apprendre
R
{<M1, M2>: M1 oraz M2 sa MT, dla ktorych ε ∈ L(M1) ∩ L(M2)}.
commencer à apprendre
RE | non-R
{<M1, M2>: M1 oraz M2 sa MT, dla ktorych ε ∈ L(M1) U L(M2)}.
commencer à apprendre
RE | non-R
{<M1, M2>: M1 oraz M2 sa takimi MT, dla ktorych ε ∈ L(M1)/L(M2)}
commencer à apprendre
non-RE
= {<M>: ∃x: |x| ≡6 2 oraz x ∈ L(M)}
commencer à apprendre
RE | non-R - Rice
{<M>: M jest MT oraz M0 zatrzymujaca sie dla kazdego slowa ma te wlasnosc, ze M0 ∈ L(M)}
commencer à apprendre
RE | non-R - Rice
= {<M>: M jest MT oraz istnieje taki ’input’, na ktorym M zatrzymuje sie w nie wiecej niz 2020 krokow.}
commencer à apprendre
R
= {<M>: M jest MT oraz istnieje taka MT M', dla ktorej L(M) = L(M')}
commencer à apprendre
R
Créer flashcards
English

Vous devez vous connecter pour poster un commentaire.