metafile

The program simulates a Nondeterministic Multitape Turing Machine. It works as ordinary (Determinist

add.dsc     1 add.sta add.abt add.rul add1.in add2.in add3.in add4.in add5.in add6.in add7.in
addm.dsc    1 addm.sta add.abt addm.rul add1.in add2.in add3.in add4.in
mult.dsc    1 mult.sta mult.abt mult.rul mult1.in mult2.in mult3.in 
palindr.dsc 2 palindr.sta palindr.abt palindr.rul palindr1.in palindr2.in palindr3.in
part.dsc    3 part.sta part.abt part.rul part1.in part2.in part3.in
fib.dsc     1 fib.sta fib.abt fib.rul fib1.in fib2.in fib3.in fib5.in fib7.in
un2bin.dsc  1 un2bin.sta un2bin.abt un2bin.rul un2bin1.in un2bin2.in un2bin3.in
euclid.dsc  1 euclid.sta euclid.abt euclid.rul euclid1.in euclid2.in euclid3.in euclid4.in euclid5.in
dummy.dsc   5 dummy.sta dummy.abt dummy.rul dummy1.in dummy2.in