Experiments on Models of Computations and Systems · Study