Formale Sprachen Grundlagen und Anwendungen. Dr. Wolfgang Süß

Transkript

1 Formale Sprachen Grundlagen und Anwendungen

2 Formale Sprachen: Motivation Sprachen werden eingeteilt in: Natürliche Sprachen oder Umgangssprachen Diese werden gesprochen und dienen der Kommunikation. Künstliche oder Formale Sprachen Diese werden benutzt, um Sachverhalte möglichst genau aufzuschreiben, z.b. in der Mathematik, Logik und Informatik. Eine Formale Sprache ist eine Menge von Symbolanordnungen, die vorgegebenen Regeln entsprechen. Formale Sprachen definieren, welche Ausdrücke erlaubt sind aber nicht die Bedeutung von Ausdrücken.

3 Formale Sprachen: Motivation Beispiele: Datenaustausch: Sender und Empfänger müssen sich auf gemeinsames Format einigen. Spezialfall Programmiersprachen 1) : Was sind korrekte Audrücke? Beispiel class EinfacheKlasse {int datum;} ist ein korrekter Java-Ausdruck class EinfacheKlasse (int datum) ist kein korrekter Java-Ausdruck 1) Sender ist der Programmierer, Empfänger ist der Compiler

4 Anwendung: Datenaustausch Sender Beispiele: Empfänger Zum elektronischen Datenaustausch müssen sich Sender und Empfänger auf ein Austauschformat einigen. Der Empfänger muss erkennen, ob Daten korrekt sind was sie bedeuten Dokumente im Internet: Datenaustauschformat HTML, XML Austausch zwischen betrieblichen Informationssystemen Bestellung Elektronischer Datenaustausch zwischen Unternehmen Kunde Rechnung Lieferant

5 Syntax, Semantik und Pragmatik einer Sprache Syntax (Sprachliche Form): legt fest, welche Ausdrücke erlaubt sind Beispiel Java: Nach dem Wort class folgt ein Wort und anschliessend eine in geschweifte Klammern eingeschlossene Zeichenfolge Semantik (Bedeutung): legt die Bedeutung eines Ausdrucks der Sprache fest Beispiele: Java: das Schlüsselwort class leitet eine Klassendefinition ein; das Wort direkt nach class ist der Name der Klasse Deutsch: "Der Baum blüht." und "Der Baum spaziert." sind nach der gleichen Regel aufgebaute, syntaktisch korrekte Sätze mit unterschiedlicher (mehr oder weniger sinnvoller) Bedeutung. Pragmatik: regelt die Einbettung der Bedeutung in den Kontext

6 Beispiel für Syntax, Semantik und Pragmatik Satz: Wie spät ist es? Die Syntax regelt den grammatikalischen Aufbau der Frage. Wie spät ist es! wäre syntaktisch falsch. Die Semantik zeigt, dass eine Frage nach einer Uhrzeit zum Zeitpunkt des Aussprechens gemeint ist. Die Pragmatik zeigt, dass der Sprechende eine Aufforderung an den Hörer hat und dass eine Reaktion von diesem zu recht erwartet werden kann. Der Hörer steht mit der Annahme der Frage in der Pflicht der Frage bzw. Bitte um Antwort nachzukommen. Pragmatisch falsch wäre die Reaktion: Es ist nie zu spät, ein guter Mensch zu werden [I. Kant], obwohl dies inhaltlich (semantisch) sinnvoll wäre.

7 Formale Sprachen Eine Formale Sprache definiert, welche Ausdrücke erlaubt sind: zulässige Zeichen Regeln für die Zusammensetzung der Zeichen Sender und Empfänger einer Nachricht müssen die gleichen Regeln befolgen Die Sprache muss eindeutig beschrieben sein Die Korrektheit eines Ausdrucks muss nachprüfbar sein Formale Sprachen haben folgende Eigenschaften: Alle Zeichen sind explizit definiert. Alle syntaktischen Regeln sind explizit definiert. Alle semantischen Regeln sind explizit definiert oder vollständig weggelassen. Es gibt keine Pragmatik.

8 Alphabet Gegeben sei A Dann ist Alphabet: eine Menge von Zeichen (auch Zeichenvorrat genannt) A* die Menge aller Zeichenketten, die man aus A bilden kann, einschliesslich der leeren Kette "" für die leere Kette schrieben wir auch den griechischen Buchstaben λ A+ Die Menge aller Zeichen, die man bilden kann ohne die leere Kette Beispiele A = {"a", "b", "c"} A* = { "", "a", "b", "c", "aa", "ab", "ac", "ba", "bb", "bc", "ca", "cb", "cc", "aaa", "aab", "aac", "aba", "abb",...}

