Exercise 3.1b_Moore_Aubrey

Exercise 3.1b_Moore_Aubrey