คำถามติดแท็ก counter-automata

2dca ของ (สองทางกำหนดหนึ่งเคาน์เตอร์ออโต) (ปีเตอร์เสน 1994)สามารถรับรู้ภาษาเอกต่อไปนี้: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} 2dca's มีภาษาอื่นที่ไม่ใช่ภาษาอื่นที่ไม่ใช่ภาษาอื่นหรือไม่? โปรดทราบว่ายังไม่ทราบว่าของ 2dca สามารถจดจำหรือไม่SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} \mid n \geq 0 \rbrace คำจำกัดความ: 2dca เป็นระบบ จำกัด อัตโนมัติสองทางที่มีตัวนับ 2dca สามารถทดสอบว่าค่าของตัวนับเป็นศูนย์หรือไม่และเพิ่มหรือลดค่าของตัวนับ 1 ในแต่ละขั้นตอน

17 fl.formal-languages  automata-theory  counter-automata 

สามารถสองมาตรฐานเคาน์เตอร์ ( ) เครื่องด้วยคำแนะนำต่อไปนี้:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT ตัดสินใจภาษาต่อไปนี้: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n \geq 1 \} (ตอนแรกอินพุตถูกโหลดในตัวนับ )?c1c1c_1 มันยังคงเป็นปัญหาที่เปิดอยู่หรือไม่? (cf. รวย Schroeppel, "เครื่องนับสองเครื่องไม่สามารถคำนวณ …

14 fl.formal-languages  counter-automata 

วิธีการหนึ่งที่สลับขยายลงออโต (1APDA) สามารถรับรู้ภาษาใด ๆ ใน (สลับโดยจันทรา Kozen และ Stockmeyer, 1981) ด้วยการเปลี่ยนที่เก็บข้อมูลแบบขยายลงของ 1APDA ด้วยตัวนับเราสามารถขอรับออโตเมติกสลับทางเดียวด้วยหนึ่งตัวนับ (1ACA) คำถามของฉันเกี่ยวกับ 1ACAs สำหรับภาษาที่ไม่น่าสนใจDTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) 1ACAs สามารถจดจำภาษาที่ไม่ใช่ภาษาธรรมดาบางภาษาได้หรือไม่ โปรดทราบว่าการกดตัวเลขอัตโนมัติแบบทางเดียวเท่านั้นสามารถรับรู้ได้เฉพาะภาษาทั่วไป

11 automata-theory  counter-automata  unary-languages