Programming Language Theory ConceptDecidabilityProperties 4Hide BooksChapter 5. Types JourneyProgramming Language Theory Statusmastered Tagscomputation theorylogicA property of a problem or language where an algorithm exists that can always determine the correct yes/no answer in finite time for any input. Previous in ConceptsCursorNext in Concepts Decidable proposition