terminals for the grammar