avoiding the limitations of rewrite systems entirely.

Description

A TAG can be defined as a 5-tuple with:

* as the finite set of terminal symbols;
* as the finite set of non-terminal symbols, disjunct from ;
* as a finite set of finite trees called initial trees;
** Initial trees have non-terminals as inner nodes. The frontier can consist of terminals and non-terminals. Non-terminals at the frontier

1.Previous
3.Next