Decidability

xiaoxiao2021-03-06  55

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 isboth Turing-recognizable and co-Turing Recognizable

A (tm) is not Turing Recognizable.

转载请注明原文地址:https://www.9cbs.com/read-116720.html

New Post(0)