นิพจน์ 3: left parenthesis, "a" , "P" left parenthesis, "a" , right parenthesis "t" , right parenthesisa,Pat
3
นิพจน์ 4: "a" equals left bracket, 0 , 1 , ...3 0 , right bracketa=0,1,...30
4
นิพจน์ 5: left parenthesis, "a" , "S" left parenthesis, "a" , right parenthesis , right parenthesisa,Sa
5
นิพจน์ 6: "S" left parenthesis, "k" , right parenthesis equals Start sum from "n" equals 0 to "k" , end sum, "P" left parenthesis, "n" , right parenthesisSk=k∑n=0Pn
