# 2001midterm_answers01 - COSC2001.03 P Mid-term examination...

This preview shows pages 1–3. Sign up to view the full content.

COSC2001.03 P Mid-term examination marking guide April 3, 2001 1. Complete the following definitions by providing a mathematical expression or English phrase to fill in the blank. (Write your answer in the space below each incomplete definition. ) (a) Σ * = { x: x is a string over Σ } 1 point (b) A . B . A = { x: x = uvw with u, w ε A , v ε B } 2 points (c) A is countable if it is finite or denumerable . 2 points (also accept “infinitely countable” or “there is a bijection from A onto N”) (d) The DFA {Q, Σ, s, F, δ ) accepts the string x if δ (s, x) ε F. 2 point (also accept an equivalent description in English) Total: 7 2. Let L = {x εΣ * x contains an even number of 1 's} and let M be a DFA {Q, Σ, s, F, δ ) such that L(M) = L . Let M' be a DFA such that L(M') = { x εΣ * x contains an odd number of 1 's}. Fill in the missing parts of the definition of M’ given below, in terms of Q , Σ, s, F, and δ Input alphabet: Σ

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Transition function: δ 1 point States: Q 1 point Accepting states: Q - F 2 point
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 03/15/2010 for the course STATISTIC 472 taught by Professor Amjad during the Spring '08 term at Yarmouk University.

### Page1 / 4

2001midterm_answers01 - COSC2001.03 P Mid-term examination...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online