Sie sind auf Seite 1von 33

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

Kapitel 1
LOGIK

Syntax versus Semantik


Text und seine Bedeutung

Ziele und Inhalt

Vorlesung Logik fr Informatiker vom 27. Oktober 2006

Was ist Syntax?


Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Till Tantau
Institut fr Theoretische Informatik
Universitt zu Lbeck

Zusammenfassung

1.1

Die Lernziele der heutigen Vorlesung und der bungen.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt

Die Begriffe Syntax und Semantik erklren knnen

Syntaktische und semantische Elemente natrlicher


Sprachen und von Programmiersprachen benennen
knnen

Die Begriffe Alphabet und Wort kennen

Objekte als Worte kodieren knnen

Was ist Syntax?


Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.2

Gliederung

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

1 Was ist Syntax?

Syntax natrlicher Sprachen


Syntax von Programmiersprachen
Syntax logischer Sprachen

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen

2 Was ist Semantik?

Semantik natrlicher Sprachen


Semantik von Programmiersprachen
Semantik logischer Sprachen
3 Grundlage der Syntax: Text

Alphabete
Worte
Sprachen

Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.3

Die zwei Hauptbegriffe der heutigen Vorlesung.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Grobe Definition (Syntax)

Ziele und Inhalt


Was ist Syntax?

Unter einer Syntax verstehen wir Regeln, nach denen Texte


strukturiert werden drfen.

Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Grobe Definition (Semantik)

Unter einer Semantik verstehen wir die Zuordnung von


Bedeutung zu Text.

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.4

Beobachtungen zu einem gyptischen Text.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Copyright by Guillaume Blanchard, GNU Free Documentation License, Low Resultion

Beobachtungen
Wir haben keine Ahnung, was der Text bedeutet.
Es gibt aber Regeln, die offenbar eingehalten wurden, wie

Hieroglyphen stehen in Zeilen.

Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

Solche Regeln sind syntaktische Regeln man kann sie

berprfen, ohne den Inhalt zu verstehen.


1.5

Beobachtungen zu einem kyrillischen Text.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Copyright by Cristian Chirita, GNU Free Documentation License, Low Resultion

Syntax
logischer Sprachen

Was ist Semantik?

Beobachtungen
Wir haben keine Ahnung, was der Text bedeutet.
Es gibt aber Regeln, die offenbar eingehalten wurden.
Wir kennen mehr Regeln als bei den Hieroglyphen.

Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zur Diskussion

Zusammenfassung

Welche syntaktischen Regeln fallen Ihnen ein, die bei dem Text
eingehalten wurden?
1.6

Beobachtungen zu einem deutschen Text.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Informatiker lieben Logiker.


Ziele und Inhalt
Was ist Syntax?

Beobachtungen
Auch hier werden viele syntaktische Regeln eingehalten.

Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?

Es fllt uns aber schwerer, diese zu erkennen.

Semantik
natrlicher Sprachen

Der Grund ist, dass wir sofort ber die Bedeutung

Semantik von
Programmiersprachen

nachdenken.

Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.7

Zur Syntax von natrlichen Sprachen.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Die Syntax einer natrlichen Sprache ist die Menge an

Regeln, nach denen Stze gebildet werden drfen.


Die Bedeutung oder der Sinn der gebildeten Stze ist

dabei unerheblich.
Jede Sprache hat ihre eigene Syntax; die Syntax

verschiedener Sprachen hneln sich aber oft.


Es ist nicht immer klar, ob eine Regel noch zur Syntax

gehrt oder ob es schon um den Sinn geht.


Beispiel: Substantive werden gro geschrieben.

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.8

Beobachtungen zu einem Programmtext.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

