deep embedding

== English == === Noun === deep embedding (plural deep embeddings) (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. (logic, countable) A specific such representation. ==== Antonyms ==== shallow embedding