subrecursive — Từ điển tiếng Anh

Tính từ

1. Able to be expressed in a language or by a set of operations that is a proper subset of the expressiveness of a Turing machine.

   Cách dùng

   • not-comparable

   Ví dụ

   Thêm ví dụ (1)

   We also prove computability of F\o lner sets for a group that is extension of an amenable group with solvable word problem by a finitely generated group with computable F\o lner sets with subrecursive distortion function.