Có các biến thể của automata đẩy xuống rõ ràng cho phép đẩy các từ lên ngăn xếp không?

Tôi tự hỏi, có bất kỳ bài báo hay nghiên cứu nào liên quan đến automata đẩy xuống rõ ràng, nhưng cho phép các từ, thay vì các chữ cái đơn lẻ, được đẩy lên ngăn xếp.

Cách khác, một công trình mà cho phép cho các ký hiệu được đẩy vào -transitions có thể đạt được cùng một mục tiêu. $\epsilon$

Rõ ràng, các biến thể như vậy có thể được hình thành, nhưng tôi tự hỏi liệu nó có phá hỏng các thuộc tính đóng cửa và tính quyết định làm cho VPAs thú vị không.

Tôi đang xem một công trình trong đó sử dụng ngăn xếp làm bộ đếm, tăng nó theo các hằng số dựa trên các ký hiệu ban đầu được đọc, sau đó đếm ngược dựa trên các ký hiệu khác được đọc.

Đối với bất kỳ ai không biết, automata đẩy xuống rõ ràng là những cái mà bảng chữ cái có thể được chia thành các biểu tượng đẩy, biểu tượng bật lên và các biểu tượng hoàn toàn không ảnh hưởng đến ngăn xếp. Sự lựa chọn đẩy so với popping hoàn toàn được xác định bởi biểu tượng hiện tại đang được đọc. Họ đóng cửa dưới giao lộ, liên minh, nối, sao và bổ sung, mang lại cho họ vô số tài sản có thể quyết định. Xem bài viết này để biết thêm.

— jmite
nguồn

Có vẻ như câu hỏi rõ ràng là liệu automata như vậy có tương đương với automata đẩy xuống tiêu chuẩn với "từ" được chuyển đổi thành chuỗi các trạng thái không? afaik, vâng? nếu không, một ví dụ minh họa cho trường hợp thất bại sẽ hữu ích.

— vzn

@vzn Chúng không thể tương đương. Những chiếc PDA rõ ràng dường như yếu hơn rất nhiều. Lần trước tôi đã kiểm tra, CFL không bị đóng dưới ngã tư.

— Kai

Vì vậy, VPDA đều đóng cửa dưới ngã tư, và được biết đến là đúng giữa

và

. Tuy nhiên, tôi không biết nếu biến thể của tôi bị đóng dưới ngã tư, vì vậy nó có thể tương đương. Tôi nghi ngờ điều đó, nhưng tôi không chắc chắn.

R E G

$REG$

D C F L

$DCFL$

— jmite

Bài viết này dx.doi.org/10.1145/1516512.1516518 đưa ra một đặc điểm ngữ pháp của VPDAs, và một cấu trúc để chuyển đổi giữa các ngữ pháp và VPDA. Có thể ngữ pháp có thể được sử dụng để mô phỏng đẩy toàn bộ từ?

— Evgenij Thorstensen

Tại sao việc đẩy một từ trên một biểu tượng sẽ tương đương với việc cho phép đẩy các chuyển đổi eps?

— domotorp

Với đẩy epsilon

Đối với phiên bản có các lần chuyển đổi epsilon, bằng chứng không thể thiếu về tính phổ biến của tính năng đẩy xuống tự động có thể được điều chỉnh theo cài đặt mới này, vì vậy chúng tôi mất ít nhất các thuộc tính sau: đóng dưới sự bổ sung, tính xác định, tính quyết định của tính phổ quát và tính bao gồm.

Sơ đồ bằng chứng: Lấy máy Turing , chúng tôi muốn xây dựng VPA bằng các động tác đẩy epsilon sao cho nó là phổ quát nếu và chỉ khi M không có hoạt động chấp nhận. $M$ $A$

Chúng tôi thiết kế sao cho một từ không được chấp nhận nếu và chỉ từ đó có dạng: $A$

ở đâu

# C_{0} & C_{0} $ (\bar{C_{0}})^{R} # C_{1} & C_{1} $ (\bar{C_{1}})^{R} # C_{2} & C_{2} $ (\bar{C_{2}})^{R} \dots # C_{n} & C_{n} $ (\bar{C_{n}})^{R}

$\#C_0\&C_0\$(\overline{C_0})^R\#C_1\&C_1\$(\overline{C_1})^R\#C_2\&C_2\$(\overline{C_2})^R\dots\#C_n\&C_n\$(\overline{C_n})^R$

Mỗi mã hóa một cấu hình hợp lệ của $C_i$ $M$
là ban đầu, đang chấp nhận $C_0$ $C_n$
là mặt trái của một từ $u^R$ $u$
là bản sao củasử dụng chữ pop $\overline{u}$ $u$
là các ký hiệu phân tách đặc biệt không có trong bảng chữ cái của $\#,\&,\$$ $M$
luôn là chuyển tiếp hợp lệ của $C_i\to C_{i+1}$ $M$

$A$ $C_i^R$ $A$ $C_i$ $C_i$ $(\overline{C_i})^R$ $C_i\to C_{i+1}$ $C_i$ $C_{i+1}$ $(\overline{C_{i+1}})^R$ $C_j$ $(\overline{C_j})^R$

Đẩy từ

$(S,R,u)$ $u\in A^*$ $a$ $(S,R,va)$ $(S',R',v)$ $S'$ $R'$

— Denis
nguồn