Added accepting states and smbuilder