public TreeTransducer MkTreeAcceptor(params TreeRule[] rules)
{
if (rules.Length == 0)
throw new AutomataException(AutomataExceptionKind.TreeTransducer_EmptySetOfRules);
int q0 = int.Parse(rules[0].state.ToString());
var ta = tt.MkTreeAutomaton(q0, this, this, rules);
return ta;
}