Add NFA and State model objects. Implement createNfaForSymbol()