Bestand:Case study PCTL.pdf: versiegeschiedenis

Ga naar: navigatie, zoeken

Selectie voor verschillen: selecteer de te vergelijken versies en toets ENTER of de knop onderaan.
Verklaring afkortingen: (huidig) = verschil met huidige versie, (vorige) = verschil met voorgaande versie, k = kleine wijziging

  • (huidig | vorige) 19 jan 2012 15:30‎ Pim Heesterbeek (overleg | bijdragen)‎ . . (200 bytes) (+200)‎ . . (Een korte beschrijving van PCTL, met uitleg waarom PCTL niet regulier en niet contextvrij is en waarom een beperkte vorm van PCTL wel contextvrij is. Gemaakt voor het vak Talen en Automaten 2011-2012.)
Overgenomen van "https://lab.cs.ru.nl/algemeen/Bestand:Case_study_PCTL.pdf"