Pushdown Automata Chapter 5 Chapter 5 Chapter 5 Chapter 5
����������������� � ������������������������������������������������������ � �������������������������������������������������� ���������� Cao Hoang Tru 2 CSE Faculty - HCMUT 01 July 2009
����������������� � ������ ������������ � �� ! � ! "�!��������������������������� � �� � � � "��� ≥ #����������������� Cao Hoang Tru 3 CSE Faculty - HCMUT 01 July 2009
��������������� &�'������� $����������� % # (��)�� Cao Hoang Tru 4 CSE Faculty - HCMUT 01 July 2009
����������������� &�'������� $����������� *���! % # (��)�� Cao Hoang Tru 5 CSE Faculty - HCMUT 01 July 2009
+�������������������������� ���������,+�-�. /�0�,1�� � �� Γ �� δ ��% # ������. 12������������������������������ � 2����������������(������� ��'�����'����� Γ 2����������������(������� ����!���'����� δ 2�1� × , � ∪ � λ �.� × Γ → ������������������1� × Γ � ������������������� % #� ∈ 12�������������� �� ∈ Γ 2�����!��������(���� �� ⊆ 12�������������������� Cao Hoang Tru 6 CSE Faculty - HCMUT 01 July 2009
+�������������������������� ���������,+�-�. δ 2�1� × , � ∪ � λ �.� × Γ → ������������������1� × Γ ����!���' ����!���'� ��'�������� Cao Hoang Tru 7 CSE Faculty - HCMUT 01 July 2009
3���'�� δ ,% 4 ������.�0��,% 5 ����.��,% 6 �� λ .� � � % 5 � % 4 % 6 Cao Hoang Tru 8 CSE Faculty - HCMUT 01 July 2009
3���'�� /�0�,1�� � �� Γ �� δ ��% # ������. 1�0��% # ��% 4 ��% 5 ��% 6 � δ ,% # �����#.�0��,% 4 ��4#.��,% 6 �� λ .� � 0������� δ ,% # �� λ ��#.�0��,% 6 �� λ .� Γ 0��#��4� δ ,% 4 �����4.�0��,% 4 ��44.� ��0�# δ ,% 4 �����4.�0��,% 5 �� λ .� ��0��% 6 � δ ,% 5 �����4.�0��,% 5 �� λ .� δ ,% 5 �� λ ��#.�0��,% 6 �� λ .� Cao Hoang Tru 9 CSE Faculty - HCMUT 01 July 2009
&�������������-�����'���� ,%������. ������������� �������'������ ����!��������� ��'��������� Cao Hoang Tru 10 CSE Faculty - HCMUT 01 July 2009
&�������������-�����'���� ��7�2 ,% 4 ��������.� | ,% 5 �����(�. ��� ,% 5 ��(.� ∈ ∈ δ ,% 4 ������. ∈ ∈ Cao Hoang Tru 11 CSE Faculty - HCMUT 01 July 2009
&�������������-�����'���� ,% 4 �����(.� | ∗Μ ,% 5 �����7. ,% 4 �����(.� | +Μ ,% 5 �����7. Cao Hoang Tru 12 CSE Faculty - HCMUT 01 July 2009
8������������'�����(�+�-� 8���/�0�,1�� � �� Γ �� δ ��% # ������.�������+�-�� 8,/.�0���� ∈ Σ � "�,% # ������.� | ∗ Μ ,% � �� λ ���.��% � ∈ ����� ∈ Γ � Cao Hoang Tru 13 CSE Faculty - HCMUT 01 July 2009
3���'�� 8�0�� �� ∈ ������ � "�� � ,�.�0�� � ,�. � /�0�,1�� � �� Γ �� δ ��% # ������.� 9 Cao Hoang Tru 14 CSE Faculty - HCMUT 01 July 2009
3���'�� 8�0�� �� ∈ ������ � "�� � ,�.�0�� � ,�. � /�0�,1�� � �� Γ �� δ ��% # ������. 1�0��% # ��% � � δ ,% # �� λ ���.�0��,% � ���.� � 0������� δ ,% # ������.�0��,% # ��#�.� Γ 0��#��4���� δ ,% # ������.�0��,% # ��4�.� ��0��% � �� δ ,% # �����#.�0��,% # ��##.� δ ,% # �����#.�0��,% # �� λ .� δ ,% # �����4.�0��,% # �� λ .� δ ,% # �����4.�0��,% # ��44.� Cao Hoang Tru 15 CSE Faculty - HCMUT 01 July 2009
3���'�� 8�0�� �� : "��� ∈ ������ ; � /�0�,1�� � �� Γ �� δ ��% # ������.� 9 Cao Hoang Tru 16 CSE Faculty - HCMUT 01 July 2009
3���'�� 8�0�� �� : "��� ∈ ������ ; � /�0�,1�� � �� Γ �� δ ��% # ������. 1�0��% # ��% 4 ��% 5 �� � 0�������� Γ 0����������� ��0��% 5 �� δ ,% # ������.�0��,% # ����.� δ ,% # �� λ ���.�0��,% 4 ���.� δ ,% # ������.�0��,% # ����.� δ ,% # �� λ ���.�0��,% 4 ���.� δ ,% # ������.�0��,% # ����.� δ ,% # ������.�0��,% # ����.� δ ,% 4 ������.�0��,% 4 �� λ .� δ ,% # ������.�0��,% # ����.� δ ,% 4 ������.�0��,% 4 �� λ .� δ ,% # ������.�0��,% # ����.� δ ,% 4 �� λ ���.�0��,% 5 ���.� Cao Hoang Tru 17 CSE Faculty - HCMUT 01 July 2009
+�-������$������������8�������� <������� +� δ ,% # �� λ ���.�0��,% 4 ��*�.� *� → �*� "��� δ ,% 4 �����*.�0��,% 4 ��*�.��,% 4 �� λ .� �� → �= δ ,% 4 ������.�0��,% 4 ��=.� =� → �� δ ,% 4 �����=.�0��,% 4 �� λ .� δ ,% 4 �� λ ���.�0��,% 5 �� λ .� Cao Hoang Tru 18 CSE Faculty - HCMUT 01 July 2009
������� ������(�����������������������8������������������+�-��/ ����������8 0�8,/.� Cao Hoang Tru 19 CSE Faculty - HCMUT 01 July 2009
������� �������� <�0�,>�����*���. /�0�,�% # ��% 4 ��% � ������> ∪ ����� δ ��% # ������% � �. �� ∉ > δ ,% # �� λ ���.�0��,% 4 ��*�.� ,% 4 ���.� ∈ δ ,% 4 ������.����� � → �� ∈ � δ ,% 4 �� λ ���.�0��,% � ���.� Cao Hoang Tru 20 CSE Faculty - HCMUT 01 July 2009
3���'�� <������� +� δ ,% # �� λ ���.�0��,% 4 ��*�.� * → �� δ ,% 4 �����*.�0��,% 4 ���.� � → ��=$ "��= "�� δ ,% 4 ������.�0��,% 4 ���=$.��,% 4 �� λ .� δ ,% 4 ������.�0��,% 4 ��=.� = → �� δ ,% 4 �����=.�0��,% 4 �� λ .� $ → �� δ ,% 4 �����$.�0��,% 4 �� λ .� δ ,% 4 �� λ ���.�0��,% 5 �� λ .� Cao Hoang Tru 21 CSE Faculty - HCMUT 01 July 2009
$������������<������������+�-� /�0�,1�� � �� Γ �� δ ��% # ������. <�0�,>�����*���. 8,<.�0�8,/. Cao Hoang Tru 22 CSE Faculty - HCMUT 01 July 2009
$������������<������������+�-� /�0�,1�� � �� Γ �� δ ��% # ������. /?2�*����������������� ����������������������� ��������!������'�( δ ,% � ������.�0��� 4 ��� 5 �������� � � � � 0�,% @ �� λ . � � 0�,% @ ��=$. Cao Hoang Tru 23 CSE Faculty - HCMUT 01 July 2009
Recommend
More recommend