100% tevredenheidsgarantie Direct beschikbaar na je betaling Lees online óf als PDF Geen vaste maandelijkse kosten
logo-home
Samenvatting Hoofdstuk 9: Turing Machines €3,48
In winkelwagen

Samenvatting

Samenvatting Hoofdstuk 9: Turing Machines

 0 keer verkocht

Dit is de samenvatting van het negende 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

  • Nee
  • Chapter 9
  • 29 juli 2022
  • 8
  • 2020/2021
  • Samenvatting
book image

Titel boek:

Auteur(s):

  • Uitgave:
  • ISBN:
  • Druk:
Alle documenten voor dit vak (12)
avatar-seller
lennyS
Hoofdstuk 9: Turing machines
1 De standaard Turing machine




• De input is verdwenen → Staat aan het begin van de uitvoering op de tape
• De control unit bevat de states en de transities
• De tape kan als stack gebruikt worden maar is veel flexibeler
• De tape is oneindig lang

Definitie:
Een TM (Turing machine) M wordt gedefinieerd door

𝑀 = (𝑄, Σ, Γ, δ, q0 , ∎, 𝐹)
Hierbij is

• Q de verzameling states
• Σ ⊆ Γ − {∎} het input alfabet
o Σ ⊆ Γ want input staat in het begin op de tape
o −{∎} omdat de TM moet kunnen onderscheiden waar de input stopt
• Γ is een eindige verzameling symbolen die we het tape alfabet noemen
• 𝛿: 𝑄 × Γ → 𝑄 × Γ × {𝐿, 𝑅} de transitiefunctie (die partieel is)
o Er bestaat ook een meer algemene definitie waarbij niet bewegen ook toegestaan is.
o We zeggen dat een TM stopt indien hij een configuratie bereikt waarvoor 𝛿 niet
gedefinieerd is.
• ∎ ∈ Γ is een speciaal symbool dat we de blank noemen
• 𝑞0 ∈ 𝑄 is de initiële state
• 𝐹 ⊆ 𝑄 is de verzameling finale states
o Er zijn geen transities gedefinieerd voor de finale states




1

, Voorbeeld 1:




Voorbeeld 2:




Vervangt alle a’s door b’s → TM kan niet alleen als acceptor maar ook als mutator gebruikt worden.

Voorbeeld 3:
Stel dat de tape initieel 𝑎𝑏 bevat

1. De machine leest een a, verandert deze niet en beweegt
naar rechts
2. Dan leest de machine een b, verandert deze niet en
beweegt naar links

Deze machine blijft oneindig lopen

1.1 Eigenschappen




2

Dit zijn jouw voordelen als je samenvattingen koopt bij Stuvia:

Bewezen kwaliteit door reviews

Bewezen kwaliteit door reviews

Studenten hebben al meer dan 850.000 samenvattingen beoordeeld. Zo weet jij zeker dat je de beste keuze maakt!

In een paar klikken geregeld

In een paar klikken geregeld

Geen gedoe — betaal gewoon eenmalig met iDeal, Bancontact of creditcard en je bent klaar. Geen abonnement nodig.

Focus op de essentie

Focus op de essentie

Studenten maken samenvattingen voor studenten. Dat betekent: actuele inhoud waar jij écht wat aan hebt. Geen overbodige details!

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 66184 samenvattingen verkocht

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

Start met verkopen
€3,48
  • (0)
In winkelwagen
Toegevoegd