Meanings
- uncountableThe study of the semantics, or interpretations, of formal languages.
- uncountablecomputerthe rigorous mathematical study of the meaning of programming languages
Translations
French sémantique formelle
- sémantique formellestudy of the semantics of formal languages
Polish semantyka formalna
- semantyka formalnastudy of the semantics of formal languages
Cite this entry
formal semantics. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/formal%20semantics
“formal semantics.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/formal%20semantics. Accessed November 2, 2026.
WatkinsX Dictionary, s.v. “formal semantics,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/formal%20semantics.
Source: formal semantics on Wiktionary, CC BY-SA 4.0.