คำถามติดแท็ก turing-machines

ในการเฉลิมฉลองวันคล้ายวันเกิดของอลันทัวริง Google ตีพิมพ์Doodleซึ่งแสดงเครื่อง Doodle คือเครื่องจักรชนิดใด? มันสามารถแสดงภาษาทัวริงที่สมบูรณ์ได้หรือไม่ มีความแตกต่างที่ชัดเจนกับเครื่องทัวริงคลาสสิก: เทป จำกัด ข้อ จำกัด ในการเชื่อมต่อสถานะ ... ดูเดิลยังคงมีอยู่ที่นี่ (หน้าจอด้านบนขวาแสดงผลลัพธ์ที่ต้องการ) เทปที่อยู่ตรงกลางจะถูกแบ่งออกเป็นสี่เหลี่ยมที่สามารถเก็บว่างเปล่าเป็นศูนย์หรือหนึ่ง หัวอยู่ในตำแหน่งเหนือหนึ่งในสี่เหลี่ยมและใช้สำหรับการอ่านและการเขียน ใต้เทปคุณจะเห็นลูกศรสีเขียวซึ่งคุณสามารถคลิกเพื่อเริ่มเครื่อง มีวงกลมสองเส้นถัดจากมันและบางวงเชื่อมต่อกัน ฉันจะเรียกพวกเขาว่า "รัฐ" หลังจากที่เครื่องเริ่มขึ้นสถานะแรกทางด้านขวาของปุ่มสีเขียวจะสว่างขึ้นจากนั้นสถานะถัดไปทางขวาและอื่น ๆ ... แต่ละสถานะมีหนึ่งในคำสั่งต่อไปนี้: blank = ไม่ทำอะไรเลย (เพิ่งย้ายไปยังสถานะถัดไป) 1 = เขียนหนึ่งไปยังเทปที่ตำแหน่งปัจจุบันของหัว 0 = เขียนค่าศูนย์ลงในเทปที่ตำแหน่งปัจจุบันของส่วนหัว ลูกศรไปทางซ้าย = ย้ายหัวหนึ่งก้าวไปทางซ้าย ลูกศรไปทางขวา = เลื่อนหัวหนึ่งก้าวไปทางขวา condition: หากค่าภายใต้ส่วนหัวเท่ากับค่าที่แสดงในช่องสี่เหลี่ยมลงไปที่บรรทัดที่สองของสถานะ ถ้าไม่ใช่ให้ย้ายไปยังสถานะถัดไปทางด้านขวา กระโดดไปทางซ้าย: กลับสู่สถานะก่อนหน้า (คงที่) แต่อยู่ที่แถวบนเท่านั้น [ฉันลืมไปแล้วหนึ่งอันขอบคุณ @Marzio!] …

10 cc.complexity-theory  turing-machines 

ฉันเป็นนักเรียนปริญญาโทที่มุ่งเน้นไปที่ระบบกระจาย แต่ยังสนใจในวิทยาการคอมพิวเตอร์เชิงทฤษฎี ฉันสงสัยว่ามีตัวแทนอย่างเป็นทางการของระบบกระจายที่ด้านบนของเครื่องทัวริงหรือไม่? นั่นคือมันเป็นไปได้ที่จะขยาย (สร้างตัวแปร) แนวคิดของเครื่องทัวริงเพื่อใช้ประโยชน์จากการคำนวณแบบกระจายหรือไม่? หนึ่งความคิดคือการสร้างเทปที่ใช้ร่วมกัน (สิ่งที่คล้ายกับTuple Space ) ระหว่าง TM

10 turing-machines  dc.distributed-comp 

