Pracujeme na obnove aplikácie Unionpedia v Google Play Store
VychádzajúcePrichádzajúce
🌟Zjednodušili sme náš dizajn pre lepšiu navigáciu!
Instagram Facebook X LinkedIn

Turingov stroj

Index Turingov stroj

Turingov stroj (TS) je jeden z najdôležitejších modelov na opis formálnych jazykov.

Obsah

  1. 3 vzťahy: Prechodová funkcia, Rekurzívne vyčísliteľný jazyk, Teória formálnych jazykov.

  2. Alan Turing
  3. Formálne jazyky
  4. Teória automatov
  5. Teoretická počítačová veda
  6. 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

Formálne jazyky

Teória automatov

Teoretická počítačová veda

Vyčísliteľnosť