Formal Languages

Languages wey dey defined by mathematical rules, wey form di theoretical basis of programming languages.