deep embedding

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Noun[edit]

deep embedding (plural deep embeddings)

  1. (logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.
  2. (logic, countable) A specific such representation.

Antonyms[edit]