Câu hỏi được gắn thẻ «counter-automata»

2dca của (hai chiều xác định một toa automata) (Petersen, 1994) có thể nhận ra các ngôn ngữ unary sau: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Có ngôn ngữ đơn phương không tầm thường nào khác được công nhận bởi 2dca không? Ghi chú rằng …

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

Máy có thể có hai bộ đếm ( ) tiêu chuẩn với các hướng dẫn sau: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 quyết định ngôn ngữ sau: …

14 fl.formal-languages  counter-automata 

Máy tự động đẩy xuống xen kẽ một chiều (1APDA) có thể nhận ra bất kỳ ngôn ngữ nào trong (Thay thế bởi Chandra, Kozen và Stockmeyer, 1981) . Bằng cách thay thế bộ lưu trữ đẩy xuống của 1APDA bằng bộ đếm, chúng ta có thể có được một …

11 automata-theory  counter-automata  unary-languages 

Được biết điều gì đó về các ngôn ngữ được công nhận bởi bộ đếm tự động đa đầu xác định hai chiều hoặc logspace TM với bộ đếm (mô hình tương đương)? Lớp này được gọi là Aux2DC trong bài viết của cố vấn của tôi . Hoặc về …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata