Gwajin logician jiha ya haifar da tabbacin cewa juyawanka jiha da sabuntawa sune daidai. Dabarun ya dogara ne akan yadda logician ke tsareki — ayyuka masu tsabta (reducers) sune mafi saukar a gwaji, don haka jiha mai kyau a hannu kuma jiha mai kyau a gwaji ne.
Gwaji murjan ayyuka masu tsabta kai tsaye (halayen mafi saukar da mafi girma)
(, {
(, {
initial = [];
next = (initial, { : , : { : , : } });
(next).([{ : , : }]);
(initial).([]);
});
});
