00234nam a2200085Ia 4500008004100000082001500041100001900056245004600075260002700121190830s9999    xx            000 0 und d  a511.35 SIP  aMichael Sipser 0aIntroduction to the theory of computation  bCengage Learningc2012