Trên h?u h?t t?t c? các n?n t?ng máy tính, ph?n m?m có th? ???c nhóm thành m?t vài lo?i l?n.
Lý thuy?t ??u tiên v? ph?n m?m, tr??c khi t?o ra máy tính nh? chúng ta bi?t ngày nay, ?ã ???c Alan Turing ?? xu?t trong bài ti?u lu?n n?m 1935, On Computable Numbers, with the Application for the Entscheidu