Obsah
3 vzťahy: Prechodová funkcia, Rekurzívne vyčísliteľný jazyk, Teória formálnych jazykov.
- Alan Turing
- Formálne jazyky
- Teória automatov
- Teoretická počítačová veda
- Vyčísliteľnosť
Prechodová funkcia
Prechodová funkcia môže byť.
Pozrieť Turingov stroj a Prechodová funkcia
Rekurzívne vyčísliteľný jazyk
Trieda rekurzívne vyčísliteľných jazykov je triedou jazykov generovaných frázovými gramatikami.
Pozrieť Turingov stroj a Rekurzívne vyčísliteľný jazyk
Teória formálnych jazykov
Teória formálnych jazykov je teoretická disciplína informatiky študujúca vlastnosti (formálnych) jazykov a modelov na ich opis: gramatík a automatov.
Pozrieť Turingov stroj a Teória formálnych jazykov
Pozri tiež
Alan Turing
- Alan Turing
- Rekurzívne vyčísliteľný jazyk
- Turingov stroj
- Turingov test
- Turingova cena
Formálne jazyky
- Abeceda (teória automatov)
- Bezkontextová gramatika
- Chomského hierarchia
- Dôkaz (logika)
- Dyckov jazyk
- Formálny jazyk
- Gramatika (informatika)
- Kontextová gramatika
- Kontextový jazyk
- Regulárna gramatika
- Regulárny výraz
- Rekurzívne vyčísliteľný jazyk
- Syntaktický diagram
- Turingov stroj
- Značkovací jazyk
Teória automatov
- Gramatika (informatika)
- Regulárny výraz
- Sekvenčný obvod
- Teória automatov
- Turingov stroj
- Zásobníkový automat
Teoretická počítačová veda
- Algoritmus
- Formálny jazyk
- Gödelova cena
- Knuthova cena
- Lambda kalkul
- Rekurzia (informatika)
- Teoretická informatika
- Turingov stroj