In language theory, a non-terminal is a symbol which can be transformed via a transformation rule into another non-terminal, an ordered list of non-terminals, a terminal, or an ordered list of terminal|terminals.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.