Finite automata Flashcards
Definicija KSS (končni sistem stanja)
KSS je objekt, ki prebere diskretne vhode in je lahko v katerem koli izmed končnih mnogo stanj
Definicija končnega avtomata
Končni avtomat je matematični model KSS
Iz česa je sestavljen DKA (Deterministični Končni Avtomat)
Sestavljen je iz:
1. končne zbirke stanj in 2. končne množice prehodov iz stanja do stanja, ki se zgodijo pri branju simbolov iz vhoda abecede (Σ)
Kaj so pravila DKA (Deterministični Končni Avtomat)
- Za vsak vhodni simbol obstaja točno en prehod iz vsakega stanja
- q0 je začetno stanje
- nekatera stanja so končna stanja
Kdaj DKA (Deterministični Končni Avtomat) sprejme besedo x?
DKA sprejme besedo x, če je sekvenca prehodov, ki ustreza simbolom x, vodi iz začetnega stanja q0 do poljubnega končnega stanja.
Definicija DKA (Deterministični Končni Avtomat)
DFA - (Q, Σ, δ, q0, F) kjer,
- Q je množica stanj
- Σ je končna vhodna abeceda
- (q0 je element Q) je začetno stanje
- (F je podmnožica Q) je množica končnih stanj
- δ je prehodna funkcija => Q x Σ => Q
Definicija jezika L(M)
Jezik L je regularna množica v primeru, da katerikoli DKA sprejme jezik L
Kako dobimo NKA (Nedeterministični Končni Avtomat)?
NKA dobimo iz DKA, tako da dovolimo 0, 1 ali več prehodov iz stanja na enakem vhodnem simbolu.
Kdaj NKA (Nedeterministični Končni Avtoma) sprejme besedo a1,a2,…,an?
NKA sprejme besedo, če obstaja sekvenca prehodov , ki ustreza besedi, ki vodi iz začetnega stanje v neko končno stanje.
Definicija NKA (Nedeterministični Končni Avtomat)
NKA - (Q, Σ, δ, q0, F) kjer,
- Q je končna množica stanj
- Σ je končni vhod abecede
- (q0 je element Q) je začetno stanje
- (F je podmnožica Q) je množica končnih stanj
- δ je prehodna funkcija => Q x Σ => 2naQ
Kaj je NKA (Nedeterministični Končni Avtomat) z ε?
NKAε je razširjen model NKA, za vključevanje spontanih prehodov, ki so prehodi za prazen vhod ε.
Definicija NKAε (Nedeterministični Končni Avtomat)
NKAε - (Q,Σ,δ,q0,F) kjer,
- Q je končna množica stanj
- Σ je končni vhod abecede
- (q0 je element Q) je začetno stanje
- (F je podmnožica Q) je množica končnih stanj
- δ je prehodna funkcija, δ: Q x (Σ U {ε}) => 2naQ
Kaj so regularni izrazi?
Regularni izrazi so enostavno opisani jeziki, ki jih sprejemajo končni avtomati.
Definicija stika dveh regularnih izrazov L1 in L2
L1L2 = {xy | x ∈ L1 in y ∈ L2}
primer: L1 = {1, 10} in L2 = {11,01}
L1L2 = {111,101,1011,1001}
Definicija kleenove ovojnice
L* = U(od i = 0 pa do infinty) Lnai