Geef de definitie van een accepterende en verwerpende berekeningsgeschiedenis: