Added algorithm for determinization FA + Unit test