Einführung 4/5 Gerhard Goos. Yovisto Academic Video Search. schwarz Thue Semi 1.6 weiß Regeln System Algorithmus Regel endlich Grammatiken Markov Substantiv LOLL Beispiel Friedrich-Schiller-Universität Jena schokolad isst informat substantiv artikel objekt pradikat subjekt satz produktion heiss regeln grammat semi-thue-syst ableitungsbaum darstell chomsky-grammat informat formal regel iii addition beispiel bezug sprach wort ableitbar meng wort semi-thue-syst gegeb sprach auswahl beschreib auftret verarbeitungsschritt elementar aufgab weis art speziell operationell bewaltigt aufgabenstell funktional sicht algorithmus sicht losung algorithm spezifikation unterscheid losungsweg unterschied existi losbar algorithm bearbeitet paramet dat schritt auszufuhr einzeln ablaufsteuer unbequ zuruckfuhr textersetz lass rechenaufgab einsicht turing-macht determiniert nichtterminier ausfuhrungsmodell indeterminist ausfuhr eigenschaft ableit ausgab anwendbar regel terminier angewandt belieb ersetzungsregeln operation wort eingab semi-thue-system algorithm bezug enthalt ausgab schiffch zeich zusatz erlaubt gesteuert fehlerhalt angewandt regel teilwort stehend weit wend anwendbar teilwort anwendbar schritt wahl meta-regeln wichtig reihenfolg haltend zusatz zeichenvorrat regeln folg festgelegt eindeut verarbeitungsschritt nach semi-thue-syst markov-algorithmus mathemat andrei algorithm markov lloo looo lolo loll beispiellauf markov-algorithmus zahl ganz binardarstell addition enthalt ausgab schiffch zeich zusatz erlaubt gesteuert fehlerhalt angewandt regel teilwort stehend weit wend anwendbar teilwort anwendbar schritt wahl meta-regeln wichtig reihenfolg haltend zusatz zeichenvorrat regeln folg festgelegt eindeut verarbeitungsschritt nach semi-thue-syst markov-algorithmus mathemat andrei algorithm markov erzeug beschreibt ableitungsbaum beobacht findet zerteil phras terminal sprachschatz charakterisier phras sprachschatz vokabular semi-thue-syst startsymbol nichtterminal terminal meng grammat grammat klamm darstell moglich phrasenstruktur aquivalent schwach sprachschatz szz zsz produktionenmeng betracht beispiel grammat beschreib ableitungsbaum beobacht gilt explizit strukturaquivalent produktion ersetz schokolad isst informat substantiv artikel objekt pradikat subjekt satz produktion heiss regeln grammat semi-thue-syst ableitungsbaum darstell chomsky-grammat informat schokolad pradikat substantiv artikel objekt subjekt satz regeln isst informat beispiel system semi-thu hilf sprach natur satz struktur beschreib ziel ursprung chomsky chomsky-grammat informat objekt pradikat subjekt satz produktion heiss regeln grammat semi-thue-syst ableitungsbaum darstell chomsky-grammat informat schokolad isst informat substantiv artikel schokolad pradikat substantiv artikel objekt subjekt satz regeln isst informat beispiel system semi-thu hilf sprach natur satz struktur beschreib ziel ursprung chomsky chomsky-grammat informat beispiellauf anwendbar haltend angewandt regeln terminiert regel anwend seit recht ersetz wert aktuell einsetz metaregeln zahl ganz nach bedeutet syst formal algorithmus euklid beispiel markov-algorithm semi-thue-system beispiel kennzeichn haltend beacht reihenfolg metaregel beispiel kalkulregeln metaregeln kalkul bestimmt form regeln meng endlich gegeb relation erzeugt endlich algorithm syst formal entscheidbar feststellbar positiv probl semi-thue-system analog ableit system formal eigenschaft induktionsbehaupt induktionshypothes verfahr anwendbar regel induktionsanfang wort lang induktion beweis terminiert satz weiss schwarz semi-thue-syst kaffeedos scholt beispiel regel zeichenvorrat wort weiss schwarz semi-thue-syst kaffeedos scholt beispiel regelreihenfolg anfang weiss schwarz anzahl abhang ergebnis bleibt terminier eigenschaft bohn weiss farb verschied zuruck schwarz leg farb gleich blind fortgesetzt nehm regeln ausserhalb belieb reserv bohn schwarz weiss endlich dos gegeb kaffeedosenspiel scholt beispiel erzeug beschreibt ableitungsbaum beobacht findet zerteil phras terminal sprachschatz charakterisier phras sprachschatz vokabular semi-thue-syst startsymbol nichtterminal terminal meng grammat grammat gab erlaubt wort zeichensatz bestimmt terminal markov-algorithm gesteuert schiffch vorkomm satz zeich variabl nichtterminal pradikat subjekt satz begriff syntakt satz bestandteil zeichenvorrat symbol ziel axiom ausgangspunkt startsymbol beispiel semi-thue-system formal sprach diskussion determinist terminiert eingabezahl negativ ungleich verarbeitungsschritt elementar eigenschaft analys wend ggt gilt lautet berechn algorithmus teil gemeinsam grosst gesucht zahl ganz gegeb aufgabenstell euklid algorithmenbeschreib informell berechenbar effektiv berechn schritt endlich algorithmus relation meng unend abzahlbar endlich syst formal system formal lloo looo lolo loll beispiellauf markov-algorithmus zahl ganz binardarstell addition teilwort stehend weit wend anwendbar teilwort anwendbar schritt wahl meta-regeln wichtig reihenfolg haltend zusatz zeichenvorrat regeln folg festgelegt eindeut verarbeitungsschritt nach semi-thue-syst markov-algorithmus mathemat andrei algorithm markov enthalt ausgab schiffch zeich zusatz erlaubt gesteuert fehlerhalt angewandt regel wend anwendungsstell passend regel belieb wahl vorhand anwendbar ausgangswort gegeb ausfuhrungsmodell bedeutet reduziert gewonn ableit direkt folg endlich ableit direkt transformation urv anwend ergebnis ulv wort anwendbar regeln regelmeng endlich zeichenvorrat endlich paar semi-thue-syst verfahr semi-thue-system regeln zahl natur aufgab zeichenvorrat ungerad gerad beispiel wend anwendungsstell passend regel belieb wahl vorhand anwendbar ausgangswort gegeb ausfuhrungsmodell bedeutet reduziert gewonn ableit direkt folg endlich ableit direkt transformation urv anwend ergebnis ulv wort anwendbar regeln regelmeng endlich zeichenvorrat endlich paar semi-thue-syst verfahr semi-thue-system teilfolg wort teilwort leer wort lang zeich folg endlich wort zeichenvorrat endlich vorgab xml perl sed awk skriptsprach texteditor praxis komm algorithm form allgemein einfach textersetzungssystem informell logik mathemat norweg thue axel einleit semi-thue-system funktion berechenbar wert genau aufzahlbar meng berechenbar heiss lasst angeb berechn algorithmus zahl natur godel karl logik mathemat ergebnis fundamental antwort spezifiziert mathemat lass frag berechn algorithm funktion berechenbar turing-macht verfahr gleichwert thes churchsch while-sprach maschin rekursiv termersetz begriff formalisier verschied feststell algorithm entscheidbar aufzahlbar determinist terminiert eingabezahl negativ ungleich verarbeitungsschritt elementar eigenschaft analys wend ggt gilt lautet berechn algorithmus teil gemeinsam grosst gesucht zahl ganz gegeb aufgabenstell euklid algorithmenbeschreib informell einzeln ablaufsteuer auswahl beschreib auftret verarbeitungsschritt elementar aufgab weis art speziell operationell bewaltigt aufgabenstell funktional sicht algorithmus sicht losung algorithm spezifikation unterscheid losungsweg unterschied existi losbar algorithm bearbeitet paramet dat schritt auszufuhr ausgab resultat geliefert eingab bestimmt paramet aufgab bearbeit speziell aufgab klass idr los algorithm verarbeitungsschritt effektiv verwend beschreib endlich prazis verfahr definition begriff algorithmus algebra lehrbuch erst schrieb alchwarizimi mus ibn mohamed benannt algorithmus operation elementar endlich ausfuhr lang endlich codier sprach belieb argument belieb ergebniss berechn beschreib synthet prozedural operativ algorithm tabellar deklarativ statisch funktion realisierungsart algorithm rekursion wiederhol beding fallunterscheid schritt elementar ausfuhr algorithm beschreib element gewiss parallel ausgefuhrt sequentiell bestimmt resultat determiniert festgelegt eindeut verarbeitungsschritt auszufuhr nach determinist endet schritt endlich terminier eingab algorithmus beschreibungselement typisch eigenschaft