Informatica – B Grondslagen – B3 Automaten
B3.1 Eindige automaten
B3.1.1 Inleiding
Smartphone is voorbeeld van apparaat dat:
Complexe taken uitvoert
Gedrag vertoont dat voortdurend verandert
Er zijn ook apparaten die veel eenvoudigere taak hebben Vertonen steeds hetzelfde gedrag Bv.
snoepautomaat, verkeerslicht, lift
Lift
Lift gaat van en naar begane grond en 2 verdiepingen Moet het volgende kunnen:
Stilstaan op een van de verdiepingen
Onderweg zijn naar andere verdieping
Gedrag van lift kun je beschouwen als eindige toestandsautomaat = Eindige automaat = Apparaat dat
zich in bepaalde vaste toestand bevindt en kan overgaan naar andere toestand
B3.1.2 Eindige automaten
Eindige automaten bestaan alleen op papier Zijn geen echte, tastbare apparaten
Als we zeggen dat iets eindige automaat is, bedoelden we dat we gedrag ervan kunnen beschrijven
met eindige automaat
Waarom eindige automaten
3 redenen waarom eindige automaten belangrijk zijn, ondanks dat ze geen echte apparaten zijn:
Inzicht in probleem Eindige automaten helpen je om complex probleem helder en
overzichtelijk te maken Bv. verkeerslichten Door eindige automaat te ontwerpen:
Zorg je voor helder overzicht van alle verkeersstromen die tegelijk over kruising
mogen
Krijg je inzicht in wijze waarop verkeerslichten ingesteld moeten worden
Veilig ontwerpen Eindige automaten zijn handig hulpmiddel om apparaat of onderdeel
veilig te ontwerpen Bv. lift mag pas omhoog of omlaag als deuren dicht zijn Bij
ontwerpen van eindige automaat alle toegestane toestanden in kaart brengen
Theoretische informatica Eindige automaten zijn belangrijk hulpmiddel om efficiëntie en
correctheid van algoritme te bepalen
B3.1.3 Eindige automaten ontwerpen
Eindige automaten kun je op overzichtelijke manier weergeven in
schema = Toestandsdiagram In toestandsdiagram zie je gedrag
van eindige automaat Bij elke transitie schrijf je wat er moet
gebeuren om transitie te maken
B3.1.4 Eigenschappen van eindige automaten
Eigenschappen van eindige toestandsautomaat:
Steeds maar in 1 toestand tegelijk
Kan van toestand veranderen
1
, Joël Smit | 5V.in1
Heeft eindig veel toestanden
Begin- en eindtoestand
Verkeerslichten en liften werken altijd Geen speciale begin- en/of
eindtoestand Eindige automaten hebben wel duidelijke begintoestand
en 1 of meer eindtoestanden Eindtoestand is toestand waarin automaat
mag stoppen
B3.2 Toepassing eindige automaten
B3.2.1 Inleiding
Eindige automaat kan gebruikt worden om:
Toestanden van fysiek apparaat weer te geven
Iets te produceren
Iets te controleren
B3.2.2 Eindige automaat als generator
Eindtoestand?
Het is mogelijk om vanuit eindtoestand naar andere toestand te gaan
Eindige automaat stopt niet altijd in eindtoestand, automaat mag
stoppen in eindtoestand
Toepassing: automatisch aanvullen
Autocorrectie op telefoon maakt ook gebruik van eindige automaat
Heeft voor elk woord in woordenboek een eindtoestand
Toepassing: ELIZA
Computerprogramma ELIZA kon gesprekken voeren met mensen
In bekendste variant deed computerprogramma zich voor als psychotherapeut Gebruikers konden
antwoord geven op vragen Programma deed niets met antwoorden van
gebruiker en stelde willekeurige vervolgvragen
Tegenwoordig computerprogramma’s die antwoorden van gebruikers
kunnen verwerken Op basis daarvan stellen ze nieuwe vervolgvragen
Wordt bereikt door Artificial Intelligence = AI
Voorbeeld
Toepassing: Lorem ipsum
Drukkers en grafisch ontwerpers gebruiken vaak dummytekst om te kijken
hoe tekst of lettertype eruit ziet Meest gebruikte is lorem ipsum Tekst
heeft geen betekenis Als tekst leesbaar zou zijn, word je snel afgeleid
Gaat niet om inhoud, maar om vormgeving
2
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller SmitJoël. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $4.88. You're not tied to anything after your purchase.