Nächste Seite:
Einzelheiten zu XML
Aufwärts:
Modelle
Vorherige Seite:
Kreuzproduktkonstruktion
Potenzmengenkonstruktion
gegeben
A
1
= (
,
Q
1
,
F
1
,
R
1
)
konstruiere
A
= (
, 2
Q
,
F
,
R
)
mit passendem
F
,
R
so daß
A
deterministisch und vollständig ist und
L
(
A
) =
L
(
A
1
)
.
ermöglicht Konstruktion von Komplementen
Johannes Waldmann 2006-02-02