Port: TokenStream, TokenStreamToAutomaton