9 Sprache Eine Teilmenge L A* nennt man Sprache über dem Alphabet A Die Elemente von L heissen Wörter der Sprache L (oder auch Ketten der Sprache L) Beispiel: Gegeben sei das Alphabet A = {"a", "b", "c"}, L 1 sei die Sprache über A, in der alle Wörter mit "a" beginnen und aufhören. Dann sind folgende Ketten Wörter von L 1 "a", "aa", "aaa", "aba", "aca", "aaaa", "aaba", "accca",... Keine Wörter von L 1 sind dagegen: "", "b", "c", "ab", "ca", "bcc",...

10 Grammatik Grammatik - Lehre von der Wortbildung und -flexion (Morphologie) sowie von der Verwendung der Wörter im Satz (Syntax) Die meisten Sprachen sind unendlich, so dass man durch Aufzählung der Wörter die Sprache nicht definieren kann. Eine Grammatik ist eine allgemeine, eindeutige Beschreibung der Syntax einer Sprache. Eine Grammatik soll eine endliche Beschreibung haben.

11 Grammatik Eine Grammatik G=(T,N,P,S) besteht aus 4 Teilen T die Menge der Terminalsymbole, aus denen die Wörter der Sprache gebildet werden. Terminalsymbole sind Zeichen des zugrunde liegenden Alphabets. N die Menge der Nichtterminalsymbole (Hilfssymbole); sie treten in der Sprache nicht auf, sondern müssen durch Terminalsymbole ersetzt werden. P die Menge der Produktionen (auch Produktionsregeln oder Regeln genannt). Eine Regel X Y besagt, dass ein Teilwort X durch ein Teilwort Y ersetzt werden kann, wobei X und Y aus Terminal- und Nichtterminalsymbolen bestehen können. S das Startsymbol (ein spezielles Element aus N), von dem ausgehend die Produktionen angewandt werden.

12 Beispiel: Grammatik für L 1 Die folgende Grammatik beschreibt die Menge aller Wörter über dem Alphabet {"a", "b", "c"}, die mit "a" beginnen und enden: T = N = {"a", "b", "c"} {Wort, Buchstabe, Teilwort} P = {Wort "a" Teilwort "a", Wort "a", Teilwort Buchstabe Teilwort, Teilwort λ, Buchstabe "a", Buchstabe "b", Buchstabe "c " } S = Wort

13 Backus-Naur Naur-Form (BNF) In der Informatik hat eine besondere Form einer Grammatik weite Verbreitung gefunden: die Backus-Naur-Form (BNF) Die BNF wird vor allem für die Definition von Programmiersprachen verwendet Die linke Seite jeder Regel besteht aus genau einem Nichtterminalsymbol (die BNF ist eine Darstellung für kontextfreie Grammatiken) Die rechte Seite einer Regel besteht aus beliebig langen Kette, die Terminal- und Nichtterminalsymbole enthalten kann Die rechte Seite ist also ein Element aus (T N)*; eine "leere" rechte Seite (λ) ist erlaubt. Linke und rechte Seite einer Regel werden durch das Zeichen "::=" voneinander getrennt.

14 Erweiterte Backus-Naur Naur-Form (EBNF) Weil BNF-Grammatiken unübersichtlich werden können, wurde die BNF um einige Abkürzungsmöglichkeiten erweitert. Dies führt zur erweiterten Backus-Naur-Form (EBNF) Es gibt verschiedene Varianten der EBNF. Eine gebräuchliche sieht folgende Abkürzungsmöglichkeiten vor: der senkrechte Strich trennt Alternativen [ ] eckige Klammern enthalten optionale Bestandteile { } geschweifte Klammern enthalten Bestandteile, die null, ein oder mehrfach wiederholt werden dürfen { }+ geschweifte Klammern mit + enthalten Elemente, die ein oder mehrfach wiederholt werden können

15 Beispiel: Grammatik für L 1 in BNF T = {"a", "b", "c"} N = {Wort, Buchstabe, Teilwort} P = {Wort ::= "a" Teilwort "a", Wort ::= "a", Teilwort ::= Buchstabe Teilwort, Teilwort ::= λ, Buchstabe ::= "a", Buchstabe ::= "b", Buchstabe ::= "c " } (1) (2) (3) (4) (5) (6) (7) S = Wort

16 Sprache einer Grammatik Eine Sprache L einer Grammatik G ist die Menge aller Wörter, die durch die Grammatik abgeleitet werden können, d.h. die Wörter die aus S durch Anwendung von Produktionsregeln erzeugt werden kann, wobei alle Nichtterminalsymbole durch Terminalsymbole ersetzt worden sind. Mathematische Definition: Sei G=(T,N,P,S) eine Grammatik, Dann heißt * L(G) = {w T* S w} die von G erzeugte formale Sprache. Eine Sprache entsteht also als Zeichenkette durch Anwendung von Produktionen einer Grammatik.

