Go backward to Valuation Function Go up to Top Go forward to Meaning of Terminal Sentences

A Language of Binary Numerals

• Abstract Syntax:

  Syntactic domains:
  B in Binary-numeral
  D in Binary-digit
  
  Syntax rules:
  B ::= BD | D
  D :: = 0 | 1

• Sentences:

  				B
  			/	|
  		B		|
  	/	|		|
  B		|		|
  |		|		|
  D		D		D
  |		|		|
  1		0		1