public String toString() {return "arc=" + fstArc + " state=" + fsaState;}

public String toString ( ) { return "arc=" + fstArc + " state=" + fsaState ; }
public override string ToString(){return "arc=" + arc + " state=" + state;}
