im yorumlayıcı izerge

Bir biçimsel dilin her ilkel değişmezine anlam olarak belli bir dildışı nesne bağlayan izerge.|| İm yorumlayıcı izerge içlemsiz yorumda herhangi bir tamduruma bağlı olmayan (?) gibi bir izerge olup, içlemli yorumda (?) tamdurumuna bağlı (?) gibi bir izergedir. (i) A değişmezi a dizimsel türünden bir özdeğişmez ise (?) evrene dayalı a türünden kaplamsal bir nesnedir.(iii) (?) değişmezi, (oco/oc) /a11 dizimsel türünden bir değişken bağlama imi ise (?) , evrene dayalı (?) türünden kaplamsal bir nesnedir (i i i)(?) değişmezi bir n-li yönetici (doğrusal olmayan n-li eklem) ise, (?) (T, tamdurumlar kümesidir.) (?) Krş.. kaplam izergesi, içlem izergesi.