Ikki tomonlama cheklangan avtomat - Two-way finite automaton

Yilda Kompyuter fanlari, xususan avtomatlar nazariyasi, a ikki tomonlama cheklangan avtomat a cheklangan avtomat uning kiritilishini qayta o'qishga ruxsat beriladi.

Ikki tomonlama deterministik cheklangan avtomat

A ikki tomonlama aniqlangan cheklangan avtomat (2DFA) an mavhum mashina, ning umumlashtirilgan versiyasi aniqlangan cheklangan avtomat (DFA), allaqachon qayta ishlangan belgilarni qayta ko'rib chiqishi mumkin. DFA-da bo'lgani kabi, joriy belgilar asosida ularning o'rtasida o'tishlari bo'lgan sonli sonli holatlar mavjud, ammo har bir o'tish mashinaning kirish joyidagi o'rnini chapga, o'ngga yoki turg'unlikka yo'naltiradimi-yo'qligini ko'rsatadigan qiymat bilan belgilanadi. xuddi shu holatda. Bunga teng ravishda, 2DFA ni quyidagicha ko'rish mumkin faqat o'qish uchun Turing mashinalari ish lentasi bo'lmagan, faqat o'qish uchun mo'ljallangan kirish lentasi.

2DFAlar 1959 yildagi seminal qog'ozga kiritilgan Rabin va Skott,^[1] kim ularni bir tomonlama kuchga teng ekanligini isbotladi DFAlar. Ya'ni, har qanday rasmiy til 2DFA tomonidan tan olinishi mumkin bo'lgan DFA tomonidan har bir belgini faqat tartibda tekshiradigan va iste'mol qiladigan DFA tomonidan tan olinishi mumkin. DFA-lar, albatta, 2DFA-larning alohida ishi bo'lganligi sababli, bu ikkala turdagi mashinalar aniq sinfni tan olishlarini anglatadi oddiy tillar. Biroq, 2DFA uchun ekvivalent DFA ko'p sonli holatlarni talab qilishi mumkin, bu esa 2DFAlarni ba'zi bir umumiy muammolar uchun algoritmlar uchun juda amaliy ko'rinishga olib keladi.

2DFA'lar ham tengdir faqat o'qish uchun Turing mashinalari ular o'zlarining ish lentalarida faqat doimiy hajmdan foydalanadilar, chunki har qanday doimiy miqdordagi ma'lumotlar mahsulot konstruktsiyasi (ish lentasi holati va boshqaruv holatining har bir kombinatsiyasi uchun holat) orqali cheklangan boshqaruv holatiga kiritilishi mumkin.

Rasmiy tavsif

Rasmiy ravishda ikki tomonlama deterministik cheklangan avtomat quyidagi 8- bilan tavsiflanishi mumkinpanjara: ${displaystyle M = (Q, Sigma, L, R, delta, s, t, r)}$ qayerda

${displaystyle Q}$ sonli, bo'sh bo'lmagan to'plamdir davlatlar
${displaystyle Sigma}$ bu kirish alifbosining cheklangan va bo'sh bo'lmagan to'plamidir
${displaystyle L}$ chap endmarker
${displaystyle R}$ to'g'ri endmarker
${displaystyle delta: Q imes (Sigma kubogi {L, R}) qarag'ay Q imes {mathrm {chapda, o'ngda}}}$
${displaystyle s}$ boshlang'ich holati
${displaystyle t}$ yakuniy holat
${displaystyle r}$ rad qilingan holat

Bundan tashqari, quyidagi ikkita shart bajarilishi kerak:

Barcha uchun ${displaystyle qin Q}$

{displaystyle delta (q, L) = (q ^ {prime}, mathrm {right})}

kimdir uchun

{displaystyle q ^ {prime} in Q}

{displaystyle delta (q, R) = (q ^ {prime}, mathrm {left})}

kimdir uchun

{displaystyle q ^ {prime} in Q}

Unda alfavitdagi ko'rsatgich oxiriga yetganda biron bir o'tish imkoniyati bo'lishi kerakligi aytilgan.

Barcha belgilar uchun ${Sigma kubogidagi displaystyle sigma {L}}$

{displaystyle delta (t, sigma) = (t, R)}

{displaystyle delta (r, sigma) = (r, R)}

{displaystyle delta (t, R) = (t, L)}

{displaystyle delta (r, R) = (r, L)}

Avtomat qabul qilish yoki rad etish holatiga kelgandan so'ng u erda abadiy qoladi va ko'rsatkich eng to'g'ri belgiga o'tadi va u erda cheksiz aylanadi.^[2]

Ikki tomonlama nondeterministik cheklangan avtomat

