તેઓ માનવામાં આવે છે અને અભ્યાસ થાય છે તેમ છતાં તેઓ ઔપચારિક ભાષાઓ હતા 'સિદ્ધાંતમાં.