<?xml version="1.0" standalone="yes"?>
<Paper uid="J91-3003">
  <Title>The Generative Power of Categorial Grammars and Head-Driven Phrase Structure Grammars with Lexical Rules</Title>
  <Section position="8" start_page="311" end_page="311" type="ackno">
    <SectionTitle>
Acknowledgments
</SectionTitle>
    <Paragraph position="0"> The primary thanks go to Kevin Kelly, who suggested using the circular queue idea for representing the tape of a Turing machine, an idea that I adapted here. Stuart Shieber originally conjectured that the undecidability result would hold. I would also like to thank two anonymous referees for comments. Finally, I owe thanks to Robert Levine, Alex Franz, Mitzi Morris, and Carl Pollard for providing helpful comments on a previous incarnation of \[he undecidability proof.</Paragraph>
  </Section>
class="xml-element"></Paper>