A ikki tomonlama nondeterministik cheklangan avtomat (2NFA) bir xil konfiguratsiyada aniqlangan bir nechta o'tishlarga ega bo'lishi mumkin. Uning o'tish funktsiyasi

${displaystyle delta: Q imes (Sigma kubogi {L, R}) qorong'i 2 ^ {Q imes {mathrm {chapda, o'ngda}}}}$ .

Oddiy bir tomonlama kabi NFA, agar mumkin bo'lgan hisoblashlardan kamida bittasi qabul qilsa, 2NFA mag'lubiyatni qabul qiladi. 2DFAlar singari, 2NFAlar ham oddiy tillarni qabul qiladilar.

Ikki tomonlama o'zgaruvchan cheklangan avtomat

A ikki tomonlama o'zgaruvchan cheklangan avtomat (2AFA) an ning ikki tomonlama kengaytmasi o'zgaruvchan cheklangan avtomat (AFA). Uning davlat to'plami

${displaystyle Q = Q_ {mavjud} chashka Q_ {umuman)}$ qayerda ${displaystyle Q_ {mavjud} qopqoq Q_ {forall} = emptyset}$ .

Shtatlar ${displaystyle Q_ {mavjud}}$ va ${displaystyle Q_ {forall}}$ deyiladi mavjud bo'lgan resp. universal. Ekzistensial holatda 2AFA noaniq tarzda NFA kabi keyingi holatni tanlaydi va natijada olingan hisoblashlardan kamida bittasi qabul qilsa qabul qiladi. Umumjahon holatda 2AFA barcha keyingi holatlarga o'tadi va natijada barcha hisob-kitoblar qabul qilinsa qabul qiladi.

Davlatning murakkabligi bo'yicha savdo-sotiq

Ikki tomonlama va bir tomonlama cheklangan avtomatlar, deterministik va nondeterministik va o'zgaruvchan, oddiy tillarning bir xil sinfini qabul qiladi. Shu bilan birga, bitta turdagi avtomatni boshqa turdagi ekvivalent avtomatga aylantirish holatlar sonining ko'payishiga olib keladi. Kaputsis^[3] o'zgaruvchanligini aniqladi ${displaystyle n}$ - davlatning 2DFA qiymatiga teng DFA kerak ${displaystyle n (n ^ {n} - (n-1) ^ {n})}$ eng yomon holatda davlatlar. Agar shunday bo'lsa ${displaystyle n}$ - davlat 2DFA yoki 2NFA NFAga aylantiriladi, eng yomon holatlar soni talab qilinadi ${displaystyle {inom {2n} {n + 1}} = Oleft ({frac {4 ^ {n}} {sqrt {n}}} ight)}$ . Ladner, Lipton va Stokmeyer.^[4]buni isbotladi ${displaystyle n}$ - davlat 2AFA bilan DFA ga aylantirilishi mumkin ${displaystyle 2 ^ {n2 ^ {n}}}$ 2AFA dan NFA konversiyasini talab qiladi ${displaystyle 2 ^ {Theta (nlog n)}}$ eng yomon holatda davlatlar, qarang Geffert va Oxotin.^[5]

Kompyuter fanida hal qilinmagan muammo:

Har bir narsani qiladi

{displaystyle n}

- davlat 2NFA ning ekvivalenti bor

{displaystyle operator nomi {poly} (n)}

- davlat 2DFA?

(kompyuter fanida hal qilinmagan muammolar)

Har bir 2NFA-ni 2DFga aylantirish mumkinmi, bu faqat shtatlar sonining polinomial ko'payishi bilan ochiq muammo. Muammoni Sakoda va Sipser,^[6]uni kim bilan taqqoslagan P va NP muammo hisoblash murakkabligi nazariyasi.Berman va Lingas^[7] bu muammo bilan rasmiy aloqani aniqladi L va boshqalar NL ochiq muammo, qarang Kaputsis^[8] aniq munosabatlar uchun.

Avtomat supurish

Süpürme avtomatlari - bu faqat endmarkerlarda burilib, chapdan o'ngga va o'ngdan chapga almashinish orqali kirish satrini qayta ishlaydigan maxsus turdagi 2DFAlar. Sipser^[9] tillarning ketma-ketligini tuzdi, ularning har biri n-holatidagi NFA tomonidan qabul qilingan, ammo hech bir avtomat tomonidan qabul qilinmagan, ammo undan kam ${displaystyle 2 ^ {n}}$ davlatlar.

Ikki tomonlama kvantli cheklangan avtomat

