Added CompactNFA implementation, +determinization