75
1

Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

1

������������������ ���

Page 2: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

2

��������

� ���������������������������������

�����������������

RL L

������� �

����������� �� ��������������������RL

������������������������������ ��

������������L

Page 3: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

3

�����

� ����������������������

���������� �� ������������

L

��� ����

baabL += *

a

b

ba

L

Page 4: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

4

������� ���������

a

b

ba

Page 5: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

5

! "����#�����������������������

a

b

ba

Page 6: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

6

� ##����$ ������������

a

b

ba

λλ

Page 7: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

7

a

b

ba

λλ

���������� ������������ RL

baabL += *

ababLR += *

RL ��������

Page 8: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

8

% �� � ��

Page 9: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

9

% �� � ��

% �� � ����������������

��� �����������������������

verbpredicate

nounarticlephrasenoun

predicatephrasenounsentence

_

_

Page 10: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

10walksverb

runsverb

dognoun

boynoun

thearticle

aarticle

→→

→→

→→

Page 11: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

11

� �#������������&����'�(�$ �"�)�

walksboythe

verbboythe

verbnounthe

verbnounarticle

verbphrasenoun

predicatephrasenounsentence

_

_

Page 12: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

12

� �#������������&�#������)�

runsdoga

verbdoga

verbnouna

verbnounarticle

verbphrasenoun

predicatephrasenounsentence

_

_

Page 13: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

13

������������� � ��

�*�+�&�'�(�����)�

&�'�(�$ �"�)�

&����'�(�����)�

&����'�(�$ �"�)�

&�#������)�

&�#��$ �"�)�

&����#������)�

&����#��$ �"�)�,

Page 14: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

14

� ������

dognoun

boynoun

→→

-��'��

��

� ��.���� ���

� ��� ������#������

����

Page 15: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

15

� ���������� ���

% �� � ��

/ ��������������������� �

λ→→

S

aSbS

abaSbS ��

ab

aSbS → λ→S

Page 16: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

16

aabbaaSbbaSbS ���

aSbS → λ→S

aabb

λ→→

S

aSbS% �� � ��

/ ��������������������� �

Page 17: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

17

0 �����#����������

aaabbbaaaSbbbaaSbbaSbS ����

aaaabbbbaaaaSbbbb

aaaSbbbaaSbbaSbS

��

���

Page 18: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

18

������������� � �

λ→→

S

