{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Q2real09sol

# Q2real09sol - CSE303 Q2 SOLUTIONS Summer 2009 PART 1 YES/NO...

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

CSE303 Q2 SOLUTIONS Summer 2009 PART 1: YES/NO QUESTIONS Circle the correct answer. Write SHORT justification. Answers without justification will not receive credit. 1. The set F of final states of any deterministic finite automaton is al- ways non-empty. Justify : the definition says that F is a finite set, i.e. can be empty, hence for some M . L ( M ) = . n 2. Alphabet Σ of any deterministic, or non-deterministic finite automa- ton is always non-empty. Justify : the definition says that Σ is an alphabet, what means that is a finite set, i.e. can be empty, hence for some M . L ( M ) = . n 3. A configuration of a deterministic finite automaton M = ( K, Σ , δ, s, F ) is any element of K × Σ * × K . Justify : a configuration is an element of K × Σ * . n 4. Given a non-deterministic automaton M = ( K, Σ , Δ , s, F ) as defined in the book, a binary relation M ( K × Σ * ) × ( K × Σ * ) is a one step computation iff the following condition holds ( q, aw ) M ( q 0 , w ) iff ( q, a, q 0 ) Δ and a Σ ∪ { e } .

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 4

Q2real09sol - CSE303 Q2 SOLUTIONS Summer 2009 PART 1 YES/NO...

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

View Full Document
Ask a homework question - tutors are online