LBA Deterministico que Reconhece FBF de uma linguagem equivalente a da Logica-Proposicional ainda com a Ambigua