tiz vaje 2 (navodila na https://ucilnica.fmf.uni-lj.si/pluginfile.php/188561/mod_resource/content/4/TIZ-vaje-02.pdf):

2.1 (ni se mi ljubilo prevajati 2tape na 1tape)

<pre>
name: ex2.1
init: right
accept: accept

//-------DELTA FUNCTION:

right,0,_
right,0,_,>,-

right,0,1
right,0,1,>,-

right,1,_
right,1,1,>,>

right,_,_
left,_,_,<,<

left,0,1
left,0,1,<,<

left,1,_
left,1,_,<,-

left,1,1
left,1,1,<,-

left,_,_
accept,_,_,-,-
</pre>

2.2

<pre>
name: ex2.2
init: copya
accept: accept

//-------DELTA FUNCTION:

copya,0,_,_
copya,_,0,_,>,>,-

copya,1,_,_
copya,_,1,_,>,>,-

copya,+,_,_
copyb,_,_,_,>,-,-

copyb,0,_,_
copyb,_,_,0,>,-,>

copyb,1,_,_
copyb,_,_,1,>,-,>

copyb,_,_,_
sum,_,_,_,-,<,<

sum,_,0,0
sum,0,_,_,<,<,<

sum,_,_,0
sum,0,_,_,<,<,<

sum,_,0,_
sum,0,_,_,<,<,<

sum,_,0,1
sum,1,_,_,<,<,<

sum,_,1,0
sum,1,_,_,<,<,<

sum,_,_,1
sum,1,_,_,<,<,<

sum,_,1,_
sum,1,_,_,<,<,<

sum,_,1,1
sumcarry,0,_,_,<,<,<

sumcarry,_,0,0
sum,1,_,_,<,<,<

sumcarry,_,0,_
sum,1,_,_,<,<,<

sumcarry,_,_,0
sum,1,_,_,<,<,<

sumcarry,_,0,1
sumcarry,0,_,_,<,<,<

sumcarry,_,1,0
sumcarry,0,_,_,<,<,<

sumcarry,_,_,1
sumcarry,0,_,_,<,<,<

sumcarry,_,1,_
sumcarry,0,_,_,<,<,<

sumcarry,_,1,1
sumcarry,1,_,_,<,<,<

sumcarry,_,_,_
sum,1,_,_,<,-,-

sum,_,_,_
moveandaccept,_,_,_,>,-,-

moveandaccept,0,_,_
accept,0,_,_,-,-,-

moveandaccept,1,_,_
accept,1,_,_,-,-,-
</pre>

2.3 it semidecides the language {} (empty set)

2.4
<pre>
name: ex2.4
init: copya
accept: accept

//-------DELTA FUNCTION:

copya,0,_,_
copya,0,0,_,>,>,-

copya,1,_,_
copya,1,1,_,>,>,-


// ta enka tu je za a := a*2+1
copya,_,_,_
return,_,1,_,<,>,-

return,0,_,_
return,0,_,_,<,-,-

return,1,_,_
return,1,_,_,<,-,-

return,_,_,_
copyb,_,_,_,>,-,-

copyb,0,_,_
copyb,_,_,0,>,-,>

copyb,1,_,_
copyb,_,_,1,>,-,>

copyb,_,_,_
sum,_,_,_,-,<,<

sum,_,0,0
sum,0,_,_,<,<,<

sum,_,_,0
sum,0,_,_,<,<,<

sum,_,0,_
sum,0,_,_,<,<,<

sum,_,0,1
sum,1,_,_,<,<,<

sum,_,1,0
sum,1,_,_,<,<,<

sum,_,_,1
sum,1,_,_,<,<,<

sum,_,1,_
sum,1,_,_,<,<,<

sum,_,1,1
sumcarry,0,_,_,<,<,<

sumcarry,_,0,0
sum,1,_,_,<,<,<

sumcarry,_,0,_
sum,1,_,_,<,<,<

sumcarry,_,_,0
sum,1,_,_,<,<,<

sumcarry,_,0,1
sumcarry,0,_,_,<,<,<

sumcarry,_,1,0
sumcarry,0,_,_,<,<,<

sumcarry,_,_,1
sumcarry,0,_,_,<,<,<

sumcarry,_,1,_
sumcarry,0,_,_,<,<,<

sumcarry,_,1,1
sumcarry,1,_,_,<,<,<

sumcarry,_,_,_
sum,1,_,_,<,-,-

sum,_,_,_
moveandaccept,_,_,_,>,-,-

moveandaccept,0,_,_
accept,0,_,_,-,-,-

moveandaccept,1,_,_
accept,1,_,_,-,-,-
</pre>

2.5

<pre>
name: ex2.5
init: init
accept: accept

init,0,_,_
init,_,_,_,>,-,-

init,1,_,_
firstisone,1,_,_,>,-,-

firstisone,_,_,_
accept,_,_,_,-,-,-

firstisone,0,_,_
even,0,_,_,<,-,-

firstisone,1,_,_
odd,1,_,_,<,-,-

even,0,_,_
even,0,_,_,>,-,-

even,1,_,_
odd,1,_,_,>,-,-

odd,0,_,_
even,0,_,_,>,-,-

odd,1,_,_
odd,1,_,_,>,-,-

odd,_,_,_
returnodd,_,_,_,<,-,-

returnodd,0,_,_
returnodd,0,_,_,<,-,-

returnodd,1,_,_
returnodd,1,_,_,<,-,-

returnodd,_,_,_
copya,_,_,_,>,-,-

even,_,_,_
dividebytwo,_,_,_,<,-,-

dividebytwo,0,_,_
returntoinit,_,_,_,<,-,-

returntoinit,0,_,_
returntoinit,0,_,_,<,-,-

returntoinit,1,_,_
returntoinit,1,_,_,<,-,-

returntoinit,_,_,_
init,_,_,_,>,-,-

copya,0,_,_
copya,0,0,_,>,>,-

copya,1,_,_
copya,1,1,_,>,>,-


// ta enka tu je za a := a*2+1
copya,_,_,_
return,_,1,_,<,>,-

return,0,_,_
return,0,_,_,<,-,-

return,1,_,_
return,1,_,_,<,-,-

return,_,_,_
copyb,_,_,_,>,-,-

copyb,0,_,_
copyb,_,_,0,>,-,>

copyb,1,_,_
copyb,_,_,1,>,-,>

copyb,_,_,_
sum,_,_,_,-,<,<

sum,_,0,0
sum,0,_,_,<,<,<

sum,_,_,0
sum,0,_,_,<,<,<

sum,_,0,_
sum,0,_,_,<,<,<

sum,_,0,1
sum,1,_,_,<,<,<

sum,_,1,0
sum,1,_,_,<,<,<

sum,_,_,1
sum,1,_,_,<,<,<

sum,_,1,_
sum,1,_,_,<,<,<

sum,_,1,1
sumcarry,0,_,_,<,<,<

sumcarry,_,0,0
sum,1,_,_,<,<,<

sumcarry,_,0,_
sum,1,_,_,<,<,<

sumcarry,_,_,0
sum,1,_,_,<,<,<

sumcarry,_,0,1
sumcarry,0,_,_,<,<,<

sumcarry,_,1,0
sumcarry,0,_,_,<,<,<

sumcarry,_,_,1
sumcarry,0,_,_,<,<,<

sumcarry,_,1,_
sumcarry,0,_,_,<,<,<

sumcarry,_,1,1
sumcarry,1,_,_,<,<,<

sumcarry,_,_,_
sum,1,_,_,<,-,-

sum,_,_,_
moveandaccept,_,_,_,>,-,-

moveandaccept,0,_,_
accept,0,_,_,-,-,-

moveandaccept,1,_,_
init,1,_,_,-,-,-
</pre>

2.6 ne znam rešiti