tinyL desenvolvimento completo de um verificador de programas de uma linguagem de programação simples