---
tag: KX93ACCK7E
kind: concept
name: Turing recognizable set
sources:
  - wikipedia: en:43580500@r1360947732
    locator: Glossary of set theory, section T
    note: adopted
    mention: wikipedia://en/43580500#64E0
    sections: [Summary]
inventory: [M3ASH1ARA3]
---

## Summary

A set for which there exists a Turing machine that halts and accepts on any input in the set, but may either halt and reject or run indefinitely on inputs not in the set.