100% tevredenheidsgarantie Direct beschikbaar na betaling Zowel online als in PDF Je zit nergens aan vast
logo-home
Eerder door jou gezocht
Eerder door jou gezocht
logo
Samenvatting Hoofdstuk 7: Pushdown Automaten €3,48   In winkelwagen
Snel navigeren naar
Voorbeeld
  2.  
  3. Vrije Universiteit Brussel (VUB)
  4.  
  5. Computerwetenschappen
  6.  
  7. Automaten en Berekenbaarheid

Samenvatting

Samenvatting Hoofdstuk 7: Pushdown Automaten
 7 keer bekeken  0 keer verkocht

Dit is de samenvatting van het zevende hoofdstuk van het vak Automaten en Berekenbaarheid. In deze samenvatting werd alle relevante informatie uit de slides alsook uit eigen notities opgenomen. Eindresultaat: 16/20

Voorbeeld 2 van de 8  pagina's

Document informatie

  • Nee
  • Chapter 7
  • 29 juli 2022
  • 8
  • 2020/2021
  • Samenvatting

Onderwerpen

Gekoppeld boek

book image

Titel boek:

Auteur(s):

  • Uitgave:
  • ISBN:
  • Druk:

Meer samenvattingen voor studieboek

Alles voor dit studieboek (11)

Geschreven voor

Alle documenten voor dit vak (12)

Verkoper

avatar-seller
lennyS

Ontvangen beoordelingen

Voorbeeld van de inhoud

Hoofdstuk 7: Pushdown automaten
1 Automaten voor context-vrije talen
Voorbeelden:
𝐿 = {𝑎𝑛 𝑏𝑛 |𝑛 ≥ 0} → eindig geheugen is niet geschikt om bij te houden hoe veel a’s er tot nu toe
verwerkt zijn en dan even veel b’s toe te voegen.
𝐿 = {𝑤𝑤 𝑅 |𝑤 ∈ {𝑎, 𝑏}} → we hebben de mogelijkheid nodig om de sequentie karakters op te slaan
en in omgekeerde volgorde opnieuw te overlopen

Het idee:
Voeg een stack (vorm van geheugen) toe aan de
automaten die we tot nu toe gebruikt hebben

2 Nondeterministic pushdown
accepter (npda)
Definitie:
Een niet-deterministische pushdown accepter (npda)
wordt gedefinieerd door het tuple 𝑀 =
(𝑄, Σ, Γ, δ, 𝑞0 , 𝑧, 𝐹). Hierbij is

• Q een eindige verzameling interne toestanden (states) van de accepter.
• sigma het alfabet
• gamma een eindige verzameling symbolen die we het stack alfabet noemen
• 𝛿: 𝑄 × (Σ ∪ {𝜆}) × Γ → 𝑒𝑖𝑛𝑑𝑖𝑔𝑒 𝑑𝑒𝑒𝑙𝑣𝑒𝑟𝑧𝑎𝑚𝑒𝑙𝑖𝑛𝑔 𝑣𝑎𝑛 𝑄 × Γ ∗ de transitiefunctie
• 𝑞0 ∈ 𝑄 de initiële staat van de accepter
• 𝑧 ∈ Γ het startsymbool van de stack
• 𝐹 ⊆ 𝑄 de verzameling final states.

2.1 De transitiefunctie dichterbij bekeken




Reden waarom z nodig is




1

, 2.2 Voorbeeld




𝐿 = {𝑎𝑛 𝑏𝑛 |𝑛 ≥ 0}




3 Instantaneous description
Definitie:
Het drie-tuple (q,w,u) met

• Q de huidige state van de accepter
• W het nog niet verwerkte deel van de invoerstring
• U de inhoud van de stack (met het meest linkse symbool van u TOS)

Noemen we de instantaneous description (ID) van een pushdown automaat.

Voorbeeld:




4 Taal geaccepteerd door een pushdown automaat
Definitie:
Stel 𝑀 = (𝑄, Σ, Γ, δ, 𝑞0 , 𝑧, 𝐹) een npda. De taal geaccepteerd door
M is de verzameling

𝐿(𝑀) = {𝑤 ∈ Σ∗ : (𝑞0 , 𝑤, 𝑧) ⊢ ∗𝑀 (𝑝, 𝜆, 𝑢), 𝑝 ∈ 𝐹, 𝑢 ∈ Γ ∗ }
Voorbeeld:




2

Voordelen van het kopen van samenvattingen bij Stuvia op een rij:

√ Verzekerd van kwaliteit door reviews

√ Verzekerd van kwaliteit door reviews

Stuvia-klanten hebben meer dan 700.000 samenvattingen beoordeeld. Zo weet je zeker dat je de beste documenten koopt!

Snel en makkelijk kopen

Snel en makkelijk kopen

Je betaalt supersnel en eenmalig met iDeal, Bancontact of creditcard voor de samenvatting. Zonder lidmaatschap.

Focus op de essentie

Focus op de essentie

Samenvattingen worden geschreven voor en door anderen. Daarom zijn de samenvattingen altijd betrouwbaar en actueel. Zo kom je snel tot de kern!

Veelgestelde vragen

Wat krijg ik als ik dit document koop?

Je krijgt een PDF, die direct beschikbaar is na je aankoop. Het gekochte document is altijd, overal en oneindig toegankelijk via je profiel.

Tevredenheidsgarantie: hoe werkt dat?

Onze tevredenheidsgarantie zorgt ervoor dat je altijd een studiedocument vindt dat goed bij je past. Je vult een formulier in en onze klantenservice regelt de rest.

Van wie koop ik deze samenvatting?

Stuvia is een marktplaats, je koop dit document dus niet van ons, maar van verkoper lennyS. Stuvia faciliteert de betaling aan de verkoper.

Zit ik meteen vast aan een abonnement?

Nee, je koopt alleen deze samenvatting voor €3,48. Je zit daarna nergens aan vast.

Is Stuvia te vertrouwen?

4,6 sterren op Google & Trustpilot (+1000 reviews)

Afgelopen 30 dagen zijn er 84669 samenvattingen verkocht

Opgericht in 2010, al 14 jaar dé plek om samenvattingen te kopen

Start met verkopen
€3,48
  • (0)
  Kopen