method renamed
added summary for classes, code refactoring
added tests for FinitAutomationBuilder