Sljedeće stranice povezuju na Teorija izračunljivosti:
Prikazano je 16 stavki.
- Formalni jezik (← poveznice)
- Deterministički konačni automat (← poveznice)
- Mooreov automat (← poveznice)
- Mealyev automat (← poveznice)
- Poopćeni nedeterministički konačni automat (← poveznice)
- Svojstvo napuhavanja (← poveznice)
- Stroj koji uvijek staje (← poveznice)
- Probabilistički Turingov stroj (← poveznice)
- Popis neodlučivih problema (← poveznice)
- Izračunljivost (← poveznice)
- Teorija izračunljivosti (razdvojba) (← poveznice)
- Problem odluke (← poveznice)
- Problem zaustavljanja (← poveznice)
- Klasa složenosti (← poveznice)
- Odlučivost (← poveznice)
- Kombinatorna logika (← poveznice)