Programming language theory is the study of how computer programs are written and how they work. It involves understanding how different programming languages are structured and how they go about doing things. For example, if you want to create a computer program that can draw pictures, then you need to understand how drawing commands and different colors work in programming languages.