The time-space trade-off in membrane computing