Interface IGrammarNFAProvider<S,​T>