Basa Pamrograman minangka notasi kang dipigunakaké kanggo deskripsi prosès komputasi sajeroning format kang bisa diwaca déning komputer lan manungsa. Prosès komputasi lumrahé didefinisi kanthi formal migunakaké konsèp matematika saka Mesin Turing. Sayektiné Basa Pamrograman dirancang kanggo fasilitasi komunikasi antara manungsa karo komputer