Sol_quiz3 - Cmd does. Process p gives read access to...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
IS2150/TEL2810, Quiz 3, September 29, 2009, (Total Points: 15) Name: ________________________ 1. Write T for True and F for False for the following statements [Points: 6] [ T ] If one can take a problem that has been proven to be undecidable and show that it can be reduced to the safety problem , then he/she has proven that the safety problem is also undecidable . [ T ] The following command is mono-operational and mono-conditional Command Cmd ( p, f, q ) If own in a [ p,f ] Then Enter read into a [ q,f ] End b. State what command
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Cmd does. Process p gives read access to process q on file f that p owns . 2. Complete post conditions for the following command [Points: 4] Enter r into a [ s , o ] Postconditions: Precondition: s S , o O S = S , O = O (in Slides) 3. Fill the access control matrix entry corresponding to the Turing machine configuration shown in the figure. [Points: 5] s 1 s 2 s 3 s 4 s 4 s 3 s 2 s 1 A X Y,k D,end own own own A X Y head Current state is k Current symbol is Y D 1 2 3 4...
View Full Document

This note was uploaded on 11/02/2009 for the course SIS 2150 taught by Professor Joshi during the Spring '09 term at Philadelphia.

Ask a homework question - tutors are online