તે પણ આવા પ્રોગ્રામીંગ ભાષા તરીકે ભાષા ઔપચારિક શકાય છે.