The aspect of lexical analysis that involves repeatedly examining characters and constructing a token stream is often diagrammed with a graph whose nodes are states joined by actions. This mechanism or action is called a(n)