Hyödytön säännöt

Teoreettisen tietojenkäsittelyopin, erityisesti teorian virallista kieltä, hyödytön sääntöjen muodollinen kielioppi ovat ne säännöt symboli tuotantovälineitä saavuttamattomissa tai tuottamatonta, että on, että voi tai tarvitse koskaan soveltaa.

Määritelmä

Koska yhteydetön kielioppi, nonterminal symboli X kutsutaan tuottavia, tai tuottavan, jos on johdettu X ⇒ w joitakin merkkijono w päätemerkkejä. Nonterminal symboli X kutsutaan tavoitettavissa jos on johdettu S ⇒ αXβ joillekin jousille α, β ei-terminaalin ja päätemerkkejä, ja missä S tarkoittaa kielioppi alku- symboli.

Sääntö tuottamattomana tai saavuttamaton symboli sen vasemmalla puolella voidaan poistaa kieliopista muuttamatta hyväksytty kieli. Samoin vaihtoehto sisältää tällaisen tunnuksen voidaan poistaa oikealla puolella sääntö muuttamatta kieli. Tällaiset säännöt ja vaihtoehtoja kutsutaan hyödytön.

Sillä kielioppeja jotka eivät ole yhteydetön, samanlainen määritelmiä sovelletaan.

Esimerkit

Ilmaiseva nonterminal ja terminaali symbolien isoja ja pieniä kirjaimia, vastaavasti, säännöllisten kieliopin alkumerkistä S

nonterminal D on saavuttamaton, ja E on tuottamatonta. Näin ollen jättämällä kaksi viimeistä sääntöjä ei muuta hyväksymällä kielellä kielioppi, eikä jättämällä vaihtoehto "| Ee" oikealta puolella sääntö S.

Puhdistus Hyödytön Säännöt

Hopcroft, et ai. Esitä algoritmi poistaa hyödytön sääntöjä yhteydetön kielioppi.

Aiken ja Murphy antaa Fixpoint algoritmi havaita joka välikkeitä tietyn säännöllinen puu kieliopin ovat tuottamattomia.

(0)
(0)
Seuraava artikkeli NXIVM

Kommentit - 0

Ei kommentteja

Lisääkommentti

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Merkkiä jäljellä: 3000
captcha