User blog comment:Rpakr/A Formal Definition of Pair Sequence System using BM1 Rules/@comment-25337554-20180814232242/@comment-32697988-20180815201038

1. It is treated as strings, for example con(3,5)=35

2. Should have been Pair. It is a mistake.

3. Same as 1.

4. Mistake. Will fix it.

5. mathbb N is natural numbers.

6. Mistake. Will fix it.

7. Add the number to the first row, for example AddSeq(3,(0,0)(1,1)(2,2)) should be (3,0)(4,1)(5,2). There is a mistake in the definition and I will fix it.