\def\pgfpointadd#1#2{%
\pgf@process{#1}%
\pgf@xa=\pgf@x%
\pgf@ya=\pgf@y%
\pgf@process{#2}%
\advance\pgf@x by\pgf@xa%
\advance\pgf@y by\pgf@ya}

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?

Beobachtungen
Der Programmtext sieht sehr kryptisch aus.
Trotzdem gibt es offenbar wieder Regeln.

Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete

So scheint einem Doppelkreuz eine Ziffer zu folgen und

Zeilen muss man offenbar mit Prozentzeichen beenden.

Worte
Sprachen

Zusammenfassung

1.9

Beobachtungen zu einem weiteren Programmtext.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

for (int i = 0; i < 100; i++)


a[i] = a[i];

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen

Beobachtungen
Wieder gibt es Regeln, die eingehalten werden.
Wieder fllt es uns schwerer, diese zu erkennen, da wir

sofort ber den Sinn nachdenken.

Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.10

Zur Syntax von Programmiersprachen

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt

Die Syntax einer Programmiersprache ist die Menge von

Regeln, nach der Programmtexte gebildet werden drfen.


Die Bedeutung oder der Sinn der Programmtexte ist dabei

egal.
Jede Programmiersprache hat ihre eigene Syntax; die

Syntax verschiedener Sprachen hneln sich aber oft.

Was ist Syntax?


Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.11

5-Minuten-Aufgabe

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Welche der folgenden Regeln sind Syntax-Regeln?


1

Bezeichner drfen nicht mit einer Ziffer anfangen.

Ziele und Inhalt

Programme mssen in endlicher Zeit ein Ergebnis


produzieren.

Was ist Syntax?

ffnende und schlieende geschweifte Klammern mssen


balanciert sein.

Methoden von Null-Objekten drfen nicht aufgerufen


werden.

Variablen mssen vor ihrer ersten Benutzung deklariert


werden.

Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.12

Beobachtungen zu einer logischen Formel.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

p q q
Ziele und Inhalt
Was ist Syntax?

Beobachtungen

Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen

Auch logische Formeln haben eine syntaktische Struktur.


So wre es syntaktisch falsch, statt einem Pfeil zwei Pfeile

zu benutzen.
Es wre aber syntaktisch richtig, statt einem

Negationszeichen zwei Negationszeichen zu verwenden.

Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.13

Zur Syntax von logischen Sprachen

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt

Die Syntax einer logischen Sprache ist die Menge von

Regeln, nach der Formeln gebildet werden drfen.


Die Bedeutung oder der Sinn der Formeln ist dabei egal.
Jede logische Sprache hat ihre eigene Syntax; die Syntax

verschiedener Sprachen hneln sich aber oft.

Was ist Syntax?


Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.14

Was bedeutet ein Satz?

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Der Hrsaal ist gro.

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen

Dieser Satz hat eine Bedeutung.


Eine Semantik legt solche Bedeutungen fest.
Syntaktisch falschen Stzen wird im Allgemeinen keine

Bedeutung zugewiesen.

Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.15

Ein Satz, zwei Bedeutungen.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Steter Tropfen hhlt den Stein.


Ziele und Inhalt
Was ist Syntax?

Ein Satz kann mehrere Bedeutungen haben, welche durch

unterschiedliche Semantiken gegeben sind.


In der wortwrtlichen Semantik sagt der Satz aus, dass

Steine ausgehhlte werden, wenn man jahrelang Wasser


auf sie tropft.
In der bertragenen Semantik sagt der Satz aus, dass

sich Beharrlichkeit auszahlt.

Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.16

Die Semantik der Hieroglyphen

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

Unknown Author, Public Domain, Low Resolution

1.17

Was bedeutet ein Programm?

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt

for (int i = 0; i < 100; i++)


a[i] = a[i];

Was ist Syntax?


Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen

Auch dieser Programmtext bedeutet etwas, wir meinen

etwas mit diesem Text.


Die Semantik der Programmiersprache legt fest, was mit

dem Programmtext gemeint ist.

Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.18

Ein Programm, zwei Bedeutungen.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

for (int i = 0; i < 100; i++)


a[i] = a[i];

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen

Ein Programmtext kann mehrere Bedeutungen haben,

welche durch unterschiedliche Semantiken gegeben sind.


In der operationalen Semantik bedeutet der Programmtext,

dass die ersten einhundert Elemente eines Arrays a


nacheinander ihren eigenen Wert zugewiesen bekommen.
In der denotationellen Semantik bedeutet der

Programmtext, dass nichts passiert.

Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.19

Eine mathematische Sicht auf Text.

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Viele (aber nicht alle!) syntaktische Systeme bauen auf

Text auf.
Auch solche Systeme, die nicht auf Text aufbauen, lassen

sich trotzdem durch Text beschreiben.


Es ist deshalb ntzlich, auf Text Methoden der Mathematik

anwenden zu knnen.
Im Folgenden wird deshalb die mathematische Sicht auf

Text eingefhrt, die in der gesamten Theoretischen


Informatik genutzt wird.

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.20

Formale Alphabete

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

Definition (Alphabet)

Ein Alphabet ist eine nicht-leere, endliche Menge von


Symbolen (auch Buchstaben genannt).
Alphabete werden hufig mit griechischen

Grobuchstaben bezeichnet, also oder . Manchmal


auch mit lateinischen Grobuchstaben, also N oder T .
Ein Symbol oder Buchstabe kann auch ein komplexes

oder komisches Ding sein wie ein Pointer oder ein


Leerzeichen.

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen

Beispiele
Die Gro- und Kleinbuchstaben
Die Menge {0, 1} (bei Informatikern beliebt)
Die Menge {A, C, G, T } (bei Biologen beliebt)

Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

Die Zeichenmenge des UNICODE.


1.21

Formale Worte
Definition (Wort)

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

Ein Wort ist eine (endliche) Folge von Symbolen.

LOGIK

Worte sind im Prinzip dasselbe wie Strings.

Insbesondere knnen in Worten Leerzeichen als Symbole


auftauchen.
Die Menge aller Worte ber einem Alphabet hat einen
besonderen Namen: .
Deshalb schreibt man oft: Sei w , . . .
Es gibt auch ein leeres Wort, abgekrzt  oder , das dem
String "" entspricht.

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Beispiele
Hallo

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

TATAAAATATTA

Zusammenfassung


Hallo Welt.
1.22

5-Minuten-Aufgabe

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Die folgenden Aufgaben sind nach Schwierigkeit sortiert.


Lsen Sie eine der Aufgaben.
1

Schreiben Sie alle Worte der Lnge hchstens 2 ber dem


Alphabet = {0, 1, } auf.
Wie viele Worte der Lnge n ber dem Alphabet
= {0, 1, } gibt es?
Wie viele Worte der Lnge hchstens n ber einem
Alphabet mit q Buchstaben gibt es?

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.23

Formale Sprachen

-6pt-6pt

Syntax ver
Semanti

Definition

-2pt-2pt

Till Tanta

Natrlichen Sprachen sind komplexe Dinge, bestehend

LOGIK

aus Wrtern, ihrer Ausprache, einer Grammatik,


Ausnahmen, Dialekten, und vielem mehr.
Ziele und Inhalt

Bei formalen Sprachen vereinfacht man radikal.


Formale Sprachen mssen weder sinnvoll noch

interessant sein.

Was ist Syntax?


Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Definition (Formale Sprache)

Eine formale Sprache ist eine (oft unendliche!) Menge von


Worten fr ein festes Alphabet.
Statt formale Sprache sagt man einfach Sprache.
Als Menge von Worten ist eine Sprache eine Teilmenge

von .

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

Deshalb schreibt man oft: Sei L , . . .


1.24

Formale Sprachen

-6pt-6pt

Syntax ver
Semanti

Einfache Beispiele

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt

Beispiele

Was ist Syntax?


Syntax
natrlicher Sprachen

Die Menge {AAA, AAC, AAT } (endliche Sprache).

Syntax von
Programmiersprachen

Die Menge aller Java-Programmtexte (unendliche

Syntax
logischer Sprachen

Sprache).
Die Menge aller Basensequenzen, die TATA enthalten

(unendliche Sprache).

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.25

Formale Sprachen in der Medieninformatik

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ein Renderer produziert 3D-Bilder.

Ziele und Inhalt


Was ist Syntax?

Dazu erhlt er eine Szenerie als Eingabe.


Diese Szenerie ist als Text, also als ein Wort gegeben.
Eine Syntax beschreibt die (formale) Sprache, die alle

syntaktisch korrekten Szenerien enthlt.


Eine Semantik beschreibt, was diese Beschreibungen

bedeuten.

Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.26

Formale Sprachen in der Medieninformatik

-6pt-6pt

Syntax ver
Semanti

Das Wort, das eine Szenerie beschreibt. . .

-2pt-2pt

Till Tanta

global_settings { assumed_gamma 1.0 }


LOGIK

camera {
location
direction
right
look_at
}

<10.0, 10, -10.0>


1.5*z
x*image_width/image_height
<0.0, 0.0, 0.0>

sky_sphere { pigment { color rgb <0.6,0.7,1.0> } }


light_source {
<0, 0, 0>
// lights position (translated below)
color rgb <1, 1, 1> // lights color
translate <-30, 30, -30>
shadowless
}
#declare i = 0;
#declare Steps = 30;
#declare Kugel = sphere{<0,0,0>,0.5 pigment{color rgb<1,0,0>}};

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

#while(i<Steps)
object{Kugel translate<3,0,0> rotate <0,i * 360 / Steps, 0> }
#declare i = i + 1;
#end

Zusammenfassung

1.27

Formale Sprachen in der Medieninformatik

-6pt-6pt

Syntax ver
Semanti

. . . und was es bedeutet.

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

Copyright Matthias Kabel, GNU Free Documentation License, Low Resolution

1.28

Formale Sprachen in der Medieninformatik

-6pt-6pt

Syntax ver
Semanti

Komplexeres Beispielbild, das ein Renderer produziert.

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

Copyright Giorgio Krenkel and Alex Sandri, GNU Free Documentation License, Low Resolution

1.29

Formale Sprachen in der Bioinformatik

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

In der Bioinformatik untersucht man unter anderem

Proteine.
Dazu erhlt man Moleklbeschreibungen als Eingabe.
Eine solche ist auch ein Wort.
Eine Syntax beschreibt die (formale) Sprache, die alle

syntaktisch korrekten Molklbeschreibungen enthlt.


Eine Semantik beschreibt, was diese Beschreibungen

bedeuten.

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.30

Formale Sprachen in der Bioinformatik

-6pt-6pt

Syntax ver
Semanti

Das Wort, das ein Protein beschreibt. . .

-2pt-2pt

Till Tanta

HEADER
TITLE
TITLE
COMPND
COMPND
COMPND
COMPND
COMPND
COMPND
SOURCE
SOURCE
SOURCE
SOURCE
...
REVDAT
JRNL
JRNL
JRNL
JRNL
JRNL
JRNL
JRNL
JRNL
....
ATOM
ATOM
ATOM
ATOM
ATOM
ATOM
ATOM
ATOM
ATOM
ATOM
ATOM
ATOM
ATOM
...

HYDROLASE
25-JUL-03
1UJ1
CRYSTAL STRUCTURE OF SARS CORONAVIRUS MAIN PROTEINASE
2 (3CLPRO)
MOL_ID: 1;
2 MOLECULE: 3C-LIKE PROTEINASE;
3 CHAIN: A, B;
4 SYNONYM: MAIN PROTEINASE, 3CLPRO;
5 EC: 3.4.24.-;
6 ENGINEERED: YES
MOL_ID: 1;
2 ORGANISM_SCIENTIFIC: SARS CORONAVIRUS;
3 ORGANISM_COMMON: VIRUSES;
4 STRAIN: SARS;
1

1
2
3
4
5
6
7
8
9
10
11
12
13

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen

18-NOV-03 1UJ1
0
AUTH
H.YANG,M.YANG,Y.DING,Y.LIU,Z.LOU,Z.ZHOU,L.SUN,L.MO,
AUTH 2 S.YE,H.PANG,G.F.GAO,K.ANAND,M.BARTLAM,R.HILGENFELD,
AUTH 3 Z.RAO
TITL
THE CRYSTAL STRUCTURES OF SEVERE ACUTE RESPIRATORY
TITL 2 SYNDROME VIRUS MAIN PROTEASE AND ITS COMPLEX WITH
TITL 3 AN INHIBITOR
REF
PROC.NAT.ACAD.SCI.USA
V. 100 13190 2003
REFN
ASTM PNASA6 US ISSN 0027-8424
N
CA
C
O
CB
CG
CD1
CD2
CE1
CE2
CZ
N
CA

PHE
PHE
PHE
PHE
PHE
PHE
PHE
PHE
PHE
PHE
PHE
ARG
ARG

A
A
A
A
A
A
A
A
A
A
A
A
A

3
3
3
3
3
3
3
3
3
3
3
4
4

63.478
64.607
64.674
65.331
65.912
67.065
67.083
68.135
68.140
69.210
69.216
64.007
63.951

-27.806
-26.997
-25.701
-25.633
-27.763
-27.162
-27.172
-26.595
-26.631
-26.046
-26.062
-24.666
-23.376

23.971
24.516
23.723
22.673
24.358
25.108
26.496
24.422
27.187
25.108
26.493
24.228
23.543

1.00
1.00
1.00
1.00
1.00
1.00
1.00
1.00
1.00
1.00
1.00
1.00
1.00

44.82
42.13
41.61
40.73
44.33
44.20
43.35
43.49
43.21
42.91
43.22
34.90
37.71

Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen

N
C
C
O
C
C
C
C
C
C
C
N
C

Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.31

Formale Sprachen in der Bioinformatik

-6pt-6pt

Syntax ver
Semanti

. . . und das Protein, das beschrieben wird.

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt


Was ist Syntax?
Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

Copyright Till Tantau, Low Resultion

1.32

Zusammenfassung

-6pt-6pt

Syntax ver
Semanti

-2pt-2pt

Till Tanta

LOGIK

Ziele und Inhalt

Ein Wort ist eine Folge von Symbolen aus einem Alphabet.

Eine Syntax besteht aus Regeln, nach denen Worte


(Texte) gebaut werden drfen.

Eine Semantik legt fest, was Worte bedeuten.

Eine formale Sprache ist eine Menge von Worten ber


einem Alphabet.

Was ist Syntax?


Syntax
natrlicher Sprachen
Syntax von
Programmiersprachen
Syntax
logischer Sprachen

Was ist Semantik?


Semantik
natrlicher Sprachen
Semantik von
Programmiersprachen
Semantik
logischer Sprachen

Grundlage der Syntax:


Text
Alphabete
Worte
Sprachen

Zusammenfassung

1.33