Một máy vạn năng, còn được gọi là máy Turing phổ dụng hoặc UTM, là máy Turing có khả năng mô phỏng bất kỳ máy Turing nào khác. Nó được định nghĩa toán học bởi Alonzo Church, người cũng đã phát minh ra phép tính Lambda. Công trình của Giáo hội, kết hợp với Turing, đã tạo ra một lý thuyết chính thức về tính toán được gọi là luận án Church-Turing.

Từ viết tắt máy tính, thuật ngữ phần cứng