more recursive semantic phenomena such as possessives and other complex noun phrases are added to the grammar the resulting machines become larger.
the computational consequences of this can be lessened by lazy evaluation techniques (Mohri, 1997) and we believe that this finitestate approach to constructing semantic representations is viable for a broad range of sophisticated language interface tasks.