tailieunhanh - Báo cáo toán học: " Recognizing Group Languages with OBDDs"

X là một tập hợp con của các monoid miễn phí {0, 1} * đó là hình ảnh ngược của đơn vị trong một cấu xạ bản đồ {0, 1} * vào một nhóm hữu hạn. Đối với mỗi số nguyên n, cho Xn bao gồm tất cả các từ trong X của chiều dài n. | 34 Viet n a m J o u r n a I of MATHEMATICS VAST 2006 . . . . . . . .th . Abstract. . . . . . . . . . . . . . . . . . . . . . n n 0 .-. 1 .1. k. 1 . 1. k I- . 1 2. k 0 1 k 1 1 2 . . S. . . . 1. S. . 1 . . .