Este documento discute linguagens regulares e autômatos finitos. Ele apresenta gramáticas e linguagens, autômatos de estados finitos e autômatos finitos com saída.