pushdown automata
play

Pushdown Automata Chapter 5 Chapter 5 Chapter 5 Chapter 5 - PowerPoint PPT Presentation

Pushdown Automata Chapter 5 Chapter 5 Chapter 5 Chapter 5


  1. Pushdown Automata Chapter 5 Chapter 5 Chapter 5 Chapter 5

  2. ����������������� � ������������������������������������������������������ � �������������������������������������������������� ���������� Cao Hoang Tru 2 CSE Faculty - HCMUT 01 July 2009

  3. ����������������� � ������ ������������ � �� ! � ! "�!��������������������������� � �� � � � "��� ≥ #����������������� Cao Hoang Tru 3 CSE Faculty - HCMUT 01 July 2009

  4. ��������������� &�'������� $����������� % # (��)�� Cao Hoang Tru 4 CSE Faculty - HCMUT 01 July 2009

  5. ����������������� &�'������� $����������� *���! % # (��)�� Cao Hoang Tru 5 CSE Faculty - HCMUT 01 July 2009

  6. +�������������������������� ���������,+�-�. /�0�,1�� � �� Γ �� δ ��% # ������. 12������������������������������ � 2����������������(������� ��'�����'����� Γ 2����������������(������� ����!���'����� δ 2�1� × , � ∪ � λ �.� × Γ → ������������������1� × Γ � ������������������� % #� ∈ 12�������������� �� ∈ Γ 2�����!��������(���� �� ⊆ 12�������������������� Cao Hoang Tru 6 CSE Faculty - HCMUT 01 July 2009

  7. +�������������������������� ���������,+�-�. δ 2�1� × , � ∪ � λ �.� × Γ → ������������������1� × Γ ����!���' ����!���'� ��'�������� Cao Hoang Tru 7 CSE Faculty - HCMUT 01 July 2009

  8. 3���'�� δ ,% 4 ������.�0��,% 5 ����.��,% 6 �� λ .� � � % 5 � % 4 % 6 Cao Hoang Tru 8 CSE Faculty - HCMUT 01 July 2009

  9. 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

  10. &�������������-�����'���� ,%������. ������������� �������'������ ����!��������� ��'��������� Cao Hoang Tru 10 CSE Faculty - HCMUT 01 July 2009

  11. &�������������-�����'���� ��7�2 ,% 4 ��������.� | ,% 5 �����(�. ��� ,% 5 ��(.� ∈ ∈ δ ,% 4 ������. ∈ ∈ Cao Hoang Tru 11 CSE Faculty - HCMUT 01 July 2009

  12. &�������������-�����'���� ,% 4 �����(.� | ∗Μ ,% 5 �����7. ,% 4 �����(.� | +Μ ,% 5 �����7. Cao Hoang Tru 12 CSE Faculty - HCMUT 01 July 2009

  13. 8������������'�����(�+�-� 8���/�0�,1�� � �� Γ �� δ ��% # ������.�������+�-�� 8,/.�0���� ∈ Σ � "�,% # ������.� | ∗ Μ ,% � �� λ ���.��% � ∈ ����� ∈ Γ � Cao Hoang Tru 13 CSE Faculty - HCMUT 01 July 2009

  14. 3���'�� 8�0�� �� ∈ ������ � "�� � ,�.�0�� � ,�. � /�0�,1�� � �� Γ �� δ ��% # ������.� 9 Cao Hoang Tru 14 CSE Faculty - HCMUT 01 July 2009

  15. 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

  16. 3���'�� 8�0�� �� : "��� ∈ ������ ; � /�0�,1�� � �� Γ �� δ ��% # ������.� 9 Cao Hoang Tru 16 CSE Faculty - HCMUT 01 July 2009

  17. 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

  18. +�-������$������������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

  19. ������� ������(�����������������������8������������������+�-��/ ����������8 0�8,/.� Cao Hoang Tru 19 CSE Faculty - HCMUT 01 July 2009

  20. ������� �������� <�0�,>�����*���. /�0�,�% # ��% 4 ��% � ������> ∪ ����� δ ��% # ������% � �. �� ∉ > δ ,% # �� λ ���.�0��,% 4 ��*�.� ,% 4 ���.� ∈ δ ,% 4 ������.����� � → �� ∈ � δ ,% 4 �� λ ���.�0��,% � ���.� Cao Hoang Tru 20 CSE Faculty - HCMUT 01 July 2009

  21. 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

  22. $������������<������������+�-� /�0�,1�� � �� Γ �� δ ��% # ������. <�0�,>�����*���. 8,<.�0�8,/. Cao Hoang Tru 22 CSE Faculty - HCMUT 01 July 2009

  23. $������������<������������+�-� /�0�,1�� � �� Γ �� δ ��% # ������. /?2�*����������������� ����������������������� ��������!������'�( δ ,% � ������.�0��� 4 ��� 5 �������� � � � � 0�,% @ �� λ . � � 0�,% @ ��=$. Cao Hoang Tru 23 CSE Faculty - HCMUT 01 July 2009

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend