generative grammars have traditionally been studied under the assumption that they are implementation independent. It is assumed, for example, that eventually we will be able to write software or build hardware to implement the human language system in computers that differ from human ‘hardware’ in many respects. As such, this is taken as evidence for implementation independence. This, however,...