تأويل

Also known as semantic interpretation, interpretation of a formal language

assignment of meaning to the symbols of a formal language