halbordnung- theoretische Informatik.

07.11.2010, 02:14	Help23	Auf diesen Beitrag antworten »
halbordnung- theoretische Informatik. Ich hab hier eine Aufgabe, wo ich schon etwa 4 stunden dransitze und imemr noch keine idee habe und hier auf ansätz und tipps hoffe. Aufgabe. Gegen seien ein Zeichenvorrat C, d.h. eine endliche Menge von Symbolen und eine unendliche Menge von Wörtern C, die durch Hintereinanderschreiben von Elementen aus C entstehen. C= { $\begin{eqnarray} u \| u= u_{1}u_{2}...u_{n}, n \in \mathbb N , u_{i} \in C \end{eqnarray}$ für i = 1,...,n } $\begin{eqnarray} \cup \left\{ \varnothing\right\} \end{eqnarray}$ $\begin{eqnarray} \varnothing \end{eqnarray}$ ist hier das "leere Wort". Ein Wort u € C* heißt ein Anfang (Präfix) eines Wortes w € C, wenn es ein v € C gibt, mit w=uv. Wir schreiben dann u $\begin{eqnarray} \subseteq \end{eqnarray}$ w. Zeigen Sie, dass es sich bei dieser Präfixrelation um eine Halbordnung handelt. Naja wie gesagt, hab irgendwie noch nichtmal einen Ansatz
07.11.2010, 03:53	pseudo-nym	Auf diesen Beitrag antworten »
Du sollst prüfen, ob etwas eine Halbordnung ist, finde also heraus welche Axiome eine Halbordnung ausmachen und überprüfe für jedes einzelne Axiom ob es in deinem Fall gilt.
07.11.2010, 11:50	Help23	Auf diesen Beitrag antworten »
Naja ich muss halt prüfen nach Reflexivität, Antisymmetrie und Transitivität. Das problem ist einfach das ich überhaupt nicht weiss wie da anfangen soll und wie das hier zeigen soll.

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »