Logo
Uniepedie
Sdělení
Nyní na Google Play
Nový! Ke stažení Uniepedie na vašem zařízení se systémem Android™!
Bezplatná
Rychlejší přístup než prohlížeči!
 

Zásobníkový automat

Index Zásobníkový automat

Zásobníkový automat (PDA z anglického pushdown automaton) je teoretický výpočetní model používaný v informatice pro studium vyčíslitelnosti a obecně formálních jazyků.

20 vztahy: Abeceda, Řecká abeceda, Bezkontextový jazyk, Delta (písmeno), Formální jazyk, Informatika, Kartézský součin, Konečný automat, Množina, Počítač, Počítačový program, Regulární jazyk, Teorie vyčíslitelnosti, Turingův stroj, Uspořádaná n-tice, Výpočetní model, Zásobník (datová struktura), Zásobníkový počítač, Závorky, Zobrazení (matematika).

Abeceda

Vzorník písma Abeceda, řídce i „alfabeta“, je uspořádaná sada znaků – písmen, jimiž se při zápisu řeči, v písmu graficky vyjadřují fonémy, zpravidla hlásky (některé jen souhlásky) a případně slabiky.

Nový!!: Zásobníkový automat a Abeceda · Vidět víc »

Řecká abeceda

#PŘESMĚRUJ Řecké písmo.

Nový!!: Zásobníkový automat a Řecká abeceda · Vidět víc »

Bezkontextový jazyk

Bezkontextový jazyk je formální jazyk, který je akceptovaný nějakým zásobníkovým automatem.

Nový!!: Zásobníkový automat a Bezkontextový jazyk · Vidět víc »

Delta (písmeno)

Delta — majuskulní i minuskulní varianta Delta (majuskulní podoba Δ, minuskulní podoba δ, řecký název Δέλτα) je čtvrté písmeno řecké abecedy.

Nový!!: Zásobníkový automat a Delta (písmeno) · Vidět víc »

Formální jazyk

Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou.

Nový!!: Zásobníkový automat a Formální jazyk · Vidět víc »

Informatika

Informatika je obor lidské činnosti, který se zabývá pojmem informace a přenosem a zpracováním informace.

Nový!!: Zásobníkový automat a Informatika · Vidět víc »

Kartézský součin

Ilustrace kartézského součinu A \times B množin A.

Nový!!: Zásobníkový automat a Kartézský součin · Vidět víc »

Konečný automat

Konečný automat (KA, též FSM z anglického finite state machine, či DFA z anglického deterministic finite automaton) je teoretický výpočetní model používaný v informatice pro studium formálních jazyků.

Nový!!: Zásobníkový automat a Konečný automat · Vidět víc »

Množina

Množiny Množina je soubor objektů, chápaný jako celek.

Nový!!: Zásobníkový automat a Množina · Vidět víc »

Počítač

Počítač je číslicový elektronický stroj, který lze naprogramovat tak, aby automaticky prováděl posloupnosti aritmetických nebo logických operací (výpočty).

Nový!!: Zásobníkový automat a Počítač · Vidět víc »

Počítačový program

Počítačový program (též jen program, obecně pak software) je v informatice posloupnost instrukcí (ne nutně strojových instrukcí), která popisuje realizaci dané úlohy počítačem.

Nový!!: Zásobníkový automat a Počítačový program · Vidět víc »

Regulární jazyk

Regulární jazyky jsou nejjednodušší formální jazyky v rámci Chomského hierarchie.

Nový!!: Zásobníkový automat a Regulární jazyk · Vidět víc »

Teorie vyčíslitelnosti

Teorie vyčíslitelnosti je obor na pomezí matematiky a informatiky, který zkoumá otázky algoritmické řešitelnosti problémů.

Nový!!: Zásobníkový automat a Teorie vyčíslitelnosti · Vidět víc »

Turingův stroj

Umělecké znázornění Turingova stroje Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem, který se používá pro modelování algoritmů v teorii vyčíslitelnosti.

Nový!!: Zásobníkový automat a Turingův stroj · Vidět víc »

Uspořádaná n-tice

Jako uspořádaná n-tice se v matematice označuje uspořádaný seznam konečného počtu n objektů (je proto možné se také setkat s pojmy jako uspořádaná k-tice apod., konkrétní varianty se pak nazývají uspořádané dvojice, uspořádané trojice atd.). Zapisuje se obvykle jako seznam těchto prvků, uzavřený do kulatých závorek.

Nový!!: Zásobníkový automat a Uspořádaná n-tice · Vidět víc »

Výpočetní model

#PŘESMĚRUJ Výpočetní model (teorie algoritmů).

Nový!!: Zásobníkový automat a Výpočetní model · Vidět víc »

Zásobník (datová struktura)

Princip zásobníku Zásobník je v informatice obecná datová struktura (tzv. abstraktní datový typ) používaná pro dočasné ukládání dat.

Nový!!: Zásobníkový automat a Zásobník (datová struktura) · Vidět víc »

Zásobníkový počítač

Zásobníkový počítač je výpočetní stroj pracující pouze s celými čísly a oproti běžným počítačům má velká omezení v práci s paměťovými buňkami.

Nový!!: Zásobníkový automat a Zásobníkový počítač · Vidět víc »

Závorky

Závorky jsou interpunkční znaménka používaná v textu nejčastěji pro vyznačení vsuvek nebo vět vložených komentujících hlavní větu.

Nový!!: Zásobníkový automat a Závorky · Vidět víc »

Zobrazení (matematika)

Zobrazení je v matematice speciálním případem binární relace, u které má každý vzor nejvýše jeden obraz.

Nový!!: Zásobníkový automat a Zobrazení (matematika) · Vidět víc »

Přesměrování zde:

Deterministický zásobníkový automat.

OdchozíPřicházející
Ahoj! Jsme na Facebooku teď! »