2012-05-21 16 views
5

Tôi đang tìm cách tạo một tập hợp con nhỏ, tính toán phổ quát của mã vạch x86 chữ và số. Cuối cùng, tôi muốn tập hợp con chứa ít hướng dẫn nhất có thể và nếu có nhiều tập con tối thiểu, tôi cũng muốn biết điều đó. Tập hợp con sẽ có thể mô phỏng bất kỳ chương trình nào có thể được viết bằng toàn bộ các chỉ lệnh chữ và số. Hướng dẫn chỉ nên bao gồm các hướng dẫn tương ứng với các ký tự "A-Z", "a-z" và "0-9".Turing Bộ chữ cái hoàn chỉnh chữ số x86 (tập hợp con)

Cho đến nay tôi nghĩ rằng một push, pop, inc, dec, cmpje sẽ là đủ, nhưng tôi chắc chắn có một tập hợp nhỏ hơn. Làm thế nào tôi có thể đi về chứng minh rằng một bộ tôi tạo ra có thể mô phỏng bất kỳ chương trình bằng cách sử dụng tất cả các hướng dẫn chữ và số? Làm thế nào tôi có thể chứng minh rằng một bộ như vậy là tối thiểu? Có ai biết nếu một tập hợp chỉ dẫn như vậy tồn tại?

+2

Bạn chắc chắn có thể xóa 'inc' hoặc' dec' khỏi danh sách, bạn không cần phải có cả hai. :) –

+1

Không thể 'inc' và' dec' được thay thế bằng một chữ số-chấp nhận 'add'? – Nyerguds

+1

Giống như Alexey đã nói, chỉ một trong 'inc' hoặc' dec' là cần thiết, bởi vì cuối cùng tràn sẽ xảy ra. – cytinus

Trả lời

0

Chỉ là MỘT hướng dẫn! tại đây bằng chứng

http://en.wikipedia.org/wiki/One_instruction_set_computer

Tại sao? Chỉ vì "hướng dẫn" là một khái niệm phụ thuộc vào máy. Bạn không thể định nghĩa một tập lệnh nhỏ chỉ vì không có hướng dẫn phổ quát/tuyệt đối/nguyên tử: tất cả đều phụ thuộc vào phần cứng cơ bản: Trên thực tế máy turing "thực" là một khái niệm methematical (một bộ quy tắc) không phải là một vật lý máy

+0

Điều này không liên quan gì đến câu hỏi của tôi, điều này rất cụ thể. – cytinus

+0

nhưng bạn có thể thực hiện các hướng dẫn ở đó và chia thành các hướng dẫn x86. Ví dụ SBNZ có thể đạt được với 'sub' và' jne', 'SUBNEG' có thể được mô phỏng với' sub' và 'js' ... –

1

Tôi không chắc chắn tôi nhận được câu hỏi của bạn, đặc biệt là phần “chữ và số”, nhưng tôi muốn chỉ ra rằng nó được biết rằng cả hai movxor đều đã hoàn tất.

Các vấn đề liên quan