0
  chars := • [0-0]
  Γ := chars • [0-0]
1
  char := "CHAR" • [0-1]
  chars := chars char • [0-1]
  Γ := chars • [0-1]
2
  char := "CHAR" • [1-2]
  chars := chars char • [0-2]
  Γ := chars • [0-2]
3
  char := "CHAR" • [2-3]
  chars := chars char • [0-3]
  Γ := chars • [0-3]
4
  char := "CHAR" • [3-4]
  chars := chars char • [0-4]
  Γ := chars • [0-4]