PSPA, Algorithmique