No abstract

No abstract

No abstract

In this paper, we consider properties of +-unambiguous products, alternative codes and languages of bounded words (-languages). A new type of codes (-codes or codes of bounded words) is defined and an algorithm to determine whether a-recognizable language is a-code is established. This provides a new algorithm to verify for alternative codes whose complexity is smaller than the complexity of the previous one. A relationship between codes, alternative codes and-codes is considered. This shows that-codes is an extension of traditional codes and alternative codes. Tóm tắt. Bài báo xem xét một số tính chất của +-tích không nhập nhằng, mã luân phiên và ngôn ngữ của các từ định biên (-ngôn ngữ). Từ đó, xây dựng một hệ mã mới-mã của các từ định biên (-mã) cùng với thuật toán kiểm định một-ngôn ngữ đoán nhận được có là-mã hay không. Nhờ thuật toán kiểm định-mã, cho phép nhận được một thuật toán kiểm định mã luân phiên mới, làm giảm rõ rệt về độ phức tạp. Ngoài ra, bài báo còn đề xuất một sơ đồ phân lớp giữa ba lớp mã-mã, mã luân phiên và-mã, cho thấy-mã được xem như là sự mở rộng của mã và mã luân phiên.

No abstract