Add  functions for add and remove transitions to NFAutomata.py