(,'onrnrlrs
Chapter
10
Other Models of Turing
Machines
249
10.1 Mirxlr Virriatiotrs on the T\rring Ma,t:hint:Therne 25t) Eqrrivalcrrt:tlclf Classesof Autonrata, 250 Ttrrirrg Machines with a, Sta,y-Option 251 Thring Machines with Semi-Infinitc Tape 253 The Off-Line Tttrirrg Mat:hine 255 'I\rring 10.2 Ma,chineswith Morc Cotttplex Storage 258 Mullitape Ttrring Ma,chiners 258 Mttltidimensional T[rring Mtr.chirrt:s 261 10.3 Norrtletertninistic T\rring Ma,chines 263 10.4 A lJrriversal I\rring Machine 266 10.5 Liricar Bouttded Autotnata 270
Chapter
Ll.
A Hierarchy
of Formal Languages and Autornata
11.1 Recursive and Reclrrsively Euurnerable Languages 276 Languages That Art: Not R,tx:ursivelyEnumera,ble 278 A Language That Is Not R,t:cursively Enumerable 279 A Language That Is Rer:rrrsivr:lyErlrrrterable But Not Recursive 28.l 11.2 Uurestricted Grarnmars 283 11,3 Context-Sensitivc (]rarnrna,rsarrd Lirnguages 289 Conterxt-Srlnsitivc Languages and Litrear Bounded Aulomata 29t) Relation Betweeu Recursive and Ctlrrtt:xt-Setuitive Languages 2gz 11.4 I'he Chomskv Hierarchv 29Ir
Chapter
12 Limits
of Algorithrnic
Cornputatiorr
299
12.1 Some Probletns That (ltr,rrnotBc: Solved By l\rring Machines 300 The T\ring Machine llalting Problem 301 H.etlucitrgOne Undecidable Problem to Another 304 12.2 Uritlt:c:itlrrble I'robletns for Recursivelv llnrtmertr,ltlrr Languages 308 12.3 Tlte I'osL CorrespondencePtoblem Sl2 12.4 [Jndccidable Problems for Context-Free Lir.nguages 318
278