diff --git a/HOME_EXAM.md b/HOME_EXAM.md index ffad2f8c7890c3ace2803119da1c5ad5a3fd93f9..14563af1090b4e504bf5e14978a7401d91c2f3be 100644 --- a/HOME_EXAM.md +++ b/HOME_EXAM.md @@ -153,7 +153,7 @@ No error messages, except the already existing error messages from LALRPOP, have - Give an as complete as possible Structural Operetional Semantics (SOS) for your language ### Operators -Given a expression $e$ in the state $\sigma$ that evaluates to a value $n$ or boolean $b$ the following can be said for the operators in the language +Given a expression $`e`$ in the state $`\sigma`$ that evaluates to a value $`n`$ or boolean $`b`$ the following can be said for the operators in the language #### Arithmetic Addition: @@ -228,7 +228,9 @@ Not equals (!=): ```math \frac{\lang b, \sigma \rang \ \Downarrow \ \text{true} \quad \lang c1, \sigma \rang \ \Downarrow \ \sigma'}{\lang \text{if } b \text{ then } c1 \text{ else } c2, \sigma \rang \ \Downarrow \ \sigma'} +``` +```math \frac{\lang b, \sigma \rang \ \Downarrow \ \text{false} \quad \lang c2, \sigma \rang \ \Downarrow \ \sigma''}{\lang \text{if } b \text{ then } c1 \text{ else } c2, \sigma \rang \ \Downarrow \ \sigma''} ```