ઔપચારિક (કૃત્રિમ) ભાષાઓ છે.