(07) Kontextsensitive Sprachen, allgemeine Sprachen und Turingmaschinen 1/2 / Berechenbarkeit und Komplexität  1/2 Jürgen Branke. Yovisto Academic Video Search. Menge ... Turing Sprachen Grammatik Typ endlicher gilt Maschine Funktion Definition Bandinschrift Berechenbarkeit abzählbar Verfahren Universität Karlsruhe alan ndet-tm bemerk endkonfiguration maschin determinist simulation schichtweis konf konfigurationsubergang beweiside satz erkannt turing-maschin nichtdeterminist klass akzeptiert endkonfiguration konfigurationenfolg wort abbild determinist tupel turing-maschin turingmaschin nichtdeterminist definition ubergeh zeich schreiblesekopf bemerk abc wort akzepti konfigurationsfolg ide fragestell turing-berechenbar umkehr satz funktion berechenbar surjektiv definition meng aufzahlbar grammat kontextfrei algorithmus meng endlich zahl vorgelegt primzahl beispiel algorithmus lemma entscheidungsverfahr definition fals true funktion charakterist meng entscheidbar diagonalisierungsverfahr qed funktion berechenbar text wort meng berechn beschreib lang endlich text widerspruch definition wahl funktion defini berechenbar funktion meng satz gdinfoii beweis funktion folger diagonalisier beweis intervall reell alphabet endlich endlich meng beispiel abzahlbar belieb definition antwort vorbereit frag algorithm verschied funktion berechenbar uberabzahlbar meng abzahlbar zahl natur funktion abbild bijektiv sprach meng algorithmus teilmeng belieb alphabet beispiel definition primzahl funktion berechenbar meng definition sinn intuitiv algorithmus moglich turing-maschin achtung sinn mathemat funktion schreibweis losung halt schritt elementar anfangsdat richtig verfahr determiniert allgemein klass losung probl dat derjen kellerautomat endlich belieb belieb folg beispiel zeit schritt schritt fuhrt zulass endlich beschreib fuhr eingab gleich verfahr ausfuhr wiederholt problemausprag klass gross losung spezialfall verfahr algorithmus eigenschaft wesent informat abstrakt lang endlich programm terminier halt schritt eingab zulass ausgab verfahr beschrieb algorithmus sinn intuitiv entscheidbar berechenbar passend sprach existenz beweis kapitel frag typ grammat angegeb sprach bemerk beschreib erkennungsaufwand exponentiell determinist progamm lang programm korrekt syntakt aufwand erkennungsaufwand semant variabl verwendet programm anforder beispielsweis komponent kontextsensitiv grammat kontextfrei programmiersprach realist ausreich klammerschachtel belieb ausdruck metisch sprach typ- ausdrucksfah frag gestellt antwort aktuell tupel leerfeld liegend leerfeld sl-kopf aktuell feld zeich band inhalt definition konfiguration bandinschrift meng tupel sequentiell arbeitsband unend automat endlich turing-maschin definition endzustand anfangszustand funktion partiell zustandsmeng bandalphabet eingabealphabet monotoni until regel seit link band regelseit recht repeat bandinschrift generiert wort auftret zwischenschritt lba grammat kontextsensitiv zusammenhang turing-maschin akzeptier maschin turing bandbeschrank linear turing-maschin nach satz fahig automat eingabewort jeweil hangt bandabschnitt verfugbar lang uberschritt begrenzungssymbol modelliert band teil beschrankt hopcroft buch beweis einzel regeln simulation grammat typ- akzeptier teilwort bandinschrift aktuell such gdinfoii ruckwart wort ableit regeln meng turingmaschin nichtdeteminist typ- beweiside satz kellerautomat aquivalent automat endlich leicht gdinfoii tabell schritt link ide turing-maschin kellerautomat beispiel halt bemerk erkannt turing-maschin klass akzeptiert wort definition turing-maschin sprach folgekonfiguration endkonfiguration akzeptier bandinschrift zeich anfangskonfiguration turing-maschin definition eingabewort fragestell akzeptor turing-maschin relation hull reflexiv-transitiv hervorrufbar moglich typ- typ--grammat passend sprach existenz beweis kapitel frag typ grammat angegeb sprach bemerk korollar kurz zeichenkett erzeugt wort ableit bemerk phasenstrukturgrammat typ- grammat chomsky-grammat erinner sprach allgemein typ--sprach lang kontextsensitiv wort aufwand bemerk qed seit beispiel sprach resultier fug nonterminalsymbol neu regeln typ--grammat grammat kontextfrei beweis satz gdinfoii beweis kontextsensitiv aquivalent monoton satz regel anwend wort form regeln chomsky-grammat definition grammat monoton regel abc abab regeln seit recht form produktion erinner beispiel grammat typ--grammat sprach typ--sprach kontextsensitiv gdinfoii