17 Herleitung eines Wortes aus einer BNF-Grammatik Die Herleitung eines Wortes aus einer Grammatik kann man als Baum darstellen Beispiel: "abca" ist eine Wort der Sprache L 1 : Wort (1) "a" Teilwort "a" (3) Buchstabe Teilwort (6) (3) "b" Buchstabe Teilwort (7) (4) "c" λ Die fett gedruckten Zeichen bilden das erzeugte Wort.

18 Parsen: Erkennen von gültigen Ausdrücken einer Sprache Eine wichtige Anwendung einer Grammatik ist, zu erkennen ob eine Zeichenkette zu einer Sprache gehört Beispiel: Analysephase beim Compilieren Für die Erkennung von Zeichenketten werden die Regeln rückwärts angewendet Erkennung der Korrektheit von Ausdrücken Zuordnung von Ausdrücken zu semantischen Einheiten Dieser Vorgang heisst "parsen" (von engl. "to parse") Parser sind Bestandteile von Compilern aber auch z.b. von WWW-Browsern (um HTML-Code zu erkennen und darzustellen)

19 Sprache - ein zweites Beispiel Gegeben sei das Alphabet A = {"1", "2", "3", "4", "5", "6", "7", "8", "9", "0", "+", "-", "*", "/", "(", ")"} Die Menge L A der arithmetischen Ausdrücke ist eine Sprache über A, z.b. "122+4" "8*(4+177/3-(11*(18+7)))" "13" Die folgenden Wörter sollen nicht zu L A gehören: "28(18" "++/-5"

20 Beispiel: EBNF-Grammatik für die Sprache L A der arithmetischen Ausdrücke T = {"1", "2", "3", "4", "5", "6", "7", "8", "9", "0", "+", " ", "*", "/", "(", ")" } N = { Ausdruck, Term, Faktor, Zahl, Ziffer } S = Ausdruck P = { Ausdruck ::= Term Term "+" Term Term " " Term Term ::= Faktor Faktor "*" Faktor Faktor "/" Faktor Faktor ::= Zahl "(" Ausdruck ")" Zahl ::= {Ziffer}+ Ziffer ::= "0" "1" "2" "3" "4" "5" "6" "7" "8" "9" }

21 Kontextfreie Grammatiken Im Allgemeinen können rechte und linke Seite von Produktionen aus beliebigen Kombinationen von Terminal- und Nichtterminalsymbolen bestehen Die für die Informatik wichtigste Kategorie von Grammatiken sind diejenigen, deren Mengen N, T, und P nicht leer und endlich sind und deren Produktionen auf der linken Seite aus genau einem Nichtterminalsymbol bestehen Diese Grammatiken heißen kontextfrei Die Anwendung von Produktionen einer kontextfreien Grammatik führt zu einer hierarchischen Verfeinerung Wörter einer Sprache können einfach generiert und erkannt werden BNF-Grammatiken sind kontextfrei

22 Syntaxdiagramme Eine mit BNF eng verwandte Form von Grammatik sind die Syntaxdiagramme. Ein Syntaxdiagramm entspricht einer EBNF-Regel (bzw. mehreren BNF-Regeln, die die gleiche linke Seiten haben). Das Hilfssymbol auf der linken Seite entspricht dem Titel des Diagramms. Hilfssymbole der rechten Seite werden durch Rechtecke, Terminalsymbole durch Kreise dargestellt

23 Beispiel: Syntaxdiagramme für die Sprache L A der arithmetischen Ausdrücke Ausdruck Faktor Term Term + Zahl Ausdruck ( ) Term Zahl Faktor Faktor * / Ziffer Ziffer

24 Metasprachen BNF und EBNF sind formale Sprachen, die dazu da sind, über formale Sprachen etwas zu sagen (nämlich ihre Syntax zu definieren) Eine Sprache, in der man über eine andere Sprache spricht, nennt man Metasprache Die Zeichen dieser Sprachen, die nicht Terminal- oder Hilfssymbole sind, heissen Metasymbole In BNF sind " und ::= Metasymbole In EBNF sind ", ::=,, [, ], { und } Metasymbole

25 Anwendungen von Grammatiken Es gibt viele Anwendungen für Grammatiken nicht nur in den Definitionen der Programmiersprachen, z.b. Aufbau von Kommandos (Shell, COMMAND.COM) Beschreibung von Protokollen (TCP, IP, HTTP, SOAP) Aufbau von Mustern (Pattern Matching), z.b. für Shell oder Editoren (substitute-kommando) Aufbau von SQL-Kommandos Aufbau von URL (Web-Adressen) Aufbau von Dokumenten (HTML, XML)

