Sadržaj
8 odnosi: Deterministički konačni automat, John Hopcroft, Konačni automat, Mealyev automat, Mooreov automat, Nedeterministički konačni automat, Poopćeni nedeterministički konačni automat, Tablica prijelaza stanja.
- Računski modeli
Deterministički konačni automat
U teoriji izračunljivosti, deterministički konačni automat (DKA) je konačni automat u kojem za svaki par stanja i ulaznog znaka postoji jedan i samo jedan prijelaz u sljedeće stanje.
Pogledaj Dijagram stanja i Deterministički konačni automat
John Hopcroft
John Edward Hopcroft (Seattle, 7. listopada, 1939.) je istaknuti američki teoretski računalni znanstvenik.
Pogledaj Dijagram stanja i John Hopcroft
Konačni automat
Konačni automat (još i konačni stroj, automat konačnih stanjaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 389) je diskretni matematički model koji se sastoji od konačnog broja stanja, prijelaza između tih stanja, i akcija koje obavlja.
Pogledaj Dijagram stanja i Konačni automat
Mealyev automat
U teoriji izračunljivosti, Mealyev automat (ili Mealyev stroj) je vrsta konačnog automata čija je funkcija izlaza pridružena trenutnom stanju i ulaznom znaku (simbolu).
Pogledaj Dijagram stanja i Mealyev automat
Mooreov automat
U teoriji izračunljivosti, Mooreov automat (ili Mooreov stroj) je konačni automat u kojem je izlazna funkcija pridružena isključivo trenutnom stanju stroja, i ne ovisi o ulazu.
Pogledaj Dijagram stanja i Mooreov automat
Nedeterministički konačni automat
U teoriji izračunljivosti, nedeterministički konačni automat (NKA) (još i nedeterministički konačni strojKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 660) je konačni automat u kojem za svaki par stanja i ulaznog znaka (simbola) može postojati nekoliko mogućih sljedećih stanja.
Pogledaj Dijagram stanja i Nedeterministički konačni automat
Poopćeni nedeterministički konačni automat
U teoriji izračunljivosti, poopćeni nedeterministički konačni automat (PNKA) je NKA u kojem svaki prijelaz može biti označen regularnim izrazom.
Pogledaj Dijagram stanja i Poopćeni nedeterministički konačni automat
Tablica prijelaza stanja
U teoriji automata i sekvencijalnoj logici, tablica prijelaza (stanja) je tablica koja pokazuje u koje stanje (ili stanja u slučaju nedeterminističkog konačnog automata) konačni automat prelazi, ovisno o trenutnom stanju i drugim ulazima.
Pogledaj Dijagram stanja i Tablica prijelaza stanja
Vidi također
Računski modeli
- Alternirajući Turingov stroj
- Apstraktni stroj
- Automat s ugniježđenim stogom
- Denotacijska semantika
- Deterministički potisni automat
- Dijagram stanja
- Lambda račun
- Linearno ograničen automat
- Mealyev automat
- Model računanja
- Petrijeve mreže
- Potisni automat
- Probabilistički Turingov stroj
- Računski model
- Stanje (računarstvo)
- Turingov stroj
- Zenonov stroj
Također poznat kao Dijagram prijelaznih stanja, Grafikon prijelaznih stanja, Shematski prikaz prijelaznih stanja.