Tartalomjegyzék:
- Meghatározás - Mit jelent az axiomatikus szemantika?
- A Techopedia magyarázza az axiomatikus szemantikát
Meghatározás - Mit jelent az axiomatikus szemantika?
Az axiomatikus szemantika a kóddarabban rejlő kapcsolatok szemantikai kifejezése. Ezek a kifejezések hasznosak lehetnek a szoftver működésének leírásakor.
A Techopedia magyarázza az axiomatikus szemantikát
Érdekes dolog az axiomatikus szemantika vonatkozásában, szemben a többi kifejezésfajtaval, hogy meglehetősen agnosztikusak az adott eredményekről és körülményekről. Az axiomatikus szemantika inkább a rendszer működését írja le. Ennek egyik módja az axióma gyökérszó használata, amely egy rendszer szélesebb körű truizmusát vonja maga után. Például egy axiomatikus szemantikai állítás egy bizonyos funkcióval kapcsolatban leírná, hogy mit kell tenni, milyen érvelést igényel, és milyen eredményt ad vissza. Ehhez nem lenne szükség a tényleges változók ismeretére.
