Multiplieur binaire

3 rubans

9 états

Cette machine prend en entrée deux entiers en binaire, séparés par un |.

La machine calcule le produit de ces entiers.

Simulateur

nom     : Multiplieur binaire
initial : start
final   : done
sortie  : 1

start,[01],_,_
start,_,$1,_,>,>,-

start,|,_,_
copy2,_,_,_,>,-,-

copy2,[01],_,_
copy2,_,_,$1,>,-,>

copy2,_,_,_
rewind,_,_,_,-,<,<

rewind,_,[01],[01]
rewind,_,$2,$3,-,<,<

rewind,_,_,[01]
rewind,_,_,$3,-,-,<

rewind,_,[01],_
rewind,_,$2,_,-,<,-

rewind,_,_,_
decr,_,_,_,-,>,-

decr,_,0,_
decr,_,0,_,-,>,-

decr,_,1,_
decr2,_,0,_,-,<,-

decr,_,_,_
done,_,_,_,-,-,-

decr2,_,0,_
decr2,_,1,_,-,<,-

decr2,_,_,_
add,_,_,_,>,-,>

add,0,_,0
add,0,_,0,>,-,>

add,0,_,_
add,0,_,_,>,-,-

add,_,_,0
add,0,_,0,>,-,>

add,1,_,0
add,1,_,0,>,-,>
add,0,_,1
add,1,_,1,>,-,>

add,1,_,_
add,1,_,_,>,-,-

add,_,_,1
add,1,_,1,>,-,>

add,1,_,1
add(ret),0,_,1,>,-,>

add,_,_,_
rewind2,_,_,_,<,-,<

rewind2,[01],_,[01]
rewind2,$1,_,$3,<,-,<

rewind2,_,_,[01]
rewind2,_,_,$3,-,-,<

rewind2,[01],_,_
rewind2,$1,_,_,<,-,-
rewind2,_,_,_
decr,_,_,_,-,>,-

add(ret),0,_,0
add,1,_,0,>,-,>

add(ret),0,_,_
add,1,_,_,>,-,-

add(ret),_,_,0
add,1,_,0,>,-,>

add(ret),1,_,0
add(ret),0,_,0,>,-,>

add(ret),0,_,1
add(ret),0,_,1,>,-,>

add(ret),1,_,_
add(ret),0,_,_,>,-,-

add(ret),_,_,1
add(ret),0,_,1,>,-,>

add(ret),1,_,1
add(ret),1,_,1,>,-,>

add(ret),_,_,_
rewind2,1,_,_,<,-,<