ฉันกำลังเล่นกับคำถามที่น่าสนใจและยังคงเปิดอยู่ " ตัวอักษรของเครื่องจักรทัวริงเทปเดี่ยว " (โดย Emanuele Viola) และเกิดขึ้นด้วยภาษาต่อไปนี้: L = { x ∈ { 0 , 1 }n เซนต์ | x | = n = 2ม. และ c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1 }L={x∈{0,1}n s.t. |x|=n=2m …

10 cc.complexity-theory  turing-machines  time-complexity 

วรรณกรรมส่วนใหญ่ดูเหมือนจะเกี่ยวข้องกับเครื่องจักรที่มีออราเคิลเดี่ยวสำหรับปัญหาเฉพาะอย่างไรก็ตามดูเหมือนว่าจะมีบทความสองสามฉบับที่พิจารณาเครื่องจักรที่มีออราเคิลหลายรายการ มีกระดาษหรือวิทยานิพนธ์ที่ดีซึ่งให้ภาพรวมของสิ่งที่รู้เกี่ยวกับเครื่องจักรดังกล่าวหรือไม่? โดยเฉพาะอย่างยิ่งฉันมีความสนใจใน P ที่มีหลายคำทำนาย

10 oracles  turing-machines 

ฉันสงสัยมานานแล้วเกี่ยวกับทัวริงแมชชีนกับหนึ่งเทปและตรง 3 รัฐ q0q0q_0สถานะการยอมรับ qacceptqacceptq_{accept}และสถานะการปฏิเสธ qrejectqrejectq_{reject}) โปรดทราบว่าฉันอนุญาตให้ตัวอักษรของเทป (จำกัด ) โดยพลการ (เช่นตัวอักษรของเทปไม่ได้ถูก จำกัด ให้เท่ากับตัวอักษรอินพุต) เพื่อความสะดวกโปรดโทรหา class ของภาษาที่ TMs จำได้ C3C3C_3. ฉันมีคำถามหลายข้อเกี่ยวกับคลาสนี้: มี C3C3C_3 ก่อนหน้านี้เคยเรียน? คือ C3C3C_3 เป็นที่ทราบกันดีว่ามีความซับซ้อน / ความสามารถในการคำนวณอื่น ๆ เป็นคลาส C3C3C_3แข็งแกร่งต่อการเปลี่ยนแปลงของแบบจำลอง ตัวอย่างเช่นถ้า TMs ที่ใช้นั้นได้รับอนุญาตให้อยู่ในระหว่างการเปลี่ยนครั้งเดียว (ซึ่งตรงกันข้ามกับการย้ายไปทางซ้ายหรือขวาเสมอ) หรือถ้าเทปถูกทำให้ไม่มีที่สิ้นสุดในทั้งสองทิศทางแทนที่จะเป็นไปทางขวา ภาษาที่รู้จักโดย 3-state 1-tape TMs มีการเปลี่ยนแปลงอย่างไร ได้อย่างไร C3C3C_3 เกี่ยวข้องกับชั้นเรียนของภาษาปกติ RegularRegularRegular? (โดยเฉพาะอย่างยิ่งคือทุกภาษาปกติในC3C3C_3?) การค้นหา (ค่อนข้างคร่าวๆ) นำเสนอเฉพาะโพสต์ cs.stackexchange …

9 automata-theory  turing-machines  cellular-automata 

การ จำกัด ขอบเขตการเข้าชมแบบไม่ จำกัด ขอบเขตของออโตมาตะแบบ จำกัด เฉพาะภาษาปกติหรือไม่? โดย nondeterministic linear bounded Automaton (nLBA) ฉันหมายถึงเครื่องทัวริง nondeterministic แบบเทปเดี่ยวที่อินพุตมา "padded" กับ endmarkers ที่ปลายทั้งสองซึ่งไม่สามารถเขียนทับได้และหัวไม่สามารถเคลื่อนออกจากบริเวณอินพุตได้ "นอก" endmarkers LBA ถูก จำกัด การเยี่ยมชมหากมีตัวเลข kkkเช่นว่าทั้งหมดทำงานบนอินพุตทั้งหมดยุติและเยี่ยมชมทุกเซลล์ของเทปมากที่สุดkkk ครั้ง เครื่องดังกล่าวรู้จักเฉพาะภาษาปกติหรือไม่? ผลลัพธ์ของ Hennieดูเหมือนจะพูดแบบนี้เฉพาะกับเครื่องจักรที่กำหนดขึ้นมาเท่านั้นหากฉันอ่านมันถูกต้อง ผลลัพธ์เก็บไว้สำหรับเครื่อง nondeterministic ด้วยหรือไม่ ถ้าใช่จะมีการอ้างอิง

9 automata-theory  turing-machines  regular-language  space-bounded 

ฉันมีคำถามที่ไร้เดียงสา: มีเครื่องทัวริงซึ่งการเลิกจ้างเป็นจริง แต่ไม่สามารถพิสูจน์ได้โดยทฤษฎีทางธรรมชาติที่สอดคล้องและมีขอบเขต ฉันขอหลักฐานการดำรงอยู่เพียงแทนที่จะเป็นตัวอย่างที่เฉพาะเจาะจง นี้อาจมีการเชื่อมต่อบางคนที่มีการวิเคราะห์ลำดับ แน่นอนสำหรับเครื่องทัวริงMMMเราสามารถกำหนด O(M)O(M)O(M)เป็นลำดับที่น้อยที่สุดของทฤษฎีที่สอดคล้องกันซึ่งพิสูจน์การสิ้นสุดของมัน ดังนั้นฉันคิดว่ามันคงเทียบเท่าที่จะถามว่ามีหรือไม่MMM ดังนั้น O(M)≥ωCK1O(M)≥ω1CKO(M) \geq \omega_1^{CK}?

9 turing-machines  proof-theory  halting-problem