Trong khoa học máy tính, một máy trạng thái trừu tượng (MTT) (hay trong tiếng Anh: Abstract State Machine - ASM) là một máy trạng thái trong đó, số lượng các trạng thái không nhất thiết là hữu hạn và các trạng thái không chỉ đơn thuần là các điểm trong không gian trạng thái. Chính xác hơn, một trạng thái của máy trạng thái trừu tượng là một cấu trúc, theo cách hiểu của toán logic, là một tập hợp không rỗng các phần tử cùng với một số hàm số (toán tử) và các quan hệ trên tập đó. (Các cấu trúc có thể được xem như các đại số, điều này giải thích tên ban đầu của MTT là các đại số tiến hóa). Trong khái niệm ban đầu của máy trạng thái tổng quát, một tác tử (agent) thực hiện một chương trình theo các bước, có thể tương tác với môi trường. Khái niệm này đã được mở rộng để có thể thực hiện các tính toán phân tán, trong đó các tác tử thực hiện các chương trình đồng thời.
Khái niệm về Máy trạng thái trừu tượng được đưa ra bởi Yuri Gurevich, người đầu tiên đề xuất ý tưởng này vào giữa nhưng năm 80 như là một cách để cải thiện các luận điểm của Church rằng bất kỳ một giải thuật nào cũng đều có thể mô phỏng bởi một máy Turing tương ứng. Yuri Gurevich đã đưa ra "Luận đề về máy trạng thái trừu tượng" như sau: các giải thuật, dù trừu tượng ở mức độ nào, cũng đều có thể được thực hiện bởi một Máy trạng thái trừu tượng tương ứng. Năm 2000, Gurevich tiên đề hóa khái niệm về giải thuật tuần tự, và đã chứng minh các luận đề về máy trạng thái trừu tượng cho hệ tiên đề đó. Đại khái, hệ tiên đề này bao gồm: các trạng thái là các cấu trúc, việc chuyển trạng thái chỉ nằm trong một số lượng giới hạn các trạng thái nào đó.
MTT được sử dụng trong đặc tả hình thức của phần cứng máy tính và phần mềm. Egon Börger đã tham gia vào quá trình ứng dụng MTT trong thiết kế và kiểm định phần cứng và phần mềm. Ông cũng là người đầu tiên đề xuất các ứng dụng trong công nghệ phần mềm. Bởi vì các mô hình giải thuật MTT, ở một mức độ trừu tượng nào đó, có thể đưa ra một cái nhìn về thiết kế phần cứng và phần mềm ở các cấp độ từ thấp, trung bình đến cao. Các đặc tả MTT thường bao gồm một tập các mô hình MTT, bắt đầu ở các tầng trừu tượng cơ sở, sau đó phát triển dần lên các tầng cao hơn, chi tiết và tinh xảo hơn. Các đặc tả MTT đã được phát triển bao gồm các ngôn ngữ lập trình (Prolog, C, và Java) và các ngôn ngữ thiết kế (UML và SDL). Hiện nay, có một số các phần mềm cho phép thực thi và phần tích máy tổng quát trừu tượng.
👁️
0 | 🔗 | 💖 | ✨ | 🌍 | ⌚
Trong khoa học máy tính, một **máy trạng thái trừu tượng** (MTT) (hay trong tiếng Anh: Abstract State Machine - ASM) là một máy trạng thái trong đó, số lượng các trạng thái không nhất
liên kết=//upload.wikimedia.org/wikipedia/commons/thumb/f/fd/Vacuum World.tif/lossless-page1-220px-Vacuum World.tif.png|nhỏ| Vacuum World, một [[Bài toán đường đi ngắn nhất|bài toán tìm đường đi ngắn nhất với không gian trạng thái hữu hạn]] **Không gian trạng thái** (tiếng Anh: _state space_) là
**Lập trình hướng đối tượng** () là một mẫu hình lập trình dựa trên khái niệm "đối tượng", mà trong đó, đối tượng chứa đựng các dữ liệu trong các trường, thường được gọi là
**Thái cực** (太極) là một thuật ngữ triết học Trung Hoa miêu tả tính toàn thể không hề phân chia của trạng thái hoàn toàn sơ khai hoặc để nói về tiềm năng vô tận,
Trong lập trình hướng đối tượng, **lớp** (**class**) là một chương trình-mã-khuôn mẫu có thể mở rộng được để tạo các đối tượng, cung cấp giá trị khởi tạo cho trạng thái (biến thành viên)
Mô phỏng dựa theo thuyết tương đối rộng về chuyển động quỹ đạo xoáy tròn và hợp nhất của hai hố đen tương tự với sự kiện [[GW150914. Minh họa hai mặt cầu đen tương
Bài này nói về từ điển các chủ đề trong toán học. ## 0-9 * -0 * 0 * 6174 ## A * AES * ARCH * ARMA * Ada Lovelace * Adrien-Marie Legendre *
nhỏ|Các loại dữ liệu có thể được hình dung thông qua một thiết bị máy tính **Dữ liệu **là chuỗi bất kỳ của một hoặc nhiều ký hiệu có ý nghĩa thông qua việc giải
phải|nhỏ|277x277px| Minh họa của một ứng dụng sử dụng libvorbisfile để phát file Ogg Vorbis Trong khoa học máy tính, **thư viện** là tập hợp các tài nguyên không biến động được sử dụng bởi
**Cờ tướng** còn gọi là **Cờ tướng Trung Quốc** (, Hán-Việt: Tượng kỳ, ) để phân biệt với cờ tướng Triều Tiên (janggi) và cờ tướng Nhật Bản (shogi), là một trò chơi board game
Trong lập trình hướng đối tượng dựa trên lớp, **hàm tạo** (tiếng Anh: _constructor_, viết tắt: _ctor_) trong một lớp là một kiểu chương trình con đặc biệt được dùng để tạo ra đối tượng.
Trong lập trình hướng đối tượng, **giao thức** (tiếng Anh: _protocol_) hay **giao diện** (_interface_) là một phương tiện phổ biến để các đối tượng không liên quan giao tiếp với nhau. Đây là định
phải|Mỗi phần tử của một ma trận thường được ký hiệu bằng một biến với hai chỉ số ở dưới. Ví dụ, a2,1 biểu diễn phần tử ở hàng thứ hai và cột thứ nhất
nhỏ|[[VirtualBox]] Trong khoa học máy tính, một **máy ảo** (**VM**) là một trình giả lập một hệ thống máy tính. Máy ảo dựa trên kiến trúc máy tính và cung cấp chức năng của máy
thumb|alt=Một biểu đồ minh họa về ví dụ của máy Boltzmann.|Biểu đồ minh họa về một ví dụ của máy Boltzmann. Mỗi cạnh không có hướng đại diện cho sự phụ thuộc. Trong ví dụ
**Tâm trí** là tập hợp các lĩnh vực bao gồm các khía cạnh nhận thức như ý thức, trí tưởng tượng, nhận thức, suy nghĩ, trí thông minh, khả năng phán quyết, ngôn ngữ và
phải|nhỏ|[[Lưu đồ thuật toán (thuật toán Euclid) để tính ước số chung lớn nhất (ưcln) của hai số _a_ và _b_ ở các vị trí có tên A và B. Thuật toán tiến hành bằng
**Cờ vây** là một trò chơi dạng chiến lược trừu tượng cho hai người chơi, trong đó mục tiêu là bao vây nhiều lãnh thổ hơn đối thủ. Trò chơi được phát minh ở Trung
**Cờ vua** (), đôi khi còn được gọi là **cờ quốc tế** để phân biệt với các biến thể như cờ tướng, là một trò chơi board game dành cho hai người. Sau thời gian
nhỏ|300x300px|Hình ảnh là một hình ảnh trực quan của một máy tự động nhận ra các chuỗi chứa số 0 chẵn. Máy tự động bắt đầu ở trạng thái S1 và chuyển sang trạng thái
phải|nhỏ|401x401px|"Hổ tọa" tác phẩm của Kishi Chikudo khoảng đầy thế kỷ XIX **Hình tượng con hổ** hay **Chúa sơn lâm** đã xuất hiện từ lâu đời và gắn bó với lịch sử của loài người.
Các chuyên gia thiết kế người Đan Mạch Christian Bason và Jens Martin Skibsted cho biết nhân loại cần có một cái nhìn rộng mở hơn về giải quyết vấn đề một cái nhìn ít
Các chuyên gia thiết kế người Đan Mạch Christian Bason và Jens Martin Skibsted cho biết nhân loại cần có một cái nhìn rộng mở hơn về giải quyết vấn đề một cái nhìn ít
**Gecko** là một bộ máy trình bày được phát triển bởi Mozilla. Nó được sử dụng trong trình duyệt Firefox, email client Thunderbird và nhiều dự án khác Gecko được thiết kế để hỗ trợ
Các chuyên gia thiết kế người Đan Mạch Christian Bason và Jens Martin Skibsted cho biết nhân loại cần có một cái nhìn rộng mở hơn về giải quyết vấn đề một cái nhìn ít
**OpenGL** (**Open Graphics Library**) là một API đa nền tảng, đa ngôn ngữ cho kết xuất đồ họa vector 2D và 3D. API thường được sử dụng để tương tác với bộ xử lý đồ
phải|nhỏ|250x250px|Ma trận biến đổi _A_ tác động bằng việc kéo dài vectơ _x_ mà không làm đổi phương của nó, vì thế _x_ là một vectơ riêng của _A_. Trong đại số tuyến tính, một
Tôi đã cố gắng mở rộng khẩu độ của mình. Điều đó có nghĩa là gì? Trong nhiếp ảnh, hãy thu nhỏ lại. Nhìn toàn cảnh chỉ bằng cây. Là một nhà văn, tôi thấy
nhỏ|429x429px|Boolean lattice of subsets Trong đại số trừu tượng, **đại số Boole** hay **đại số Boolean** là một cấu trúc đại số có các tính chất cơ bản của cả các phép toán trên tập
phải|nhỏ|402x402px|[[Mã nguồn của một chương trình máy tính đơn giản được viết bằng ngôn ngữ lập trình C. Khi được biên dịch và chạy, nó sẽ cho kết quả "Hello, world!".]] **Ngôn ngữ lập trình**
Khái niệm của vòng phản hồi dùng để điều khiển hành vi động lực của hệ thống: đây là phản hồi âm, vì giá trị cảm biến (sensor) bị trừ đi từ giá trị mong
**Chủ nghĩa cộng sản vô trị**, **chủ nghĩa cộng sản vô chính phủ** () hay **chủ nghĩa cộng sản tự do** là một học thuyết của chủ nghĩa vô trị, chủ trương thủ tiêu nhà
nhỏ| Một sơ đồ cho thấy cách người dùng tương tác với [[phần mềm ứng dụng trên một máy tính để bàn thông thường. Lớp phần mềm ứng dụng giao tiếp với hệ điều hành,
**Nguyễn Bỉnh Khiêm** (chữ Hán: 阮秉謙; 13 tháng 5 năm 1491 – 28 tháng 11 năm 1585), tên huý là **Văn Đạt** (文達), tự là **Hanh Phủ** (亨甫), hiệu là **Bạch Vân am cư sĩ**
:_Bài này nói về chủ nghĩa cộng sản như một hình thái xã hội và như một phong trào chính trị. Xin xem bài hệ thống xã hội chủ nghĩa, đảng cộng sản và chủ
**_Quân Vương_** (tiếng Ý: _Il Principe_, tiếng Anh:_The Prince_) là một cuốn sách bàn về khoa học chính trị của nhà ngoại giao, nhà sử học, nhà triết học chính trị người Ý tên Niccolò
**Tính toán** là bất kỳ loại tính toán nào bao gồm cả các bước đối xứng và không đối xứng và tuân theo một mô hình được xác định rõ, ví dụ như một thuật
**Immanuel Kant** (; phiên âm tiếng Việt: **Imanuen Cantơ**; 22 tháng 4 năm 1724 – 12 tháng 2 năm 1804) là một triết gia người Đức có ảnh hưởng lớn đến Kỷ nguyên Khai sáng. Ông
**Nike, Inc.** ( hoặc ) là một tập đoàn đa quốc gia của Hoa Kỳ tham gia thiết kế, phát triển, sản xuất, tiếp thị và bán giày dép trên toàn thế giới, may mặc,
**Georg Wilhelm Friedrich Hegel** (; Ludwig Fischer và mẹ cậu bé vẫn sống ở Jena. thumb|upright=0.7|[[Friedrich Immanuel Niethammer (1766–1848) rộng lượng hỗ trợ tài chính cho Hegel và giúp ông có được nhiều chức vụ.]]
**John von Neumann** (**Neumann János**; 28 tháng 12 năm 1903 – 8 tháng 2 năm 1957) là một nhà toán học người Mỹ gốc Hungary và là một nhà bác học thông thạo nhiều lĩnh
**Avram Noam Chomsky** (sinh ngày 7 tháng 12 năm 1928) là một giáo sư và trí thức công chúng người Mỹ, nổi danh nhờ các nghiên cứu về ngôn ngữ học, phê bình xã hội
Thí nghiệm của [[James Prescott Joule, năm 1843, để phát hiện sự chuyển hóa năng lượng từ dạng này (cơ năng) sang dạng khác (nhiệt năng)]] Trong vật lý và hóa học, **định luật bảo
Tranh vẽ của Nhật Bản mô tả [[Khổng Tử, người sáng lập ra Nho giáo. Dòng chữ trên cùng ghi "_Tiên sư Khổng Tử hành giáo tượng_"]] **Nho giáo** (chữ Hán: ) hay **Nho gia**
Trong các lĩnh vực an ninh máy tính và lập trình, một **lỗi tràn bộ nhớ đệm** hay gọi tắt là **lỗi tràn bộ đệm** (tiếng Anh: _buffer overflow_) là một lỗi lập trình có
Trong khoa học máy tính, **thuật toán tất định** là một thuật toán có đầu ra (output) hoàn toàn có thể dự đoán được (xác định được) qua đầu vào (input), và máy chạy thuật
**_Kinh Dịch_** (chữ Nôm: 經易), tên gốc là **_Dịch Kinh_** (chữ Hán: 易經), là một sách bói toán cổ xưa của Trung Quốc, nằm trong hàng ngũ những kinh điển cổ xưa nhất của nền
**Triết học Marx-Lenin** (phiên âm tiếng Việt: **Triết học Mác - Lênin**) hay **học thuyết Marx-Lenin** là một trong ba bộ phận cấu thành của chủ nghĩa Marx-Lenin, được Marx, Engels sáng lập vào giữa
**Robert Dylan** (tên khai sinh **Robert Allen Zimmerman**; sinh ngày 24 tháng 5 năm 1941) là một nam ca sĩ kiêm sáng tác nhạc người Mỹ. Được tạp chí _Rolling Stone_ đánh giá là một
, là một bộ anime truyền hình dài tập của Nhật Bản do Gainax sản xuất và Tatsunoko vẽ hoạt hình, đạo diễn của bộ phim là Anno Hideaki. Loạt phim được phát sóng lần