-T là một tập hữu hạn các thiết bị đầu cuối biểu tượng.-V là một tập hữu hạn của các biểu tượng-ga (T V =).-S V là một biểu tượng phân biệt được gọi là biểu tượng bắt đầu.-Tôi là một tập hợp các cây ban đầu, đặc trưng bởi tất cả các nút nội thất được gắn nhãn bởi biểu tượng terminal, trong khi các nút trên biên giới được dán nhãn bởi thiết bị đầu cuối.-A là các cây gỗ phụ trợ, đặc trưng bởi tất cả các nút bên trong được gắn nhãn bởi biểu tượng nonterminal, trong khi các nút trên biên giới được dán nhãn bởi thiết bị đầu cuối, ngoại trừ một trong những nút đặc biệt gọi là nút chân. Một nút chân phải được gắn nhãn với biểu tượng nonterminal tương tự như dán nhãn nút gốc của cây. Công ước của đánh dấu nút chân với dấu hoa thị (*) theo sau dưới đây.
đang được dịch, vui lòng đợi..
