Finite Automata

1
???????? ??????(Finite Automata)
2
?????? ???????? ???? ????

• ???? ??? ????? ??? ???? ???????? ?????? ????
  ??????.
• ?????? ??????? ???? ??????. (???????).
• ???? ??????
• ????? ????? ?????? (?????? ????, ??????
  ??????).
• ????? ??? (??????? ????????).
• ????? ????? ??????? (????? ??? ????, ...).
• ?????? ????
• ???? ????????
• ???? ????? ????
• ??????? ?????????, ????? ????, ?????, ????
  ??????

3
?????? ????????

• ?? (????) S - ???? ??????, ?????? ASCII
• ???? (??????) w ???? ?????? ?-S
• ????? S ????? ?? ?????? ???????? ???????
  ??"?. (?????? ??? S).
• ???? ?????? - ?????.
• ??? L ???? ????? (??-????? ?? S )
• ?????? Baby

4
?????? ?? ????

• ????? L1?L2
• ????? L1?L2
• ????? L1L2
• ???? ????? L

x x?L1 or x ? L2
x x?L1 and x ? L2
xy x?L1 and y ? L2
L0 ? Li Li-1 L L ?i ? 0 Li
5
??????? ?????
?0,1 (alphabet) ?200,01,10,11 ??,0,1,00,1
0,01,11,... ? ? w?? w is even
?,00,10,01,11,0000,... w?? 1(w)gt5???? ?
5 ?????? ?? 1 ?????
6
???????? ?????? - ??????

• ???????? ?????? ???????????.
• ???????? ?????? ?? ????????????, ??????.
• ????? ????? ?????????
• ??? ??????, ??????? (??? ????? ???? ???????)
• ??????? ????????, ??????.
• ?????? ??????.
• (?????????? ?? ????????).
• (???????? ?????? ?? ???).

7
???????? ??????
????? ????? ??? ????? ?????.
????
????
?????
???
????
???
8
???????? ??????

• ?????? ???????? ??? ???? ???? ???? ?? ?????.
• ??????? (???????) ?? ?????? ????.
• ??? ????? ?? ?????? ????.
• ????? ???????.
• ?????? ?????.

9
????? ???????
Q q0,q1,q2,q3 F q3 S0,1 q0q0
? 0 1 q0 q2 q1 q1 q3 q0 q2 q0 q3 q3 q1 q2
???? ?????. ????? ???? ?????? ??????
10
??????? ????????? ??????

• ????? ?????
• ???? ???? 2 ??.
• ??? ???? ??????? ?? 1 ?? ?- 1/2 ??.
• ?????? ??????
• ???? ???? ???? ?? a ?-b.
• ?????? ????? abaab

