Toegankelijkheidscalculator (zonder tests)
Deze calculator berekent de toegankelijkheden tussen werelden/toestanden voor een
gegeven regulier programma (reisinstructies). Het voorbeeld komt wat vorm betreft overeen
met opgave 5 van het huiswerk van 22/09. De beperking voor dit machientje is dat geen tests
als programma's opgenomen kunnen worden.
Instructies
De instructies zijn soortgelijk aan de instructies van de mogelijke werelden calculator
van vorige week. Typ een regulier programma in zonder gebruik te maken van tests. De atomaire programma's zijn t en b,
die men kan aanroepen door respectievelijk "TREIN" of "BUS" aan te klikken. Sequentie van programma's
kan gemaakt worden door ";" in te tikken, keuze van programma's door
"U", terwijl iteratie door "*" kan verkrijgen.
Nadat een programma ingetikt is, berekent de calculator de
toegankelijkheden van dit programma over het rechtsonder aangegeven mogelijke
werelden frame na een druk op "ENTER". De resultaten verschijnen
op het blauwe bord linksonderaan. Voor elke toestand, Adam, Rdam, Vdam en
Edam, wordt bepaald welke toestanden toegankelijk zijn, gegegeven het
ingevoerde programma. Zij worden onder de toestandsnaam in het geel
afgebeeld. Zo geeft het voorbeeld b;(tUb)* (= neem een bus en daarna een
eindig aantal keer de trein of de bus) de paren (Adam,Adam),
(Adam,Rdam), (Adam,Edam), (Adam,Vdam) en (Edam,Vdam) als transities. In de
display zal dit verschijnen als:
© JAN JASPARS. This page contains a
JavaScript 1.1-code, and has been developed for the Programming
& Reasoning teaching group.
Terug
