1 FMSD-Overview FM Topics in Formal Methods for Software Development Dr. Cheng CSE914 Fall 2003.
Lecture 1 String and Language. String string is a finite sequence of symbols. For example, string ( s, t, r, i, n, g) CS4384 ( C, S, 4, 3, 8) 101001 (1,