Technische INF Flashcards
Jede endliche Menge ist abzählbar
richtig
Jede unendliche Menge ist abzählbar
falsch
Jede unedliche Menge ist überabzählbar
falsch
Die Menge aller Algorithmen ist abzählbar
richtig
Die Menge aller Algorithmen ist überabzählbar
falsch
Alle rechtslinearen Grammatiken sind auch kontextfrei.
richtig
Alle beschränkten Grammatiken sind auch kontextsensitiv
falsch
Ein Wort besteht immer nur aus endlich vielen Buchstaben
richtig
Ein Wort besteht nicht immer nur aus endlich vielen
Buchstaben
falsch
Eine Sprache besteht immer nur aus endlich vielen
Wörtern
falsch
Jede Grammatik definiert genau eine Sprache
richtig
Für jede Sprache L gibt es genau eine Grammatik, die
L definiert
falsch
Für jede Sprache L gibt es nicht genau eine Grammatik, die L definier
richtig
Jeder DEA hat genau einen Endzustand
falsch
NEA und DEA sind gleichmächtig
richtig
Ist L in P und L NP-hart, dann ist P=NP
richtig
Die Vereinigung zweier entscheidbarer Mengen ist
entscheidbar
richtig
Die Vereinigung zweier nicht entscheidbarer Mengen
ist entscheidbar
falsch
Ist eine Menge und ihr Komplement rekursiv
aufzählbar, dann ist die Menge entscheidbar
richtig
Ist eine Menge und ihr Komplement rekursiv
aufzählbar, dann ist die Menge nicht entscheidbar
falsch
Jeder DEA hat genau einen Startzustand
richtig
Jede von einem Kellerautomaten akzeptierte Sprache
wird auch von einem nichtdeterminischten Kellerautomaten akzpetiert
richtig
Jede von einem Kellerautomaten akzeptierte Sprache
wird auch von einem determinischten Kellerautomaten akzpetiert
falsch
Jede loop-berechenbare Funktion ist total
richtig
Typ 0- Sprachen sind unter Komplementblidung
abgeschlossen
falsch
Typ 0- Sprachen sind unter Komplementblidung nicht
abgeschlossen
richtig
Jede Sprache enthält das leere Wort
falsch