જ્યાં આ પ્રકારની ઔપચારિક ભાષાઓ લાગુ કરવા?