Turing-recognizable language

From Wikipedia, the free encyclopedia

#redirect Recursively enumerable language