CS636 Quiz 1

Q1. The minimum number of states required to recognize an octal number divisible by 3 are/is

1. 1
2. 5
3. 2
4. 3

Correct answer: 3

Q2. In petri nets, arc is denoted by ___________________.

1. circle
2. vertical bar
3. rectangle
4. directed arrow

Correct answer: directed arrow

Q3. Formal specifications can help considerably in generating suitable ____________________.

1. use cases
2. mathematical notations
3. formulae
4. test cases

Correct answer: test cases

Q4. Formal specifications allow for feedback on system specifications at ___________________ development stages.

1. early and later
2. middle
3. early
4. later

Correct answer: early

Q5. There are ________ tuples in finite state machine.

1. 5
2. 2
3. 4
4. 3

Correct answer: 5

Q6. In petri nets, tokens are denoted by a __________________.

1. directed arrow
2. vertical bar
3. filled circle
4. rectangle

Correct answer: filled circle

Q7. In petri nets, tow main components are ____________________ and _____________________.

1. tokens, places
2. transitions, tokens
3. places, arcs
4. places, transitions

Correct answer: places, transitions

Q8. A ___________________ model that represents the intended behavior of a program can be used as a formal specification.

1. computational
2. conceptual
3. data
4. mathematical

Correct answer: mathematical

Q9. The language that can be expressed by any regular expression is called a _________

1. Prime Language
2. Binary language
3. Factorial
4. Regular language

Correct answer: Regular language

Q10. Correctness of entire software depends on __________________.

1. Maintenance
2. Testing
3. Deployment
4. Specification

Correct answer: Specification