205
edits
Semantics: Difference between revisions
Insert arithmetic model diagram
(Early WIP) |
(Insert arithmetic model diagram) |
||
| Line 11: | Line 11: | ||
For example, consider the language of basic arithmetic. A model for this language might look like this: | For example, consider the language of basic arithmetic. A model for this language might look like this: | ||
[[File:Arithmetic model.svg]] | |||
As it turns out, Toaq is a formal language too, which means we can reason about it using models. Now, being a human language, Toaq's semantics are quite a bit more complicated than that of arithmetic, but luckily for us, models are a pretty flexible concept, and we can extend them with extra features as we need them. | As it turns out, Toaq is a formal language too, which means we can reason about it using models. Now, being a human language, Toaq's semantics are quite a bit more complicated than that of arithmetic, but luckily for us, models are a pretty flexible concept, and we can extend them with extra features as we need them. | ||