- Trang Chủ
- Tự động hoá
- 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.
Xem mẫu
- Input x R as the (0, x)
second coordinate
of a point in R2 with
first coordinate 0 x1
Branch
x
- n Input n Z R
Compute
(2n.s, 22n-1.s) (via Subroutines)
Branch
x1- x2 =1 x1- x2 1
1 0
- (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