P(x) : x ist Person, C(x) : x ist Compiler,
S(x) : x ist Sprache,
K(x, y) : Person x kennt Sprache y.
schreiben Sie prädikatenlogisch (ggf. Signatur erweitern)
und als Klassendiagramm (soweit möglich)
- nicht alle Personen kennen eine Programmiersprache
- es gibt Personen, die zwei Sprachen kennen
- jeder Compiler übersetzt eine Quellsprache in
eine Zielsprache
- der Autor jedes Compilers kennt dessen Quell-
und Zielsprache
- wer Haskell kennt, kennt jede Sprache
- zu jeder Sprache gibt es einen Compiler,
der Maschinencode erzeugt
Johannes Waldmann
2012-02-01