Die Chomsky-Hierarchie
Die Chomsky-Hierarchie
Die Chomsky-Hierarchie
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Formale Systeme, Automaten, Prozesse Folie 2104 <strong>Die</strong> <strong>Chomsky</strong>-<strong>Hierarchie</strong>Satz 4.0.5Das Leerheitsproblem für kontextsensitive Sprachen ist nichtentscheidbar.Beweis.⎧⎪⎨I :=⎪⎩u 1v 1,u 2v 2, . . . ,u nv n⎫⎪⎬⎪ ⎭S → $ A $ a C → C aA → u 1 B v1 R | · · · | u n B vn R b C → C bB → u 1 B v1 R | · · · | u n B vn R | D C a → a Ca D a → C D C C b → b Cb D b → C D C $ C → c $$ D $ → c c c C $ → $ cSprache ist leer gdw. I keine Lösung hat.