March 15, 2019 Outline

Reading: text, §9
Due: Project, due March 22, 2019, by 3:00pm Pacific time


  1. Restrictiveness
    1. State machine model
    2. Composing restrictive systems

UC Davis seal
Matt Bishop
Office: 2209 Watershed Science
Phone: +1 (530) 752-8060
Email: [email protected]
You can also obtain a PDF version of this.
Version of March 15, 2019 at 5:35PM