added accessor method for left & right children of binary formula
added translator class which performs formula-to-NFA translation