Có một ngôn ngữ một bộ đếm hoàn toàn không xác định mà bổ sung của nó là một bộ đếm?

Đặt $A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \}$

Rõ ràng,$\text{Deterministic one-counter} \subseteq A$

Đây có phải là trường hợp mà không?$A = \text{Deterministic one-counter}$

Tôi biết rằng đối với các ngôn ngữ không ngữ cảnh, sự tương tự không phải là trường hợp. Ví dụ: đặt . Sau đó, cả và đều không có ngữ cảnh nhưng không mang tính xác định. Do đó định nghĩa một tập hợp con (nghiêm ngặt) của các ngôn ngữ không ngữ cảnh.P ˉ P P $P =\{ ww^r\}$$P$$\bar{P}$$P$$A$

Câu hỏi là: chúng ta có thể xây dựng một ví dụ một bộ đếm tương tự mà cùng giữ không?

Đáp lại bình luận của Shaull ở trên:

Cái đầu tiên là hình ảnh của 1 bộ đếm chấp nhận st j < $a^ib^j$$j<i$

$a^ib^j$$j>i,\ j<2i$

$a^ib^j$$j>2i$

Ở đây a / - / plus có nghĩa là nhìn thấy a, không phân biệt giá trị bộ đếm, tăng bộ đếm. b /> 1? / sub có nghĩa là nhìn thấy b, nếu giá trị bộ đếm lớn hơn 1, thì giảm bộ đếm.

nop => không hoạt động

$\lambda$