----- Errata for the initial version (not the latest version on 21 Jan) ---- Slide 20: at time t+1, state j was coloured red. It should have been state k Slide 24: the termination equation had a term beta_j1(1) - it should have simply been beta_j(1)