O objetivo deste trabalho é mostrar algo sobre analise léxica voltada para álgebra lógica, que nada mais é um dos processos utilizados na construção de tradutores, responsável pela análise e categorização das entradas, que facilita a análise sintática. Também será explicado sobre a relação entre a análise léxica e autômatos. E a partir desta percepção intelectual construir um analisador léxico para a álgebra lógica, que é basicamente um sistema formal, que combina proposições atômicas usando conectivos lógicos, sendo que com essas combinações é possível inferir resultados.
Assim, a partir deste trabalho teremos uma visão abrangente sobre um projeto de compilador e a ideia de um analisador léxico e sua relação com autômatos, com um pouco do funcionamento do mesmo.