Fixed bug in Nfa_from_dot that gave parsing error for edges with multiple letters; Created experimental setting.