Testy pitab

$\frac{2}{2}$

Turing ${}^{}$

function gcd(a:integer; b:integer):integer;
var
    c:integer;
begin
  while b <> 0 do         {linie 4-5}
  begin
    if a >= b then        {linie 6-7}
      a := a - b          {linie 8-10}
    else
    begin
      c := b;             {linie 12-13}
      b := a;             {linie 14-15}
      a := c;             {linie 16-17}
    end;
  end;
  gcd := a;
end;

$p(n)$ to nie to samo co $p$ $P$

$\Rightarrow$	0	1
0	1	1
1	0	1

Zmienna	Zakres parametrów	Znaczenie
$H_{t,p}$	$0\le t\le T(n)$, $-T(n)\le p\le T(n)$	Głowica w chwili $t$ znajduje się w miejscu $p$.
$Q_{t,q}$	$0\le t\le T(n)$, $0\le q<|Q|$	Maszyna w chwili $t$ znajduje się w stanie $q$.
$S_{t,p,s}$	$0\le t\le T(n)$, $-T(n)\le p\le T(n)$, $0\le s<|\mathrm{\Sigma }|$	Na taśmie w chwili $t$ w miejscu $p$ znajduje się symbol $s$.

[[../Ćwiczenia 6#Zadanie 3|Zadaniu 3]]

przykładzie 3.21.

definicja 1.8.).