ilo pi jan Tuwin

ni li ilo pi jan Tuwin lon ma. jan Ma Dapi li pana e ni. taso la, ilo lon li ken wile e sona mute; ilo lon ma la, sona li pini.

ilo pi jan Tuwin (toki Inli: Turing machine) li kon ilo pi sona nanpa^(?) li toki e ilo kon. lawa la, ona li ante e sitelen lon linja. ona li pali e nasin ilo^(?) ale, taso ona li pona.

ilo ni li pali lon linja pi pini ala. linja ni li kipisi tawa poki ante mute. poki ni li jo e sitelen wan tan kulupu sitelen. ilo li jo e lawa. tenpo la, lawa ni li lon poki. ona li jo e ma tan kulupu ma. tenpo pali la, lawa ni li lukin e sitelen lon poki. sitelen lon en ma lon la, ilo li sitelen e sitelen lon poki sama. tenpo poka la, ilo li ante e tawa soto, li ante e tawa teje anu li pake. ma lon en sitelen lukin la, lipu pini li nasin. sama nasin pi ilo sona lon la, ilo pi jan Tuwin li ken sike pi pini ala li ken pake ala.

tenpo sike 1936 la, jan Alan Tuwin li pali e ilo ni. kon ni la, jan Tuwin li ken toki pi lon ala e toki seme tu ni:

• ilo li ken lukin e ilo ale ni: ni li ken sike pi pini ala la, ilo ni li lon ala lon?
• ilo li ken lukin e ilo ale ni: ni li wile sitelen e sitelen lawa lon linja la, ilo ni lon ala lon?

ona li toki pi sona nanpa e ilo pona la, ona li ken lon e lon pi nanpa pali; kin la, ona li ken lon e seme Ensatun (anu seme pi kipisi sona) pi nanpa pali ala (ni seme li ken lon anu ken lon ala e toki pi sona nanpa ale).

ilo ni li lon e lon ni: wawa pi nanpa pali ilo li pini noka.

kon kiwen

ilo pi jan Tuwin (linja wan) li kon kiwen e kulupu nasin^(?) pi ijo 7 $M=\langle Q,\Gamma ,b,\Sigma ,\delta ,q_{0},F\rangle$ ni:

• kulupu $Q$ li pini taso weka ala li kulupu ma;
• kulupu $\Gamma$ li pini taso weka ala li kulupu pi sitelen lon linja;
• sitelen $b\in \Gamma$ li sitelen weka (sitelen ni taso li sin pi pini ala);
• kulupu $\Sigma \subseteq \Gamma \setminus \{b\}$ li kulupu pi sitelen pana li pona lon linja;
• pali nanpa lili^(?) ${\displaystyle \delta$ :(Q\setminus F)\times \Gamma \rightharpoonup Q\times \Gamma \times \{L,R\}} li toki e pali ma, ni la, L li ante soto en R li ante teje. pali ma $\delta$ li kon ala lon ma lon lon sitelen lon la, ilo li pake.
• ma $q_{0}\in Q$ li ma open;
• kulupu $F\subseteq Q$ li kulupu pi ma pini anu kulupu pi ma pona. ilo $M$ li pake lon ma pi lon kulupu $F$ la, ilo ni li pona e linja open.

ilo ante li pona e "ante ala". ni li toki e N la, ona li ijo tu wan lon kulupu nasin $\{L,R\}$.

nasin ilo Pusipiwa pi ma 3. ijo pimeja li sitelen e ma pi lawa lon; leko kule li sitelen e sitelen 0 (jelo) e sitelen 1 (walo); tenpo li tawa anpa la, ma PAKE li lon anpa.

kulupu nasin pi ijo 7 la, nasin ilo Pusipiwa^(?) li ni:

• kulupu $Q=\{{\mbox{A}},{\mbox{B}},{\mbox{C}},{\mbox{PAKE}}\}$ (ma);

• kulupu $\Gamma =\{0,1\}$ (sitelen lon linja);
• sitelen $b=0$ (sitelen weka);
• kulupu $\Sigma =\{1\}$ (sitelen pana);
• pali nanpa lili $\delta =$ o lukin e lipu anpa (pali ma).
• ma $q_{0}={\mbox{A}}$ (ma open);
• kulupu $F=\{{\mbox{PAKE}}\}$ (ma pini);

open la, poki ale lon linja li sitelen e 0.

lipu ma pi nasin ilo Pusipiwa ma 3 sitelen 2

sitelen lon linja	ma lon A			ma lon B			ma lon C
	o sitelen	o ante linja	o ante ma	o sitelen	o ante linja	o ante ma	o sitelen	o ante linja	o ante ma
0	1	R	B	1	L	A	1	L	B
1	1	L	C	1	R	B	1	R	PAKE