Answer Happy

Students admitted to study at an institution enter at the basic level and are required to pass three exams prior to progressing to the advanced level which also requires three passes. On passing all exams at the advanced level, a student then graduates. If a student fails any exam, at either level, they are allowed to resit the exam up to two times before leaving the level in which case the registration of the student is deemed to have been cancelled. In the following nb denotes the number of basic exams taken, na the number of advanced exams taken, r the number of resits (ra, rb for advanced and basic respectively), g indicating a pass (p) or fail (f) grade (ga, gb for advanced and basic respectively). Select all state machines reflecting the student progression description above. (1) /nb-0na=0rb=0;ra=0gb-p;ga-p fail[gb==f] Basic pass[gb==p]/nb++ fail[ga f resit[rb<=1]/rb++;gb=f pass[ga= =p]/na++ pass[nb<=2,gb==pl/nb++ when(na> 3) Advanced Graduated when(nb> 3) when(rb>2) Resit Cancelled

(2) (3) /nb=0r=0g-p passig= pr<-11/nb++ pass[nb<=2,gb==p]/nb++ No failure Failure Basic Advanced Graduated passinb<=2.g==pl/nb++ nb=0na=0rb=0;ra=0;gb=p;ga=p Basic ail[g-f resitr<-1,g-fl/r++ when(r=2) Cancelled fail[gb==f] pass[gb==p]/nb++ fail[ga==f] pass[ga= =p]/na++ when(nb>3) when(na>3) when(nb> =3) /na-Or-Qg-p passig pr< 11/na++ when(r>=2) when(na>-3) Graduated Basic resit Advanced resit Advanced No failure Failure passina< 2g-pl/na++ resitr<-1.g-fl/r++g=f faillg== resit[rb<=1]/rb++;gb=f when(rb>2) when(ra>2) resit[ra<=1]/ra++;ga=f Cancelled

(4) nb=0;na=0rb=0;ra=0;gb=p;ga=p Basic pass[nb<=2,gb==p]/nb++ Advanced Graduated a. 2 b. None of the options c. 3 d. 4 e. 1 fail[gb==f] pass[gb==p]/nb++ fail[ga==f] pass[ga==p]/na++ when(nb> = 3) when(na> = 3) Basic resit Advanced resit resit[rb<=1]/rb++;gb=f when(rb>=2) when(ra>=2) resit[ra<=1]/ra++;ga=f Cancelled