We define the collection s of regular expressions by:
• __ s the null statement is in s
• s_ s for all atomic statements s all atomic statements are in s
• _1_2_ s for each _1,_2_ s sequential execution of statement sequences
• _ T_1 + _ F_2_ s for each _1,_2_ s and each test__ conditional statements: if _ then _1 else__2
• (_ T_1)* _ F_ s for each__1_ s and test _ while loops: while _ do__1
• (_ F_1) * _ T_ s for each _1_ s and each test__ negated while loops: while not _ do _1
| Previous slide | Next slide | Back to first slide | View graphic version |