Dana Scott

Dana Scott: Scotts artikel uit 1959 met Michael Rabin introduceerde niet-deterministische eindige automaten (NFA), een concept dat nu alomtegenwoordig is in...