Why is "accepted by TM with even number of states" a trivial property? – cs.stackexchange.com

L = { < M > $\mid$ L(M) is recognized by a T.M having even number of states }. Isn't L same as asking if L(M) is R.E ? How is it trivial ? In general I know what is the meaning of trivial property ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Artikel Terkait

0 Comment to "Why is "accepted by TM with even number of states" a trivial property? – cs.stackexchange.com"