Operationen mit Baumautomaten

Wenn A1, A2 endliche Baumautomaten über Signatur $ \Sigma$, dann kann man jeweils einen Baumautomaten konstruieren für



Johannes Waldmann 2006-02-02