1997 yilda 2DFA kontseptsiyasi umumlashtirildi kvant hisoblash tomonidan Jon Uotroz "Ikki tomonlama kvantli so'nggi avtomatlarning kuchi to'g'risida", unda u ushbu mashinalarning notekis tillarni taniy olishini va shuning uchun DFAlarga qaraganda kuchliroq ekanligini namoyish etadi.^[10]

Ikki tomonlama pastga tushirish avtomati

A pastga tushirish avtomati uning kirish lentasida ikki tomonga o'tishga ruxsat berilgan deb nomlanadi ikki tomonlama surish avtomati (2PDA);^[11] u Xartmanis, Lyuis va Stearns tomonidan o'rganilgan (1965).^[12]Aho, Hopkroft, Ullman (1968)^[13]va Kuk (1971)^[14] aniqlangan tillar sinfini deterministik (2DPDA) va deterministik bo'lmagan (2NPDA) ikki tomonlama surish avtomatlari; Grey, Xarrison va Ibarra (1967) ushbu tillarning yopilish xususiyatlarini o'rganishdi. ^[15]

Adabiyotlar

^ Rabin, Maykl O.; Skott, Dana (1959). "Cheklangan avtomatlar va ularni hal qilish muammolari". IBM Journal of Research and Development. 3 (2): 114–125. doi:10.1147 / rd.32.0114.
^ Ushbu ta'rif Stenford Universitetidan Dekster Kozen tomonidan CS682 (Hisoblash nazariyasi) ma'ruzalaridan olingan.
^ Kaputsis, Kristos (2005). "Nondeterministic Finite Automata'dan ikki yo'nalishni olib tashlash". J. Jedjeyowicz, A.Sepietowski (tahrir). Kompyuter fanining matematik asoslari. MFCS 2005 yil. 3618. Springer. 544-555-betlar. doi:10.1007/11549345_47.
^ Ladner, Richard E.; Lipton, Richard J.; Stokmeyer, Larri J. (1984). "O'zgaruvchan surish va stek avtomatlari". Hisoblash bo'yicha SIAM jurnali. 13 (1): 135–155. doi:10.1137/0213010. ISSN 0097-5397.
^ Geffert, Viliam; Okhotin, Aleksandr (2014). "Ikki tomonlama o'zgaruvchan cheklangan avtomatlarni bir tomonlama nondeterministik avtomatlarga o'tkazish". Informatika matematik asoslari 2014 yil. Kompyuter fanidan ma'ruza matnlari. 8634. 291-302 betlar. doi:10.1007/978-3-662-44522-8_25. ISBN 978-3-662-44521-1. ISSN 0302-9743.
^ Sakoda, Uilyam J.; Sipser, Maykl (1978). Nondeterminizm va ikki tomonlama cheklangan avtomatlarning hajmi. STOC 1978. ACM. 275-286-betlar. doi:10.1145/800133.804357.
^ Berman, Pyotr; Lingas, Andjey (1977). Oddiy tillarning cheklangan avtomatlar nuqtai nazaridan murakkabligi to'g'risida. Hisobot 304. Polsha Fanlar akademiyasi.
^ Kapoutsis, Christos A. (2014). "Logaritmik fazoga qarshi ikki tomonlama avtomatika". Hisoblash tizimlari nazariyasi. 55 (2): 421–447. doi:10.1007 / s00224-013-9465-0.
^ Sipser, Maykl (1980). "Avtomat supurish hajmining pastki chegaralari". Kompyuter va tizim fanlari jurnali. 21 (2): 195–202. doi:10.1016/0022-0000(80)90034-3.
^ Jon Uotroz. Ikki tomonlama kvantli so'nggi avtomatlarning kuchi to'g'risida. CS-TR-1997-1350. 1997 yil. pdf
^ Jon E. Xopkroft; Jeffri D. Ullman (1979). Avtomatika nazariyasi, tillar va hisoblash bilan tanishish. Addison-Uesli. ISBN 978-0-201-02988-8. Bu erda: p.124; ushbu xat 2003 yildagi nashrda chiqarib tashlangan.
^ J. Xartmanis; P.M. Lyuis II, R.E. Stearns (1965). "Xotiraning cheklangan hisoblashlar ierarxiyalari". Proc. 6-Ann. IEEE simptomi. Kommutatsiya davri nazariyasi va mantiqiy dizayni to'g'risida. 179-190 betlar.
^ Alfred V. Aho; Jon E. Xopkroft; Jeffri D. Ullman (1968). "Pushdown avtomatik tillarining vaqt va lenta murakkabligi". Axborot va boshqarish. 13 (3): 186–206. doi:10.1016 / s0019-9958 (68) 91087-5.
^ S.A.Kuk (1971). "Deterministik ikki tomonlama surish avtomatlarini chiziqli vaqt simulyatsiyasi". Proc. IFIP Kongressi. Shimoliy Gollandiya. 75-80 betlar.
^ Jim Grey; Maykl A. Xarrison; Oskar X. Ibarra (1967). "Ikki tomonlama pastga tushirish avtomatlari". Axborot va boshqarish. 11 (1–2): 30–70. doi:10.1016 / s0019-9958 (67) 90369-5.

