What is a programming language? We are not in a hurry to answer, get acquainted with the definition of formal languages