Felhasználói eszközök

Eszközök a webhelyen


szakdoli:lancszabaly

Ez a dokumentum egy előző változata!


Szakdolgozat: Véges automaták és reguláris nyelvek kapcsolata

Láncszabály mentesítés

A szabály alkalmazása

A szabály folyamata

Minden egyes szabályt végig kjell vizsgálni, hogy van-e köztük olyan, amelynek bal és jobb oldalán is csak egy NT elem található. Ha találtunk ilyen szabályt, akkor úgy alakítjuk át a szabályt, hogy a jobb oldalon található NT elem összes szabályát létrehozzuk a bal oldalon szereplő NT-al.

Pl.:
A → B | Ca
B → c | d

Átalakítás után a következő szabály képződik:
A → c | d | Ca
B → c | d

Ezt a folyamatot addig hajtjuk végre, ameddig el nem fogynak az átalakítandó szabályok. A végrehajtás sorrendje nem számít mivel tetszőleges sorrendben végrehajtva a műveletet ugyanarra az eredményre fogunk jutni!

Megjegyzés: előfordulhat, hogy egy átalakítás eredményeként ugyanahhoz a bal oldali NT-hez egy másik de szintén átalakítandó szabály jön létre. Természetesen akkor az így létrejövő új szabályon a műveletet végre kell hajtani. A pontos működés érdekében mindig a teljes szabályhalmazt kell ellenőrizni és nem csak a maradék szabályokat!

szakdoli/lancszabaly.1448293754.txt.gz · legutóbbi módosítás: (külső szerkesztés)