Formal Languages

Languages defined by mathematical rules, forming the theoretical basis of programming languages.