Kontextusfüggvény

Kontextusfüggvény olyan függvény, amelynek kimenetét vagy interpretációját alapvetően a kontextus állapota határozza meg. A kontextus lehet például nyelvi, szemantikai, vagy számítástechnikai környezet, amely tartalmazza az előzményeket, helyszínt, időt, felhasználói beállításokat vagy programkörnyezeti tényezőket. A kontextusfüggvény célja, hogy leírja, hogyan változik egy kifejezés vagy érték értelmezése a különböző kontextusokban.

Formálisan a kontextusfüggvény egy f:C→V típusú hozzárendelés lehet, ahol C a kontextus állapotainak halmaza, V pedig a kimeneti értékek halmaza. Gyakori az f: C×X→Y formális leírás is, ha a bemeneti elem (X) és a kontextus (C) kombinációja adja meg a kimenet (Y). A dinamikus szemantikában a kontextus folyamatosan változik, amelyet a kontextusváltozás potenciálja (context change potential) kezeli külön elemként.

Alkalmazások: a nyelvészetben a kontextusfüggvények segítenek a szemantikában olyan jelenségek leírásában, mint a deiktikus kifejezések vagy a pronomenek értelmezése, amelyek a beszédhelyzettől függően változnak. Számítástechnikában is használatosak olyan rendszerekben, ahol az értelmezés vagy viselkedés az aktuális környezethez kötött, például környezeti beállítások, lokalizáció vagy környezeti állapot alapján történő értékelés.

Példák: egy locale alapján lerövidíthető vagy átírható kifejezés értelmezése; egy programban a kontextusfüggvény leképezheti a bemeneti értéket a környezeti változók függvényében (pl. időjárás- vagy felhasználói beállítások figyelembevétele). Ezek a példák illusztrálják, hogy a kontextusfüggvény hogyan testesíti meg a kontextustól függő viselkedést.

Látnivalók: kontextus, szemantikának dinamikus megközelítése, context change potential, lokális környezet.