91影视

A Turing Machine is computational model concept that runs on the unrestricted grammar of Type-zero. It accepts recursive enumerable language. It comprises of an infinite tape length where read and write operation can be perform accordingly.

We will try to convert $Th(N.<)intoTh(N,+)$which is decidable itself.

So, decidability of $Th\left(N,<\right)$can be established by converting sentence S2 of

language $Th\left(N,<\right)$into sentence over the language $Th\left(N,+\right)$.

So, we will going to replace $i<jinS1to鈭�k\left[\right(i+k=j)鈭�(k+k\left)\right]inS2$

Here, we use k which is a new variable.

We say S2 is equivalent to S2 because we have i < j which means that we can add a non-zero value in 鈥榠鈥� to get 鈥榡鈥�.

To prove decidability of Th ( N,+) , S2 is to be express in prenex-normal form.

In order to bring important qualifier in the front of sentence, the qualifiers are made to pass through Boolean operation which are in the sentence.

It is to be noted that when the quantifier are brought, (藙 and 藚) will stay same.

Thus, $卢鈭�K蠁$becomes $鈭赌k卢蠁and卢鈭赌蠁becomes鈭�k卢蠁$

This prove that .$Th\left(N,<\right)$