Theoretical Foundations
An alphabet ?={s1,s2, … ,sk} is a set of symbols
The set ?* is the set of all strings created using the symbols of ?.
A problem is a subset X??*
An algorithm A solves X, if given any string x??* A accepts x if and only if x?X.