Turing-acceptable language