This preview shows pages 1–6. Sign up to view the full content.
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
 Spring '08
 Staff

Click to edit the document details