Use this tag with the Z notation /ˈzɛd/ which is a formal specification language used for describing and modelling computing systems.
Questions tagged [z-notation]
33 questions
0
votes
1 answer
How to specify mathematical expression using Z speification?
how can i specify a mathematical expression using Z notation ?
I think free types is appropriate for this situation because expressions has a recursive nature. please consider that we can have parenthesis and variables in our expression. and only (…
Armin Balalaie
- 591
- 1
- 5
- 17
0
votes
1 answer
How to show the “count” of a set relation?
I have this code:
taking’ = taking ∪ {s? → m?}
As you can see, taking is a name for a relation where s maps to m. Above relation shows the adding procedure (union) where I am adding a new maptlet to this relation.
However, I need to get the…
PeakGen
- 21,894
- 86
- 261
- 463
0
votes
1 answer
Downloading Z specification for mac
sorry if this doesn't belong in overflow but I have a real urge to continue making specifications using Z, as I've come to learn it during uni this year.
I wanted to know if its possible to download it on a mac pc, as I currently understand its…
a7omiton
- 1,597
- 4
- 34
- 61