LBA Deterministico que Reconhece FBF de uma linguagem equivalente a da Logica Proposicional só que Nao Ambigua