Introduction to CompilerLexical Analyzer: finite automata