Einführung 5/5 / Halbgruppen und Relationen 1/5 Gerhard Goos. Yovisto Academic Video Search. Produktionen Grammatik 1.6 kontextfreie Ableitung kontextsensitiv Kettenproduktionen Nichtterminale Ausdruck Beispiel Zeichen Programmiersprachen Chomsky Beobachtung Ziel Friedrich-Schiller-Universität Jena grundbegriff goos gerhard informat bez regeln ausdruck ableit transformation ergebnis kantorowitschbaum operator nichtterminal ersetz kettenproduktion zusammenzieh klamm streich erhalt vorrang grammat ableitungsbaum ausgangspunkt ausdruck vorrang darstell minimal ziel nobelpreis wirtschaftswissenschaftl mathemat witaljew leonid baum kantorowitsch informat verkett operator gehor metazeich sogenannt klamm matik infor verkettet zeichenreih verallgemeiner beispiel explizit operation notiert zeich hintereinanderschreib verkett konkatenation einleit folgt bezieh gegenstand elementar zeich syst zeichenreih markov-algorithm umgeformt wiedergeb information dat text zeichenreih struktur untersuch ziel monoid halbgrupp mengenlehr voraussetz monoid text buchstab nebeneinanderschreib relation einfach graph darstell petri-netz automat endlich systemspezifikation anwend ordnungsrelation abhang kausal motivation relation halbgrupp datenbank relational ableitungsrelation zustandsfolg abhang kausal beispiel grundlag gehor handelt buchstab besteh wort wort aufbau begriff wand typs komponent syst relation bezieh beschreibt haus satz motivation relation informat informat algebra relational petri-netz automat endlich verband halbverband ordnungsrelation graph monoid relation halbgrupp kapitel bezeichn ausdruck bez syntaxdiagramm programmiersprach syntax bez faktor term ausdruck beispiel metazeich unterscheid anfuhrungszeich terminal gar wiederhol belieb getrennt klammerinhalt alternativ phras zeich grupp teil optional ebnf backus-naur-form erweitert programmiersprach syntax beispiel alternativ trennt strich senkrecht nichtterminal schreib algol beschreib naur pet eingesetzt backus john erfund bnf backus-naur-form programmiersprach syntax ausdruck bez prioritatengesteuert erfolgt bus zugriff gewinn restlich lief intel fernsehgerat einricht automobil technisch spezialaufgab system eingebettet arbeit prozessor verkauft beobacht eig netzwerkkart druck peripheriegerat speich prozessor umweg direkt greift peripheri speicherzugriff direkt speicherzell numm adress durchnumeriert byt bit gross speicherzell folg speich organisation zeichenvorrat zeichenreih beispiel gesetz operation abgeschloss algebra tragermeng tripel algebra kommutativ kommutativgesetz zusatz abelsch kommutativ assoziativgesetz abgeschloss algebra gilt operation binar meng halbgrupp halbgrupp informat ursprung algorithm implementier dient rechn von-neumann-rechn speich elektron erst neumann programmgesteuert elektr zus datenwert abhang fortgang berechn steuert programm maschin analyt babbag operation arithmet durchfuhr darstellungsform anschaulich syntaxdiagramm ausdrucksweis praktisch ebnf bnf zweck programmiersprach beschreib grammat regular kontextfrei termalgebr seit recht link strukturiert algorithm form allgemein liefert markov-algorithm textersetz zusammenfass semi-thue-system rekursiv kastch begriff syntakt kreis oval terminal wort zulass ergibt ausgang eingang genau syntaxdiagramm ausdruck syntaxdiagramm bez faktor term ausdruck beispiel metazeich unterscheid anfuhrungszeich terminal gar wiederhol belieb getrennt klammerinhalt alternativ phras zeich grupp teil optional ebnf backus-naur-form erweitert programmiersprach syntax kettenproduktion grund operatorprioritat erhalt ableit beobacht bez ableit vergleich transformation ergebnis kantorowitschbaum operator nichtterminal ersetz kettenproduktion zusammenzieh klamm streich erhalt vorrang grammat ableitungsbaum ausgangspunkt ausdruck vorrang darstell minimal ziel nobelpreis wirtschaftswissenschaftl mathemat witaljew leonid baum kantorowitsch kettenproduktion grund operatorprioritat erhalt ableit beobacht bez ableit vergleich transformation ergebnis kantorowitschbaum operator nichtterminal ersetz kettenproduktion zusammenzieh klamm streich erhalt vorrang grammat ableitungsbaum ausgangspunkt ausdruck vorrang darstell minimal ziel nobelpreis wirtschaftswissenschaftl mathemat witaljew leonid baum kantorowitsch ableit beobacht bez ableit vergleich kettenproduktion grund operatorprioritat erhalt grundbegriff goos gerhard informat bez regeln ausdruck ableit darstellungsform anschaulich syntaxdiagramm ausdrucksweis praktisch ebnf bnf zweck programmiersprach beschreib grammat regular kontextfrei termalgebr seit recht link strukturiert algorithm form allgemein liefert markov-algorithm textersetz zusammenfass semi-thue-system grundbegriff goos gerhard informat bez regeln ausdruck ableit satz ableit nichtterminal produktion seit recht kommt ziel reduziert kettenproduktion grammat kontextfrei anstand nichtterminal kettenproduktion beispiel sackgass entsteh gerat gut produktion anwend umgekehrt moglich reduktion erkenn beobacht diskussion bez regeln ausdruck ableit grundbegriff goos gerhard informat satz ableit nichtterminal produktion seit recht kommt ziel reduziert kettenproduktion grammat kontextfrei anstand nichtterminal kettenproduktion beispiel sackgass entsteh gerat gut produktion anwend umgekehrt moglich reduktion erkenn beobacht diskussion grammat kontextfrei sprach inharent existi ableitungsbaum wort kontextfrei mehrdeut struktur unterschied text ableit verschied beobacht grammat einfach zuruck bez mehrdeut gilt satz ableit nichtterminal produktion seit recht kommt ziel reduziert kettenproduktion grammat kontextfrei anstand nichtterminal kettenproduktion beispiel sackgass entsteh gerat gut produktion anwend umgekehrt moglich reduktion erkenn beobacht diskussion terminier rechtslinear linkslinear stimm klammerstruktur feststellbar rechtslinear definition aquivalent terminier linkslinear regular kontextsensitiv konsistenzpruf inhalt programmiersprach programm korrekt struktur produktion kontextfrei produktion kontextfrei grammat chomsky-hierarchi satz ableit nichtterminal produktion seit recht kommt ziel reduziert kettenproduktion grammat kontextfrei anstand nichtterminal kettenproduktion beispiel sackgass entsteh gerat gut produktion anwend umgekehrt moglich reduktion erkenn beobacht diskussion kettenproduktion grund operatorprioritat erhalt ableit beobacht bez ableit vergleich grundbegriff goos gerhard informat bez ableit anstand beispiel vorangeh bez grammat alternativ satz ableit nichtterminal produktion seit recht kommt ziel reduziert kettenproduktion grammat kontextfrei anstand nichtterminal kettenproduktion beispiel sackgass entsteh gerat gut produktion anwend umgekehrt moglich reduktion erkenn beobacht diskussion stark bez gering operator variabl klammer vorrang ublich multiplikation addition arithmet terminal link komm zeich nichtterminal grammat ziel produktion seit link produktion angab grammat kontextfrei definition konvention ausdruck beispiel terminier rechtslinear linkslinear kontextfrei urv uav kontextsensitiv produktion beschrankt form allgemein grammat gegeb produktion klassifikation randbeding einschliess ausnahm praxisbezug ausschliess gilt ch- wichtig grammat kontextfrei regular praxis beobacht chomsky-hierarchi terminier rechtslinear linkslinear stimm klammerstruktur feststellbar rechtslinear definition aquivalent terminier linkslinear regular kontextsensitiv konsistenzpruf inhalt programmiersprach programm korrekt struktur produktion kontextfrei produktion kontextfrei grammat chomsky-hierarchi definition aquivalent urv uav produktion kontextsensitiv kontextsensitiv berechenbar belieb form allgemein produktion chomsky lies grammat chomsky-hierarchi entscheidbar gilt ableit beschrankt beschrankt aufzahlbar 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 terminier rechtslinear linkslinear kontextfrei urv uav kontextsensitiv produktion beschrankt form allgemein grammat gegeb produktion klassifikation entscheidbar gilt ableit beschrankt beschrankt definition aquivalent urv uav produktion kontextsensitiv kontextsensitiv berechenbar belieb form allgemein produktion chomsky lies grammat ch- chomsky-hierarchi entscheidbar gilt ableit beschrankt beschrankt definition aquivalent urv uav produktion kontextsensitiv kontextsensitiv berechenbar belieb form allgemein produktion chomsky lies grammat chomsky-hierarchi terminier rechtslinear linkslinear stimm klammerstruktur feststellbar rechtslinear definition aquivalent terminier linkslinear regular kontextsensitiv konsistenzpruf inhalt programmiersprach programm korrekt struktur produktion kontextfrei produktion kontextfrei grammat ch- chomsky-hierarchi entscheidbar gilt ableit beschrankt beschrankt definition aquivalent urv uav produktion kontextsensitiv kontextsensitiv berechenbar belieb form allgemein produktion chomsky lies grammat chomsky-hierarchi