Which of the following are related to tree automaton?

• A. Myphill Nerode Theorem
• B. State machine
• C. Courcelle s Theorem
• D. All of the mentioned