CSDN博客

img williamVII

Decidability

发表于2004/9/15 13:42:00  876人阅读

分类: Theory of Computation

Theorem:

A (DFA)  is a decidable language (accept)

Theorem:

       A (NFA) is a decidable language (accept)

Theorem:

       E (DFA) is a decidable language (empty)

Theorem:

       EQ (DFA) is a decidable language (equal)

Theorem:

       A (CFG) is a decidable language (accept)

Theorem:

       E (CFG) is a decidable language (empty)

 

Theorem:

       A (TM) is an undecidable language (accept)

       The diagonalization method

R is uncountable

 

Some language is not Turing recognizable

       The set of all Turing machines is countable

       The set of all languages is uncountable.

 

Theorem:

       A language is decidable if and only if it is both Turing-recognizable and co-Turing recognizable

       A(TM)    is not Turing recognizable.
0 0

相关博文

我的热门文章

img
取 消
img