# Definition:Constructed Semantics

Jump to navigation
Jump to search

## Definition

Let $\LL$ be a formal language.

A **constructed semantics** for $\LL$ is a formal semantics which is invented *solely* for proving a property about $\LL$ or other entities related to $\LL$.

This article is complete as far as it goes, but it could do with expansion.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Examples