1 / 56

NMA formālā puse

NMA formālā puse. pāreja s funkcija:. pāreja s funkcija:. F ormāl ā definīcija. Nedeterminēts magazīnautomāts NMA. beigu stāvok ļi. stāvok ļi. ievad a alfabēts. stek a start a simbols. pārej u funkcija. sākuma stāvoklis. stek a alfabēts. Darbības brīža apraksts. Tekošais

nituna
Download Presentation

NMA formālā puse

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. NMA formālā puse

  2. pārejas funkcija:

  3. pārejas funkcija:

  4. Formālā definīcija Nedeterminēts magazīnautomāts NMA beigu stāvokļi stāvokļi ievada alfabēts steka starta simbols pāreju funkcija sākuma stāvoklis steka alfabēts

  5. Darbības brīža apraksts Tekošais stāvoklis Tekošais stekasaturs Atlikušais ievads

  6. Piemērs: Darbības brīža apraksts laika moments 4: ievads steks

  7. Piemērs: Darbības brīža apraksts laika moments 4: ievads steks

  8. Pieraksts: laika moments 4 laika moments 5

  9. Darbību virkne:

  10. Saīsināti:

  11. Formālā definīcija NMAM valoda : sākuma stāvoklis beigu stāvoklis Steks var nebūt tukšs!

  12. Piemērs: NMA M:

  13. NMAM :

  14. Tādējādi: NMA M :

  15. Teorēma: NMA akceptēbezkonteksta valodas

  16. Pierādījums – 1.solis: Pārveidot katrubezkontekstagramatikuGuz NMA M arL(G)=L(M). Pierādījums – 2.solis: Pārveidot katru NMA Muz bezkontekstagramatikuGarL(G)=L(M).

  17. Bezkontekstas gramatikas pārveidošana uz NMA

  18. Gramatikas piemērs : Kas ir ekvivalents NMA?

  19. Gramatika: NMA:

  20. NMA simulēbezkonteksta gramatikas atvasinājumus sākot no kreisās puses L(bezkonteksta gramatika) = L(NMA)

  21. Gramatika: Atvasinājums sākot no kreisās puses:

  22. NMA izpilde: laika moments 0 ievads steks tekošais stāvoklis

  23. NMA izpilde: laika moments 1 ievads steks

  24. NMA izpilde: laika moments 2 ievads steks

  25. NMA izpilde: laika moments 3 ievads steks

  26. NMA izpilde: laika moments 4 ievads steks

  27. NMA izpilde: laika moments 5 ievads steks

  28. NMA izpilde: laika moments 6 ievads steks

  29. NMA izpilde: laika moments 7 ievads steks

  30. NMA izpilde: laika moments 8 ievads steks

  31. NMA izpilde: laika moments 9 ievads steks

  32. NMA izpilde: laika moments 10 ievads steks

  33. Vispārīgi: katrai dotai gramatikai G var konstruēt tādu NMAM, kaL(G)=L(M).

  34. NMA Mkonstruēšana no gramatikasG: Katrai produkcijai Katram terminālim

  35. Gramatika G ģenerē virkniw tad un tikai tad, ja NMA Makceptē w

  36. Tādējādi: Katrai bezkontekstai valodai ir NMA, kas akceptē šo pašu valodu

  37. NMApārveidošanauz bezkonteksta gramatiku

  38. Katram NMAMkonstruēsim bezkonteksta gramatiku G, kurai L(M)=L(G).

  39. Intuīcija: gramatika simulēs mašīnu Gramatikas G atvasinājums: Tekoša NMAM konfigurācija

  40. Gramatikas G atvasinājums termināļi netermināļi apstrādātais ievads stekasaturs NMAM

  41. Dažas nepieciešamās modifikācijas • Pirmkārt, modificēsim NMA tā, ka • tam ir viens pats beigu stāvoklis • tas iztukšo steku kad ievads • tiek akceptēts Oriģinālais NMA steka iztukšošana

  42. Otrkārt, modificējam NMA pārejas: • visas pārejas būs formā vai B,C,D : steka simboli

  43. NMA piemērs pareizā formā: - sākotnējais steka simbols

  44. Gramatikas konstruēšana Gramatika G : steka simbols netermināļi: stāvokļi termināļi: NMA ievada simboli

  45. Saturīgi nozīmē sekojošo: lai tiktu no stāvokļa uz stāvokli ja stekaaugšā atrodas , tad ievadā būs nepieciešama virkne .

  46. Katrai pārejai pievienojam produkciju Ievadā satiekot a, B tiks izņemts un notiks pāreja uz qj un B ietekme ar to beidzas

  47. Katrai pārejai pievienojam produkciju Visiem stāvokļiem Ievadā satiekot a, B tiks izņemts, bet tā vietā tiks ielikts kas cits un notiks pāreja caur qjuz kaut kādu stāvokli qk, par kuru šobrīd nekas nav zināms

  48. stekabeigu(apakšas) simbols Startaneterminālis: starta stāvoklis beigu stāvoklis

  49. Piemērs: Gramatikas produkcija:

  50. Piemērs:

More Related