Added interface file for tree automaton.
Added tree automaton definition and NBA.
Moved NBA into CARTA.
Added *.cmp to .gitignore.