Lecture 1 - Introductory Material Flashcards
1
Q
What does represent mean?
A
You can answer questions about it
2
Q
What is a language?
A
A set of strings
3
Q
What is formal verification?
A
The attempt to prove system designs correct, or to find bugs
4
Q
What is an alphabet?
A
An alphabet is a non-empty finite set. The members of an alphabet are called symbols
5
Q
What does capital sigma (Σ) represent
A
Σ represents an alphabet
6
Q
What is a string?
A
A string is a finite sequence of symbols from some alphabet
7
Q
What does ε represent?
A
The empty string
8
Q
What is the concatenation of strings?
A
The concatenation of strings x and y is the string formed by following x by y. It is often written as xy
9
Q
What is a language over Σ?
A
This is a subset of Σ*
