Là phần mở rộng sau đây của automata trạng thái hữu hạn được nghiên cứu?

10

Hãy xem xét một máy trạng thái hữu hạn như bình thường, nhưng mỗi lần chuyển đổi, nó cũng có thể cập nhật bộ đếm số nguyên bằng cách thêm hoặc trừ một số. Giả sử, hàm chuyển đổi có dạng chuyển sang trạng thái mới và thêm vào bộ đếm, trong đó (vì vậy có thể dương, âm hoặc bằng 0) . $\delta(q,a) = (p,k)$ $p$ $k$ $k \in \mathbb{Z}$ $k$

Một chuỗi được chấp nhận nếu trạng thái cuối cùng và giá trị bộ đếm nằm trong , trong đó là tập hợp hữu hạn của các cặp trạng thái và giá trị bộ đếm. $F$ $F$

Là mô hình này được biết đến? Tôi không thể tìm thấy bất kỳ tài liệu tham khảo của phần mở rộng cụ thể này.

finite-automata

— Chao Xu
nguồn

2

Phụ thuộc vào các giá trị có thể của

. Có thể

tiêu cực được?

k

$k$

k

$k$

— Hendrik ngày 1

có thể âm.

k

$k$

— Chao Xu

Một câu hỏi liên quan: cs.stackexchange.com/questions/7574/ trộm

— Anton Trunov

10

$k$ $\epsilon$ $\epsilon$

Có một số loại automata một quầy. Ở dạng tổng quát nhất, chúng được phép kiểm tra xem giá trị của bộ đếm có bằng không hay không. Các ngôn ngữ họ chấp nhận là một tập hợp con nghiêm ngặt của các ngôn ngữ không ngữ cảnh.

Mô hình mà bạn có thể đang tìm kiếm được gọi là mù , nó không thể kiểm tra 0, ngoại trừ thử nghiệm cuối cùng để chấp nhận khi kết thúc tính toán.

— Hendrik Jan
nguồn

"Bộ đếm" có thể gây hiểu nhầm, vì trong các máy một bộ đếm, bạn cũng có thể phân nhánh chạy theo giá trị của bộ đếm (tức là không kiểm tra), làm cho mô hình rất khác (và mạnh hơn nhiều).

— Shaull

Bạn đúng rồi. Tôi thêm một số từ về điều đó. Cảm ơn.

— Hendrik ngày 1 tháng

8

Mô hình này là một biến thể của automata có trọng số, được nghiên cứu rộng rãi (mặc dù có rất nhiều câu hỏi mở về chúng). Bạn có thể bắt đầu ở đây: Sổ tay của Automata có trọng số .

Lưu ý rằng đôi khi chúng được gọi là "automata khoảng cách" (mặc dù điều này đang trở nên ít phổ biến hơn).

— Thiếu
nguồn