maszyna truringa algorytm obliczający funkcje

Question

Czy ktoś może podpowiedzieć algorytm maszyny turinga obliczający funkcje funkcji logicznej f(R,T,S)=R∨T⊕S zapisujący wynik w ostatniej komórce ( np # 1 1 1 0 # )  argumenty funkcji mogą przyjąć tylko wartość 1 lub 0 a maszyna turinga # ,1 ,0

 

f(R,T,S)=R∨T⊕S

v - to alternatywa

⊕ - to suma modulo 2 (alternatywa rozłączna)

 

i czy dobrze to rozumiem powiedzmy dla argumentów przykładowych R=1 T=1 S=1 wynikiem funkcji funkcji logicznej f(R,T,S)=R∨T⊕S  będzie 0 gdyż na początku jest alternatywa R=1 T=1 wynik 1 następnie suma rozłączna (suma modulo 2) 1 i S=1 wynik to 0