Máquinas de Baum usadas