Nächste Seite:
Potenzmengenkonstruktion
Aufwärts:
Modelle
Vorherige Seite:
Operationen mit Baumautomaten
Kreuzproduktkonstruktion
gegeben
A
1
= (
,
Q
1
,
F
1
,
R
1
),
A
2
= (
,
Q
2
,
F
2
,
R
2
)
,
konstruiere
A
= (
,
Q
1
×
Q
2
,
F
,
R
)
mit passendem
F
und
R
ermöglicht Konstrukttion von Vereinigung und Durchschnitt von regulären Baumsprachen
Johannes Waldmann 2006-02-02