Xem mẫu

  1. Input x  R as the (0, x) second coordinate of a point in R2 with first coordinate 0 x1 Branch x
  2. n Input n  Z  R Compute (2n.s, 22n-1.s) (via Subroutines) Branch x1- x2 =1 x1- x2  1 1 0
  3. (s1,..., sk) S - machine  (program) (s1,..., sk) (iff it exists) string of data s1 s2 s3 ... s ... sn ... ... access by pointers p3 pk p1
nguon tai.lieu . vn