Cây liền kề ngữ pháp hướng dẫn di truyền lập trình (TAG3P) [1] là ngữ pháp một điều khiển bằng hệ thống lập trình di truyền. Một trong những quan trọng của thuộc tính đại diện từ khóa là một tài sản tính khả thi, cụ thể là bất kỳ bắt nguồn từ subtree của một cây từ khóa hợp lệ cũng là một cây từ khóa hợp lệ. Nhờ tài sản tính khả thi, trồng một cây derivation từ gốc, một có thể dừng lại bất cứ lúc nào và vẫn còn có một cây lấy đạo hàm hợp lệ cũng như một cây có nguồn gốc hợp lệ. Ví dụ, nếu một cây lấy đạo hàm bao gồm 1 adjoined để (từ hình 3), chúng tôi có thể hoặc là dừng lại ở before xem xét 1, tạo ra cây có nguồn gốc x, hoặc xem xét toàn bộ cây và tạo ra x + x.
đang được dịch, vui lòng đợi..
