Tải bản đầy đủ (.pdf) (16 trang)

Một số đặc trưng của lý thuyết mô hình tính toán được tổng quát hóa trên số thực và các cấu trúc đại số khác. pptx

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (3.55 MB, 16 trang )




Input x  R as the
second coordinate
of a point in R2 with
first coordinate 0

(0, x)

x1
Branch
x<1

Output k, the
coordinate

k

(k, x)  (k+1, x-1)

Replace (k, x)
by (k+1, x-1)


n

Input n  Z  R

(2n.s, 22n-1.s)


Compute
(via Subroutines)

Branch
x1- x2 =1
1

x1- x2  1
0





(s1,..., sk)
(program)



S - machine

(s1,..., sk) (iff it exists)

string of data

s1

s2

s3


...

s

...
access by pointers

p3

...

sn

...
pk

p1










×