Week 1 Flashcards
The alphabet?
(Σ) which is a set of characters such as {a,b,c}
Σ*
the set of all words
Language
is a set of words which is subset of Σ*
The regexp a matches only the word?
a
The regexp ε matches only ?
The empty word ε
The regexp 0 matches ?
none
the regexp EF matches?
(a word matches by E) + (a word matches by F)
the regexp E|F matches?
(a word match by E) or (a word matches by F)
the regexp E* matches?
0 or more
The precedence rule of regexp?
1- * + ?
2- juxtaposition
3- |
the regexp E+ ?
EE* , one or more
E?
ε | E, zero or one
Regular language?
Language that can be represented by a regular expression
decision problem?
is a problem that, for any given argument, has a Yes/No answer
Decidable decision problem?
when there is some program that, given an argument, says whether the answer is Yes or NO
Deterministic finite automata consists of:
· A finite set X of states
· An initial state p ∈ X
· A trainstion function δ: X ×Σ →X
A set of acceptiong states: Acc ⊆X
Ismorphism?
A bijiction that perserves the intial state, the accepting state and the transtion function.
particial DFA?
· δ is merely a partical function, sometime it can be undefined
· As soon as a character cannot be an input, the word is rejected
A partical DFA can also have no initial state but then every word is rejected
convert PDFA to DFA?
We just add extra non-acception state, error state. Transitions that are undefined in particial DFA go to the error state and every transition from the error state goes to the error state.
nonderministic finite automata?
· δ is a relation not a function (since one state maps to two different states with the same character)
. it can have more than 1 initial states
A word w is acceptable when there exists a path from an initial state to an accepting state that goes through the characters of w.
Determinisation?
the process of of converting NFA to DFA.
NFA with ε-transiotns?
· ε-Transitons: it moves from one state to another without inputing any character.
A word w is acceptable when there exists some path from initial state to an accepting state that goes through the characters of w padding with ε-transtions.
Slow b-transtions?
consists of zero or more ε-transitions ending with b-transtion.
Slow accepting:
consists of zero or more ε-transitions ending with accepting state.