Go backward to A Language of Binary Numerals
Go up to Top
Go forward to Meaning of Non-Terminal Sentences
|
Go backward to A Language of Binary Numerals Go up to Top Go forward to Meaning of Non-Terminal Sentences |
|
| D |
| | |
| 0 |
| D( |
| ) = zero |
Valuation function:
D [[ 0 ]] = zero
D [[ 1 ]] = one