Részleges automata - nagy körű enciklopédia az olajról és a gázról, cikk, 1. oldal
Részleges automatikus
A részleges automata olyan absztrakt automatika, amelynek átmeneti függvénye vagy kimeneti funkciója (normál vagy eltolt), vagy mindkettő nincs definiálva argumentumaik és értékeik minden párjára. [1]
A megfelelő részleges automata felvétele. ahol ezek az átmenetek és kilépések egyáltalán nincsenek meghatározva, ezért fenntartjuk magunknak a jogot, hogy utólag olyan módon határozzuk meg, ahogyan nekünk alkalmas lenne. [2]
A részleges automatákhoz ugyanazokat a hozzárendelési módszereket alkalmazzák, mint a teljesen definiált automaták esetében. Az átmeneti táblában vagy a kimeneti táblában (normál vagy eltolt), ahol az általuk képviselt funkciók nincsenek definiálva, vonalakat fogunk rajzolni. A részleges automata gráfjának csúcsai lehetnek, amelyekből ezek a vagy más bemeneti jelek nem jelennek meg. [3]
A részleges Moore automaták esetében természetes, hogy tiltott minden olyan állapotot, amelyre a eltolódott kimeneti funkció nincs definiálva. Könnyű megérteni, hogy ha a kezdeti állapotból egy meg nem engedett szó befolyása alatt tilos, Moore automatája csak abban az esetben lehetséges, ha ez a szó tilos. [4]
A részleges Miley és Moore automaták esetében a kérdéses táblázatokban egy kötőjelet helyeznek el az indefinite állapotok és a kimeneti jelek helyett. [5]
A részleges automata esetében az automata ekvivalenciáját és izomorfizmusa mellett gyakran használják az automata ekvivalens és izomorfikus kiterjesztésének fogalmát. [6]
A probléma lényege, hogy minimalizálja a részleges gép a következő: mivel a részleges automatikus (Moore vagy Lisztes) A kiváltása részleges automata leképezés f meghatározott egy sor M bemeneti ábécé szó. Felépítéséhez szükséges részleges automatát (Moore vagy Lisztes -kal), ami indukálja részleges automata leképezés, hogy megfeleljen a készlet M a térképészeti f és a legkisebb számú belső állapotait minden automata (Moore vagy Lisztes), amely megfelel ennek a feltételnek. [7]
A részleges automatákkal ellentétben. A fent említett automatákat teljesen meghatározónak nevezik. [8]
Részleges automata esetében a / -kompatibilitási viszonyhoz tartozó átjárhatósági tulajdonság általánosságban nem érvényes. [9]
A részleges automaták esetében a helyzet sokkal bonyolultabb: az ososztályok és a normál forma kialakításával a minimalizálás nem zárul le. [10]
Ha egy tetszőleges részleges átmeneti funkciója az automata lisztes nem tekinthető adott minden pontján, amelyben meghatározzuk, hogy, hogy a kimeneti függvény merült fel tehát új részleges Mealy B indukál, azonos részleges leképezés, hogy az automatikus A. [11]
A részleges Moore automaton által kiváltott részleges térkép megváltoztatása nélkül feltételezhetjük, hogy az automata átmeneti funkciója meghatározatlan, ha tiltott értéket vesz fel. [12]
Mint teljesen meghatározott automaták, a részleges automata is az első és a második típusú automata, a Mili automata és a Moore automata automatákra oszlik. Izomorfizmus részleges automaták biztosít egy izomorf leképezés megfelelő térkép a beállított értékek, amelyekben az átmeneti függvény nincs definiálva, vagy kimenetek (normál vagy eltolt) egy gép, hogy több értéket, amelyek nem definiált megfelelő funkciók egy másik gép. [13]
Megjegyezzük, hogy a részleges automaták szintézise nem különbözik a fent leírtak közül. A kódolt átmeneti és kimeneti táblákban nem szereplő részleges automaton bemeneti jelek és belső állapotok kombinációi esetén a gerjesztési funkciók értékei önkényesen választhatók. [15]
Oldalak: 1 2 3 4