#  The format of rules is:
#  present state, present symbol, symbol to write, move, new state.
#
#  Il formato delle quintuple e' il seguente:
#  stato presente, simbolo presente, simbolo da scrivere, mossa, nuovo stato.
#
#  move:   L=Left, R=Right, N=None
#  state:  H=Halt, 1...n
#  symbol: a-z, A-Z, 0-9, ! (for empty square)

#  questo programma calcola il complemento a due di un
#  numero binario, espresso nel formato   s0[01]*e
#  
#  this set of rules accomplishes two's complement of 
#  binary number, expressed in the format   s0[01]*e
#
 
1 s s L 1
1 0 1 L 1
1 1 0 L 1
1 e e R 2
2 0 1 N H
2 1 0 R 2
2 s s L 3
3 0 1 N H 
