Principal Rechercher Bounded Machine