Código de um LBA Deterministico Reconhece FBF Logica Proposicional, Código para o simulador de LBA deterministico.