26 Formale Sprachen im Internet: Anwendungen HTML (HyperText Markup Language) XML (extensible Markup Language) 1997 XML 1992 HTML WWW 1986 SGML 1960 Generalized Markup Internet

27 Aufbau einer HTML Seite Document Type Definition (DTD) HEAD-Bereich Dokumentinformation (Autor, Zeichensatz, Keyword, etc.) Body-Bereich Eigentliches Dokument

28 Beispiel einer einfachen HTML-Seite <html> <head> <title>vorlesung Formale Sprachen im Internet</title> </head> <body> <h1>formale Sprachen im Internet</h1> <p>viel Spaß bei der Vorlesung!</p> </body> </html>

29 (Eingeschränkte) Grammatik für HTML-Dokumente T = {"A",.., "Z", "a",..,"z", "0", "1",..,"9", " ", " ; ", " &",".",": ","!", "<html>", "</html>", "<head>", "</head>", "<body>", "</body>", "<title>", "</title>", "<p>", "</p>", "<h1>", "</h1>" } N = { HTML-Dokument, Dokumentinhalt, Kopf, Rumpf, Überschrift, Absatz, Text } S = HTML-Dokument P = { HTML-Dokument ::= <html>dokumentinhalt</html> Dokumentinhalt ::= <head>kopf</head><body>rumpf</body> Kopf ::= <title>text</title> Rumpf ::= {Überschrift Absatz}* Überschrift ::= <h1>text</h1> Absatz ::= <p>text</p> Text ::= {A B.. Z a b.. z " " ; &. :!}*

30 HTML HyperText Markup Language Vorteile Weite Verbreitung ( Sprache des WWW ) Einfachheit Unterstützung durch gängige Software (Web-Browser) Standardisiert Nachteile Nicht erweiterbar Keine Trennung zwischen Semantik und Darstellung Aber Ansätze zur Trennung bestehen: Cascading Stylesheets (CSS) Document Style Semantics and Specification Language (DSSSL)

31 XML extensible Markup Language Konsequente Trennung zwischen Darstellung und Repräsentation Erweiterbar, eigene Tags können definiert werden Maschinen les- und prüfbar Kein Ersatz für HTML, aber Ergänzung in vielen Bereichen Für normales Homepage-Design ist XML relativ uninteressant. HTML und CSS sind dafür längst zu leistungsfähig und angesichts ihrer Verbreitung kaum noch zu verdrängen.

32 XML: Trennung Inhalt, Struktur, Format Inhalt XML Struktur DTD, XML-Schema Format CSS, XSL, XSLT XML extensible Markup Language DTD Document Type Definition CSS - Cascading StyleSheet XSL extensible Style Language XSLT XSL Transformation

33 XML: Formale Sprache und Grammatik Formale Sprache Inhalt XML Struktur DTD, XML-Schema Format CSS, XSL, XSLT Grammatik Layout

34 Gültigkeit von XML-Dokumenten Formale Sprache XML Grammatik DTD oder XML-Schema PARSER XML Validiertes Dokument

35 Eigenschaften von XML-Dokumenten Wohlgeformtheit (wellformed) Dokument syntaktisch korrekt? Passender Aufbau des XML-Dokumentes Korrekte Verschachtelung von Tags Attribute in " " Gültigkeit (valid) Keine offenen Tags Wohlgeformtheit und Entspricht einer DTD

36 XML-Dokumente und DTD XML-Dokument <hotel id= h0001 > <name> Strand Hotel Hübner </name> <kategorie>4</kategorie> DTD <!ELEMENT hotel (name, kategorie)> <!ATTLIST hotel id ID #REQUIRED> <!ELEMENT name (#PCDATA)> <!ELEMENT kategorie (#PCDATA)> </hotel>

37 Strukturdefinition für XML-Dokumente DTDs einfach kompakt gut lesbar aber keine XML-Syntax XML-Schema wesentlich mehr Darstellungsmöglichkeiten Datentypen XML-Syntax

38 XML-Dokumente und XSL Stylesheets PDF XSL Stylesheet Layout: Drucker XSL Stylesheet HTML XML Validiertes Dokument XSL Stylesheet Layout: Browser WML XSL Stylesheet XML Layout: Handy Layout: Externe Anwendung

39 XML-Anwendungen Datenaustausch SOAP (Simple Object Access Protocol) Naturwissenschaft MathML Mathematische Formelsprache CML Chemical Markup Language BSML Bioinformatic Sequence Markup Language BioML Biopolymer Markup Language SVG Scalable Vector Graphics XHTML Neudefinition von HTML Allgemein: Strukturierte Informationen