abstrakte Algebra < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | abstrakte Algebra definieren
Geben Sie eine vollständige algebraische Spezifikation für eine Liste von Elementen der Sorte E an. Die wesentlichen Funktionen, die auf einer solchen Liste benötigt werden, sind:
- eine Funktion ins, die ein Element e 2 E in eine Liste einfügt
- eine Funktion at, die zu einer Liste und einer natürlichen Zahl n das Element liefert, das an der Position n in der Liste steht
- eine Funktion pos, die zu einer Liste und einem e 2 E die Position in der Liste liefert, an der das
Element e steht
- eine Funktion empty, die zu einer Liste angibt, ob die Liste leer ist
- eine Funktion new, die eine neue Liste erzeugt
Zusätzlich zu der Signatur = (S; F) sollen mindestens 5 sinnvolle Axiome angegeben werden. |
Antwort (Unvollständig; hier nur die Maske):
Abstrakte Algebra einer Liste: Liste = ( [mm] \gamma, \summe, [/mm] Q) mit [mm] \summe [/mm] = (S,F)
S= {Liste, Element, BOOL}
F1 ins:
F2 at:
F3 pos
F4 empty
F5 new
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 Di 24.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
