język rekurencyjnie przeliczalny
r.e.; język semirozstrzygalny
Język, dla którego istnieje maszyna Turinga akceptująca wszystkie jego słowa, lecz mogąca nie zatrzymać się dla słów spoza niego.
Karta hasła
- typobiekt
- nadrzklasa języków
- kat.Teoria informatyki · Matematyka dyskretna i teoria obliczeń · Teoria obliczalnosci
- grupaTeoria obliczalnosci
Zobacz też
- język rekurencyjnie przeliczalnyjęzyk rekurencyjny
- język rekurencyjnie przeliczalnyrozstrzygalność
Powiązane pojęcia · Matematyka dyskretna i teoria obliczeń
- 01liczba kardynalnaMiara mocy zbioru wyrażająca jego liczność, uogólniająca pojęcie liczby elementów na zbiory nieskończone.
- 02zbiór przeliczalnyZbiór równoliczny z pewnym podzbiorem liczb naturalnych, tj. skończony lub równoliczny ze zbiorem liczb naturalnych.
- 03kwantyfikatorOperator wiążący zmienną w formule, wyrażający zakres jej obowiązywania: ogólny (dla każdego) lub egzystencjalny (istnieje).
- 04logika pierwszego rzęduFOLSystem logiczny dopuszczający kwantyfikację po elementach dziedziny, z predykatami, funkcjami i relacjami, ale bez kwantyfikacji po zbiorach.
- 05predykatWyrażenie oznaczające relację lub własność elementów dziedziny, dające zdanie po podstawieniu argumentów.
- 06twierdzenie o zupełnościWynik stwierdzający, że każda formuła prawdziwa we wszystkich modelach teorii jest w niej dowodliwa.