Biçimsel Diller

Programlama dillerinin teorik temelini oluşturan matematiksel kurallarla tanımlanan diller.