11
???????? ?????? ((DFA
A(Q,S,d,q0 ,F)
?? ???? ?? ??? ????? ????? ?? ????? -states ???
?????? -initial state ??????? ?????? -transition
function ????? ?????? - accepting states
? Q q0 ? Q Q??? Q?? F ? Q
12
????? ???? ?? ??????

• ????? ??????? ???????
• ????? ????? ? ????? ? (??? ?????)
• ???? (language) ???????? A ????
• ??? ??? ??????? (regular) ?? ???? ?????? ?????
  ????
• ?? ???? ??? ????? ????? ????????? ?????
  ???????????? RE?

L(A)x d(q0,x) ? F
13
??-???????????? (non-determinism)

• ?????? ??????????
• ?????? ?? ?????????? - ?????
• ????? ??????
• ???? ???????
• ?????? ??????? ??????????

14
???????? ??-??????????? ((NFA
A(Q,S,d,q0 ,F)
? Q q0 ?Q d Q x Se ? P(Q) F ? Q
?? ????? ????? -states ??? ?????? -initial
state ??????? ?????? -transition function ?????
?????? - accepting states
15
????? ??????? ??-??????????
? 0 1 ? q0 q0 q0,q1 ? q1 q2 ?
q2 q2 ? q3 ? q3 q3 q3 ?
Q q0,q1,q2,q3 F q3 S0,1 q0q0
16
?????? ??? ???????? NFA ?- DFA

• ????? ???????? ?? NFA ?? DFA
• ??????????? ?????? ?????????
• ????? ?????? ?? ???? ????? ? NFA
• ?? ??? ?-DFA ???? ????? ????? ?? ? NFA
• ?? ? NFA ???? k ????? ? DFA ???? ?????.
• ??? ??? ????? ?-DFA ?? ?-NFA ??? ??? ??????.
• ?-DFA ???? ?? ??? ?????? ?????? ????.

2K
17
?????? DFA ?-NFA
???? ??? ?????? ???? ??-?????????? N ???? ??????
???? ?????????? M ?? ?
L(M) L(N)
????? ?????? ?????? ??-??????????
N(Q,S,d,q0 ,F)
????? ?????? ??????????
M(Q,S,?,q0 ,F)
????? ??? (????? ???? ???? ???? ?)
18
?-M ???? ??? ??? ????? ????? ?-Q
Q P(Q)
???? ??????? ???? ?? ?? q0
q0 q0
F q ?Q q includes q from F
?????? ??????? ??? ?????? ???????? ??????
??????? ????? ???? F
19
????? ??????? ???????
???? R ??? ????? ????? ?? Q ?-N ??? ??? ?-M
. ??? ????? ???? q ???? ????? ???? a ????? ?????
??? r ???? ????? ???? a ?????? ?? ??? q
????? ?????
20
????? ????? ?? ?????? ????? (????? ??? ?????
???).
??? ??? R ?-M ????? ??
?????? ?????? ???? ???? ?????
E(R)
?-R ?? ????? ????? , ???? ?????? R ????.
????? ????? ??
??
?(r,a)
E(?(r,a))
21
??? ?? ????? ????? ?? ???? ???????
q0 E( q0 )
???? ????? ???? ?????? ?????? ?? ??? ?????? ?????
?-N ??? ????? ??? ?? ???? ???? ?-M . ?????
?????? ?? ?????? ??? ????? ????????? ?? ????
?????.
????? ??? ??? ??????? ?? ??? ?? ???? ??????
???? ?? ?????????? ????? ????.
22
??? ?????? ((pumping lemma
?????? ????? ?? ?????? ?????????? (DFA) ?? n
????? ?? ???? ???? ????? mgtn ???? ??? ???,
?????, ????? ??????. ?????? ??? ?????? q0, ...
, qj , ... qk, ... , qn ?????? qjqk ????
j?k.
23
???? ?????
aj1, ... , ak
q0
qjqk
qm
a1, ... , aj
ak1, ... , am
???? ?????? ?????? ? qm ?? ?? ???? ???? ?? ????
?? ??????? ?????? aj1, ... , ak
????? ?? ???? ??????
a1 ... aj (aj1 ... ak)i ak1 ... am
?????? ?- qm ???? ???? ????.
24
??? ?????? ??? L ??? ???????. ???? ???? n ??
???? z?L ?-
z ? n
???? ???? ?? z ? zuvw ????? ?
uv ? n v ? 1 ?i?0 uviw ? L
n ???? ???? ???? ?????? ?????? ?-DFA ???? ?????
????? ?? L.
?????

• ?-n ?????? ??? ?????? ?? n1 ?????.
• ???? ????? qjqk ???? j?k.
• ?????

ua1, ... , aj vaj1, ... , ak w ak1, ...
, am
25
???? ??? ????
?(q0,u)p ?(p,v)p ? ?(p,vi)p ?(p,w)qm? F
?(q0,uviw) ?(?(q0,u), viw) ?(p, viw)
?(?(p,vi ),w) ?(p, w) qm ? F
uviw a1, ... , aj (aj1, ... , ak)i ak1, ...
, am ? L
26
??????? ?? ??? ??????

• ?????? ?????? ??? ?????? ???? ?????? ????
  ???????.
• ????? L10n1n ngt0
• ????? ????? ????
• ?????? ??? ??-??????? L
• ????? ???? ???? n
• ?????? z?L (????? z ????? ????? ? n )
• ????? ???? ?? z ?- uvw ??????
• ????? ???? ????? ???? i ?????

uv ? n v ? 1
uviw ? L
27
??????? ????? ?? ??? ??????

• L2 z z 2i i ? 0
• ????? w a1 ... an wR an ... a1
• ???????? ???? ?????? ?????? wwR
• L3wwR w ?? ?a,b
• L4 aibncn n ? 0 i ? 1 ? bicj i,j ? 0
• ??? L4 ???????? ??? ???? ?????? ????