im yorumlayıcı izerge

im yorumlayıcı izerge İng. sign-interpretation function

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.

---

im yorumlayıcı izerge ile benzer kelimeler

komut yorumlayıcı İng. command interpreter

yorumlayıcı İng. interpreter Girdi olarak verilen deyim ya da yordamları, herhangi bir amaç izlence üretecek biçimde derlemeksizin, doğrudan uygulayan bir izlence, bk. çevirici, derleyici. İng. interpreter

ayırt edici izerge İng. characteristic function, representing function ( )

bölümsel izerge İng. partial function K kümesinden L kümesine kurulan bir , K nIn bir altkümesinden L ye kurulan bir izerge demektir.

bölünmsel işlemlenebilir izerge İng. partially computable function Değerlerini saptayan bir işlemleyicisi olan bölümsel deyim izergesi.

bütünsel izerge İng. total function K kümesinden L kümesine kurulan bir , K nın bir bölümünden değil de K nın bütününden L ye kurulan bir izerge demektir,|| Anl. izerge. Krş. bölümsel izerge.

bütünsel sayısal izerge İng. total number-theoretic function Önalanı doğal sayılardan oluşan bütün sıralanmış n-li dizgelerin kümesi olan sayısal izerge.

içlemsel izerge İng. function in intension Tamdurumlar kümesinden n-li kaplamsal izergeler kümesine yapılan izerge. || Örn. (...) n-li işlevinin içlemi, ( ) n-li sidir

---