Összehasonlítás
A kiválasztott és az jelenlegi változat között az alábbi különbségek fordulnak elő:
| Következő változat | Előző változat |
| szakdoli:zsakutca [2015/11/24 15:10] – létrehozva peter | szakdoli:zsakutca [2015/12/04 13:50] (aktuális) – [A zsákutca mentesítés alkalmazása] peter |
|---|
| |
| ===== A zsákutca mentesítés alkalmazása ===== | ===== A zsákutca mentesítés alkalmazása ===== |
| A redukálás végrehajtásához kapcsoljuk be a „Redukálás” kapcsolót. A szabály végrehajtása a „feldolgozás” gomb megnyomására történik. A szabály lefutása során kiírja az indulási állapotot és a lefutás utáni eredmény állapotot. | A szabály hosszredukció végrehajtásához adjuk hozzá a "Feldolgozás műveletei" listához a „Zsákutca mentesítés” kapcsolót. A szabály végrehajtása a „feldolgozás” gomb megnyomására történik. A szabály lefutása során kiírja az indulási állapotot és a lefutás utáni eredmény állapotot. |
| |
| |
| |
| ===== A zsákutca mentesítés folyamata ===== | ===== A zsákutca mentesítés folyamata ===== |
| A redukálás folyamán a szabály halmazból eltávolítjuk azokat a szabályokat, amelyeket a kezdő állapotból kiindulva nem tudunk elérni, így nincsenek használva a feldolgozás során.\\ \\ Figyelem: A következő egyszerűsített feltételezést nem jelenthetjük ki: van olyan NT elem a szabályok között, amelyik egyik szabály jobb oldalán sem található. Ha találunk ilyent, akkor a hozzá tartozó összes szabályt törölhetjük.\\ \\ Az előző mondatok azért nem állják meg a helyüket, illetve rossz redukáláshoz vezetnének, mert ha van két NT szabály amelyek egymásra mutatnak, de nincsenek kapcsolatuk a kezdő szimbólummal, akkor Ők az előző feltételezés szerint megmaradnának, de egy valóságos redukálás esetén mindkettőt törölni kell!\\ \\ | A zsákutca mentesítés folyamán a szabály halmazból eltávolítjuk azokat a szabályokat, amelyeket a kezdő állapotból kiindulva nem tudunk elérni, így nincsenek használva a feldolgozás során.\\ \\ Figyelem: A következő egyszerűsített feltételezést nem jelenthetjük ki: van olyan NT elem a szabályok között, amelyik egyik szabály jobb oldalán sem található. Ha találunk ilyent, akkor a hozzá tartozó összes szabályt törölhetjük.\\ \\ Az előző mondatok azért nem állják meg a helyüket, illetve rossz zsákutca mentesítéshez vezetnének, mert ha van két NT szabály amelyek egymásra mutatnak, de nincsenek kapcsolatuk a kezdő szimbólummal, akkor Ők az előző feltételezés szerint megmaradnának, de egy valóságos zsákutca mentesítés esetén mindkettőt törölni kell!\\ \\ |
| === Példa a szabály alkalmazására === | === Példa a szabály alkalmazására === |
| Kiinduló szabály halmaz:\\ | Kiinduló szabály halmaz:\\ |
