This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: ( δ ) is a partial relation on its domain and has range set, Q. The function ( δ ) is a total function on its domain and has range set, 2 Q . To understand the difference in these two definitions, recall from Discrete I the definition of a relation R from A to B . This is depicted in the figure below. A (domain set) B (range set) A relation R is an arbitrary subset of A × B . 05/01/09 4 NFA EXAMPLE: To illustrate the definition of the transition relation ( δ ), let Q = {1,2,3} and let Σ = { a, b} rel Q 3 2 1 (1,a) (2,a) (3,a) (1,b) (2,b) (3,b) (1, Λ )(2, Λ )(3, Λ ) 05/01/09 5 NFA 2 Q {1,2,3} {2,3} {1,3} {1,2} {3} {2} {1} Φ (1,a) (2,a) (3,a) (1,b) (2,b) (3,b) (1, Λ )(2, Λ )(3, Λ ) fn 05/01/09 6 Example 1: δ a b Λ Λ * *1 {1,4} Φ Φ {1} 2 Φ {4,5} Φ {2} → 3 {2} Φ Φ {3} *4 {5} {5} Φ {4} → 5 Φ Φ {1,3} {1,3,5 }...
View
Full
Document
This note was uploaded on 06/09/2011 for the course COT 4210 taught by Professor Staff during the Spring '08 term at University of Central Florida.
 Spring '08
 Staff

Click to edit the document details