Computational complexity of abstractive morphology