Nonterminal là gì?

Trong automata, ký hiệu kết thúc (terminal) và ký hiệu không kết thúc (nonterminal) là các lexical element được sử dụng để xác định các luật sinh (production rule) cấu thành một văn phạm (grammar) chính thức. Các ký hiệu không kết thúc (terminal) được thay thế bằng các nhóm ký hiệu kết thúc (terminal) theo các luật sinh (production rule). Ví dụ với văn phạm có luật sinh S -> aX, X -> b thì các ký hiệu không kết thúc (terminal) là {S, X}. Xem thêm ký hiệu kết thúc (terminal).