Programming languages are formal languages used to instruct computers. Examples include Python, Java, and C++.