aSbS

}0:{ ≥= nbaL nn

Page 19: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

19

! ����� ������

% �� � � ( )PSTVG ,,,=

:V

:T

:S

:P

� ���������'���

� ���������� �����(� '���

� �������'��

� ���������#������������

Page 20: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

20

��� ���

% �� � � �

λ→→

S

aSbSG

( )PSTVG ,,,=

}{SV = },{ baT =

},{ λ→→= SaSbSP

Page 21: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

21

! ����� ������

� ������������� �

� ����������������������

���'�����#����� ����

��� ����

aaabbbaaaSbbbaaSbbaSbS ����

� ������������� � ��������

Page 22: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

22

1 ��$ �����

����#����

aaabbbS*�

aaabbbaaaSbbbaaSbbaSbS ����

Page 23: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

23

��������$ ��$ �����

��

nww*

1 �

nwwww ���� �321

Page 24: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

24

2(�#������ ww*�

Page 25: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

25

��� ���

λ→→

S

aSbS

aaabbbS

aabbS

abS

S

*

*

*

*

�λ

% �� � � / ���������

Page 26: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

26

baaaaaSbbbbaaSbb

aaSbbS

λ→→

S

aSbS

% �� � �

��� ���

/ ���������

Page 27: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

27

� �������% �� � ����� ���

% �� � �� �

λ→→→

A

aAbA

AbS

/ ����������

aabbbaaAbbbaAbbS

abbaAbbAbS

bAbS

���

���

��

G

Page 28: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

28

! ����/ ���������

aaaabbbbbaaaaAbbbbb

aaaAbbbbaaAbbbaAbbAbS

��

����

bbaS

bbbaaaaaabbbbS

aaaabbbbbS

nn∗

Page 29: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

29

��������% �� � �

������� � ��

$ ������������'����������G

S

}:{)( wSwGL∗�=

� ������������ ����

Page 30: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

30

��� ���

������ � ��������

λ→→→

A

aAbA

AbS

}0:{)( ≥= nbbaGL nn

� ����� bbaS nn∗�

G

Page 31: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

31

� ������������� ������

λ→→

A

aAbAλ|aAbA →

thearticle

aarticle

→→ theaarticle |→

Page 32: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

32

�����% �� � ��

Page 33: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

33

�����% �� � ��

% �� � ���$ ����

��� �����������'����������������#�

�������#������

��� �����

λ→→→

A

aAbA

AbS

λ→→

S

aSbS

Page 34: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

34

� �� ��. �����% �� � �

bSaS

aSbS

S

SSS

→→→→

λ% �� � ��������G

)}()(:{)( wnwnwGL ba ==

Page 35: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

35

� ������� �����% �� � �

% �� � ����������

AbB

aBA

AS

→→→

λ|

}0:{)( ≥= nbaGL nn

G

Page 36: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

36

����. �����% �� � ��

� ������#���������������� �

��� ����

xBA →

xA →��

aS

abSS

→→

Page 37: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

37

���. �����% �� � ��

� ������#���������������� �

��� ����

BxA →

aB

BAabA

AabS

→→→

|

xA →��

Page 38: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

38

������% �� � ��

Page 39: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

39

������% �� � ��

� ��������� � � ����(�

����.�������������.�������� � �

��� �����

aS

abSS

→→

aB

BAabA

AabS

→→→

|

1G 2G

Page 40: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

40

0 '��������

�������� � ���������������������

��� �����

aS

abSS

→→

aabGL *)()( 1 =

aB

BAabA

AabS

→→→

|

*)()( 2 abaabGL =

1G

2G

Page 41: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

41

������% �� � ���% ������

������ ����

Page 42: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

42

� ������

����

% ������#�'(

������% �� � ��

�����

����=

Page 43: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

43

� ������ �. ����3

����

% ������#�'(

������% �� � ��

�����

����⊆

� �(��������� � ���������

�����������

Page 44: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

44

� ������ �. ����4

����

% ������#�'(

������% �� � ��

�����

����⊇

� �(���������������������#�

'(���������� � �

Page 45: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

45

������5 ����3

����

% ������#�'(

������% �� � ��

�����

����⊆

� ���������������������������#�'(�

�(��������� � �����������������

)(GLG

Page 46: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

46

� ��������������. �����% �� � ��

��������'�������.�������� � �

1 ��$ �������������������������������

������� �1 ��$ ��������������� ��

$ ����

G

)(GL

M)()( GLML =

Page 47: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

47

% �� � ���������������.�����G

��� ����

aBbB

BaaA

BaAS

|

|

→→→

Page 48: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

48

����������� �� �����������������

����(������������ � �����'���

M

aBbB

BaaA

BaAS

|

|

→→→

S FV

A

B

������

���������

Page 49: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

49

� ##��#��������������#�������

S FV

A

B

a

aAS →

Page 50: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

50

S FV

A

B

a

BaAS |→

λ

Page 51: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

51

S FV

A

B

a

λ

BaaA

BaAS

→→ |

a

a

Page 52: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

52

S FV

A

B

a

λ

bBB

BaaA

BaAS

→→→ |

a

a

b

Page 53: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

53

S FV

A

B

a

λ

abBB

BaaA

BaAS

|

|

→→→

a

a

b

a

Page 54: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

54aaabaaaabBaaaBaAS ����

S FV

A

B

a

λ

a

a

b

a

Page 55: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

55

SFV

A

B

a

λ

a

a

b

aabBB

BaaA

BaAS

|

|

→→→G

M % �� � �� ��

abaaaab

GLML

**

)()(

+==

Page 56: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

56

��% �����

� �����.�������� � �

������'����

�#����#���������

G

�,,, 210 VVV

jmi VaaaV �21→

mi aaaV �21→

��

Page 57: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

57

1 ����������������� �� ������������������

��������'��������������������#��������#���

M

iV

0V

FV

1V

2V

3V

4V ������

���������

Page 58: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

58

�����������#�������

$ ��##�������������#������� �#������#��

jmi VaaaV �21→

iV jV6 6 61a 2a ma

Page 59: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

59

�����������#�������

$ ��##�������������#������� �#������#��

mi aaaV �21→

iV FV6 6 61a 2a ma

Page 60: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

60

���������� �� ����������"����"�������M

0V

FV

1V

2V

3V

4V

1a

3a

3a

4a

8a

2a 4a

5a

9a5a

9a

)()( MLGL = �����#������

Page 61: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

61

� ���������� ���. �����% �� � ��

����������'�������.�������� � �

1 ��$ ����������������������������������

������� �

1 ��$ �������������������.�����

�� � ���������$ �����

G

)(GL

G′ RGLGL )()( ′=

Page 62: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

62

� ����� �������.�������� � �

�������#�����������"���"���

G

kaaBaA �21→

kaaaA �21→

Page 63: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

63

��������������.�������� � �� G′

���������G kaaBaA �21→

���������G′ BaaaA k 12�→

vBA →

BvA R→

Page 64: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

64

��������������.�������� � �� G′

���������G kaaaA �21→

���������G′ 12aaaA k�→

vA →

RvA →

Page 65: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

65

�������(������������

� ��������������������.�������$ ������

RGLGL )()( ′=

)(GL ′ RGL )( ′

G′

)(GL

�����

��������

���

�����

���

Page 66: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

66

������. ����4

����

% ������#�'(

������% �� � ��

�����

����⊇

� �(�����������������������������#�

'(���� ���������� � �

LG

Page 67: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

67

������� �

�����������'������� �� �$ ���������������������7�

�������������� ����������������� � ��

��������

� �(�����������������������������#�

'(���� ���������� � �

LG

M )(MLL =

M G)()( GLML =

Page 68: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

68

� ��������������������

������������ �� ������������������

LM )(MLL =

��� ����a

b

a

bλ*)*(* abbababL =

)(MLL =

M

1q 2q

3q

0q

Page 69: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

69

������������������������.��������� � �M

a

b

a

M0q 1q 2q

3q10 aqq →

Page 70: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

70

a

b

a

M0q 1q 2q

3q

21

11

10

aqq

bqq

aqq

→→→

Page 71: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

71

a

b

a

M0q 1q 2q

3q

32

21

11

10

bqq

aqq

bqq

aqq

→→→→

Page 72: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

72

a

b

a

M0q 1q 2q

3q

λ→→→→→→

3

13

32

21

11

10

q

qq

bqq

aqq

bqq

aqq

G

LMLGL == )()(

Page 73: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

73

��% �����

�����(�����������aq p

� ##����#������� apq →

���'�� ���� ��� ���'��

Page 74: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

74

�����(����������� fq

� ##����#������� λ→fq

Page 75: Faculty of Information Technology, Brno University of ...janousek/vyuka/vsl2/class5.pdf · S aAbb aaAbbb aabbb S Ab aAbb abb S Ab b G. 28! / aaaaAbbbbb aaaabbbbb S Ab aAbb aaAbbb

75

� ���������������������.�������� � �

���������������� � �

$ ����

G

G

LMLGL == )()(