Logika, zadanie nr 1919

Autor	Zadanie / Rozwiązanie
falkapp postów: 6	2014-01-15 16:02:53 Stworzyc maszyne Turinga M, ktora obliczy funkcje czesciowa $f : N x N \rightarrow N$ dla f(x1,x1) = x1 - x2. Dodatkowo: a) podac dla pelnej definicji M zbior stanow maszyny Q, zbior symboli tasmowych $\Gamma $ i funkcje $\delta $. b) zademonstrowac dzialanie tej maszyny dla x1 = 12 i x2 = 9. c) dlaczego jest to funkcja czesciowa? Opisac dziedzine formalnie i wytlumaczyc, jak bedzie sie zachowywac ta maszyna dla pary liczb nie nalezacych do dziedziny. Bede wdzieczna za pomoc! Wiadomość była modyfikowana 2014-01-15 16:03:19 przez falkapp

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj