Interpretador da linguagem L1 para a disciplina de Semântica Formal da UFRGS