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