''' trecho adicionado por winder '''
    if len(tabelaSimbolos) > 0:
        tabelaSimbolos.append({"estado": '*', "token": '(EOF)',"tamanho": 1,"linha": tabelaSimbolos[len(tabelaSimbolos)-1]["linha"],"tipo": "Fim do arquivo"})