a turing machine computing the reverse function (figure 7.11)
DESCRIPTION
A Turing machine computing the reverse function (Figure 7.11). JianSyuan Wong. q 0 ∆aabb. q 0 ∆aabb Ⱶ ∆q 1 aabb. q 0 ∆aabb Ⱶ ∆q 1 aabb Ⱶ ∆Aq 2 abb. q 0 ∆aabb Ⱶ ∆q 1 aabb Ⱶ ∆Aq 2 abb Ⱶ ∆Aaq 2 bb. q 0 ∆aabb Ⱶ ∆q 1 aabb Ⱶ ∆Aq 2 abb Ⱶ ∆Aaq 2 bb Ⱶ ∆Aabq 2 b. q 0 ∆aabb. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/1.jpg)
A Turing machine computing the reverse function(Figure 7.11)
JianSyuan Wong
![Page 2: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/2.jpg)
q0∆aabb
![Page 3: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/3.jpg)
q0∆aabb Ⱶ ∆q1aabb
![Page 4: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/4.jpg)
q0∆aabb Ⱶ ∆q1aabb Ⱶ ∆Aq2abb
![Page 5: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/5.jpg)
q0∆aabb Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb
![Page 6: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/6.jpg)
q0∆aabb Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b
![Page 7: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/7.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆
q0∆aabb
![Page 8: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/8.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b
q0∆aabb
![Page 9: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/9.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA
q0∆aabb
![Page 10: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/10.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA
q0∆aabb
![Page 11: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/11.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA
q0∆aabb
![Page 12: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/12.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA
q0∆aabb
![Page 13: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/13.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA
q0∆aabb
![Page 14: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/14.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A
q0∆aabb
![Page 15: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/15.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA
q0∆aabb
![Page 16: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/16.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA
q0∆aabb
![Page 17: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/17.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAA
q0∆aabb
![Page 18: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/18.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA
q0∆aabb
![Page 19: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/19.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA Ⱶ ∆BBAq8A
q0∆aabb
![Page 20: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/20.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA Ⱶ ∆BBAq8A Ⱶ ∆BBAAq8∆
q0∆aabb
![Page 21: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/21.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA Ⱶ ∆BBAq8A Ⱶ ∆BBAAq8∆ Ⱶ ∆BBAq9A
q0∆aabb
![Page 22: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/22.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA Ⱶ ∆BBAq8A Ⱶ ∆BBAAq8∆ Ⱶ ∆BBAq9A Ⱶ ∆BBq9Aa
q0∆aabb
![Page 23: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/23.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA Ⱶ ∆BBAq8A Ⱶ ∆BBAAq8∆ Ⱶ ∆BBAq9A Ⱶ ∆BBq9AaⱵ ∆Bq9Baa
q0∆aabb
![Page 24: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/24.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA Ⱶ ∆BBAq8A Ⱶ ∆BBAAq8∆ Ⱶ ∆BBAq9A Ⱶ ∆BBq9AaⱵ ∆Bq9Baa Ⱶ ∆q9Bbaa
q0∆aabb
![Page 25: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/25.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA Ⱶ ∆BBAq8A Ⱶ ∆BBAAq8∆ Ⱶ ∆BBAq9A Ⱶ ∆BBq9AaⱵ ∆Bq9Baa Ⱶ ∆q9Bbaa Ⱶ q9∆bbaa
q0∆aabb
![Page 26: A Turing machine computing the reverse function (Figure 7.11)](https://reader030.vdocuments.us/reader030/viewer/2022012922/56814bbf550346895db892be/html5/thumbnails/26.jpg)
Ⱶ ∆q1aabb Ⱶ ∆Aq2abb Ⱶ ∆Aaq2bb Ⱶ ∆Aabq2b Ⱶ ∆Aabbq2∆ Ⱶ ∆Aabq3b Ⱶ ∆Aaq7bA Ⱶ ∆Aq7abA Ⱶ ∆q7AabA Ⱶ ∆Bq1abA Ⱶ ∆BAq2bA Ⱶ ∆BAbq2A Ⱶ ∆BAq3bA Ⱶ ∆Bq7AAA Ⱶ ∆Bq7AAAⱵ ∆BBq1AA Ⱶ ∆BBAq8A Ⱶ ∆BBAAq8∆ Ⱶ ∆BBAq9A Ⱶ ∆BBq9AaⱵ ∆Bq9Baa Ⱶ ∆q9Bbaa Ⱶ q9∆bbaa Ⱶ ha∆bbaa accept
q0∆aabb