[1] Rabin, Maykl O.; Skott, Dana (1959). "Cheklangan avtomatlar va ularni hal qilish muammolari". IBM Journal of Research and Development. 3 (2): 114–125. doi:10.1147 / rd.32.0114.

[2] Ushbu ta'rif Stenford Universitetidan Dekster Kozen tomonidan CS682 (Hisoblash nazariyasi) ma'ruzalaridan olingan.

[3] Kaputsis, Kristos (2005). "Nondeterministic Finite Automata'dan ikki yo'nalishni olib tashlash". J. Jedjeyowicz, A.Sepietowski (tahrir). Kompyuter fanining matematik asoslari. MFCS 2005 yil. 3618. Springer. 544-555-betlar. doi:10.1007/11549345_47.

[LadnerLipton1984-4] Ladner, Richard E.; Lipton, Richard J.; Stokmeyer, Larri J. (1984). "O'zgaruvchan surish va stek avtomatlari". Hisoblash bo'yicha SIAM jurnali. 13 (1): 135–155. doi:10.1137/0213010. ISSN 0097-5397.

[GeffertOkhotin2014-5] Geffert, Viliam; Okhotin, Aleksandr (2014). "Ikki tomonlama o'zgaruvchan cheklangan avtomatlarni bir tomonlama nondeterministik avtomatlarga o'tkazish". Informatika matematik asoslari 2014 yil. Kompyuter fanidan ma'ruza matnlari. 8634. 291-302 betlar. doi:10.1007/978-3-662-44522-8_25. ISBN 978-3-662-44521-1. ISSN 0302-9743.

[6] Sakoda, Uilyam J.; Sipser, Maykl (1978). Nondeterminizm va ikki tomonlama cheklangan avtomatlarning hajmi. STOC 1978. ACM. 275-286-betlar. doi:10.1145/800133.804357.

[7] Berman, Pyotr; Lingas, Andjey (1977). Oddiy tillarning cheklangan avtomatlar nuqtai nazaridan murakkabligi to'g'risida. Hisobot 304. Polsha Fanlar akademiyasi.

[8] Kapoutsis, Christos A. (2014). "Logaritmik fazoga qarshi ikki tomonlama avtomatika". Hisoblash tizimlari nazariyasi. 55 (2): 421–447. doi:10.1007 / s00224-013-9465-0.

[9] Sipser, Maykl (1980). "Avtomat supurish hajmining pastki chegaralari". Kompyuter va tizim fanlari jurnali. 21 (2): 195–202. doi:10.1016/0022-0000(80)90034-3.

[10] Jon Uotroz. Ikki tomonlama kvantli so'nggi avtomatlarning kuchi to'g'risida. CS-TR-1997-1350. 1997 yil. pdf

[11] Jon E. Xopkroft; Jeffri D. Ullman (1979). Avtomatika nazariyasi, tillar va hisoblash bilan tanishish. Addison-Uesli. ISBN 978-0-201-02988-8. Bu erda: p.124; ushbu xat 2003 yildagi nashrda chiqarib tashlangan.

[12] J. Xartmanis; P.M. Lyuis II, R.E. Stearns (1965). "Xotiraning cheklangan hisoblashlar ierarxiyalari". Proc. 6-Ann. IEEE simptomi. Kommutatsiya davri nazariyasi va mantiqiy dizayni to'g'risida. 179-190 betlar.

[13] Alfred V. Aho; Jon E. Xopkroft; Jeffri D. Ullman (1968). "Pushdown avtomatik tillarining vaqt va lenta murakkabligi". Axborot va boshqarish. 13 (3): 186–206. doi:10.1016 / s0019-9958 (68) 91087-5.

[14] S.A.Kuk (1971). "Deterministik ikki tomonlama surish avtomatlarini chiziqli vaqt simulyatsiyasi". Proc. IFIP Kongressi. Shimoliy Gollandiya. 75-80 betlar.

[15] Jim Grey; Maykl A. Xarrison; Oskar X. Ibarra (1967). "Ikki tomonlama pastga tushirish avtomatlari". Axborot va boshqarish. 11 (1–2): 30–70. doi:10.1016 / s0019-9958 (67) 90369-5.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]