Ćwiczenia laboratoryjne z Logiki Układów Cyfrowych. ćwiczenie 209. Temat: Komputerowa analiza automatów skończonych

Transkrypt

1 KATEDRA INFORMATYKI TECHNICZNEJ Ćwcena laboratorjne Logk Ukłaów Cfrowch ćwcene 9 Temat: Komputerowa anala automatów skońconch. Cel ćwcena Celem ćwcena jest opanowane umejętnośc preprowaana anal automatu skońconego w akrese entfkacj grafu automatu pr pomoc komputera.. Program ćwcena. Zaponane sę metoą anal automatu wąaną określenem grafu prejść automatu o nenanm ałanu.. Testowane programowego warantu automatu Moorea sekwencją sgnałów wejścowch.. Opracowane wnków testowana automatu.. Określene na postawe wnków testowana grafu prejść analowanego automatu. 5. Opracowane sprawoana ćwcena.. Problematka ćwcena Anala automatów w akrese entfkacj grafu prejść ma uże praktcne astosowane arówno na etape projektowana jak eksploatacj skretnch pretwornków nformacj. Najcęścej jenak analę tę preprowaam wte ke chcem określć ałane automatu którego graf prejść ne jest nan ora wte g buowalśm automat chcem sprawć c ała on gone aanm algortmem. W preentowanm ćwcenu obektem anal jest automat tpu Moorea którego graf ne jest określon nan jest jenak bór sgnałów wejścowch wjścowch. Ab określć graf automatu należ poać na jego wejśce opoweną sekwencję sgnałów wejścowch la każego tch sgnałów onotować sgnał pojawając sę na wjścu automatu. Znając sekwencję sgnałów wejścowch opowaającą m sekwencję sgnałów wjścowch należ określć stan wewnętrne automatu możlwe prejśca mę stanam cl graf automatu. Na postawe pojencego sgnału wjścowego ne można określć prporąkowanego mu stanu wewnętrnego. Problem jest wstarcająco łożon poneważ w automace Moorea ten sam sgnał wjścow automatu może bć prporąkowan klku stanom wewnętrnm. Rowąane problemu sprowaa sę o określena takch wąków mę elementam sekwencj sgnałów wejścowch wjścowch na postawe którch można jenonacne określć graf automatu. Możlwa o prjęca stosowana w nnejsm ćwcenu metoa anal automatu prestawona ostane ponżej. W ćwcenu prjmuje sę że ałane automatu realowane jest programowo. Anala sprowaa sę węc o wprowaana o komputera opowenej sekwencj sgnałów wejścowch obserwacj na ekrane wnków testowana.

2 Logka Ukłaów Cfrowch Komputerowa anala automatów. Waomośc postawowe.. Metoa anal automatu w akrese entfkacj grafu automatu W celu roponana stanów wewnętrnch automatu o nenanm grafe prejść pownna bć ścśle określona kolejność poawana sgnałów wejścowch na wejśce automatu. Kolejność ta określana jest w trakce testowana automatu gż każ wra sekwencj sgnałów wejścowch jest funkcją poprench wraów jak równeż opowaającch m sgnałów na wjścu automatu. Formułując algortm anal automatu należ określć we postawowe reguł a węc regułę weług której bęe tworona sekwencja sgnałów wejścowch ora regułę weług której apswane bęą wnk testowana automatu w takej postac analtcnej która błab jenonacna grafem automatu. Perwsą regułę można uskać prekstałcając graf automatu o postac takego grafu o strukture rewastej któr jenonacne wskawałb na kolejność sgnałów wejścowch w sekwencj testującej automat. Druga reguła wnka faktu że każ graf automatu możem prestawć w postac opowenego wrażena smbolcnego umożlwającego transformację owrotną cl prejśce wrażena smbolcnego na graf. Postacą takego grafu automatu któr gone regułą perwsą umożlwłb wbór opowenej sekwencj sgnałów wejścowch testującch automat jest "rewo pętlam". Charakteruje sę ono tm że każa śceżka rewa repreentuje sobą sekwencję skłaową w sekwencj sgnałów wejścowch testującch automat. Charakterstcn sposób buow wrażena smbolcnego repreentującego "rewo pętlam" ora własnośc struktur takego grafu jako omennej postac grafu automatu umożlwają apswane wnków testowana automatu bepośreno w postac wrażena smbolcnego repreentującego "rewo pętlam". Mając take wrażene możem je prekstałcć na wrażene opsujące graf automatu a następne na jego postawe narsować graf automatu. Formalna nterpretacja tch prekstałceń poana ostane alej... Operacje na wrażenach smbolcnch repreentującch graf Ab można bło preprować analę automatu weług scharakterowanej wżej meto należ nać sposób buow wrażena smbolcnego repreentującego graf nawan tutaj "rewem pętlam". Z kole mając take wrażene należ umeć je prekstałcć na wrażene smbolcne repreentujące graf automatu. Reguł takego prekstałcena można określć tlko wte g sę na transformację owrotną tj. prejśce wrażena repreentującego graf automatu na wrażene smbolcne repreentujące "rewo pętlam". Stą też w perwsej kolejnośc omówon ostane sposób prejśca wrażena smbolcnego opsującego graf automatu na opowaające mu wrażene repreentujące "rewo pętlam". Prkłaow graf automatu Moorea prestawon ostał na rs. l. Wrażene smbolcne repreentujące ten graf pr ałożenu że stanem pocątkowm jest ma następującą postać:

3 Logka Ukłaów Cfrowch Komputerowa anala automatów Rs.. Prkłaow graf automatu Moorea Dla pełnej repreentacj grafu automatu Moorea wrażenu prporąkowana jest tabela T opsująca funkcję wjść: Tabela T Wrażene możem prekstałcć o postac takego wrażena które bęe rs. l. repreentować graf o strukture rewastej bęąc opowenkem grafu Pre omówenem reguł takego prekstałcena wróćm uwagę na pewną cechę charakterstcną wrażena. Cechą tą jest to że mę wraam tpu r tego wrażena wstępuje ścśle określona poległość. Jeżel na prkła ropatrujem cłon o postac k r... k to wsstke element arówno la r jak la r wstępujące wewnątr nawasu polegają po element r stojąc pre nawasem. Każ element r ma awse prporąkowane sobe element jemu poległe. Scególnm prpakem takego prporąkowana jest to że element r może sam sobe polegać. Ab określć co polega po element r w cągu tpu należ osukać tak cłon k... k pre którm sto ropatrwan element r. Powżse uwag o relacjach poporąkowana w cągu jench elementów rugm ułatwą nam roumene asa prekstałcena wrażena prestawon na rs. l. Prekstałcene wrażena na wrażene opsujące graf o nnej strukture nż graf na wrażene opsujące enrt cklam równoważn grafow sprowaa sę o naleena w cągu które mogłb bć potraktowane jako werchołk końcowe enrtu tm trech następującch warunków. takch wraów tpu r. Korstam pr

4 Logka Ukłaów Cfrowch Komputerowa anala automatów Warunek W Werchołkam końcowm enrtu mogą bć pr spełnenu opowench warunków te element r a którm w wrażenu sto precnek lub nawas amkając. Onaca to że an element r wstąpł już w wrażenu na wceśnejsej pocj. Warunek W Jeśl element r a którm wstąpł precnek lub nawas amkając polega po wra onacon tm samm smbolem r lec wstępując na wceśnejsej pocj cągu wówcas an element r traktujem jako werchołek końcow enrtu onacam oatkowo neksem górnm. Warunek W Jeśl element r wmenon w warunku W ne polega po wra onacon w cągu tm samm smbolem r wówcas element ten ne może bć werchołkem końcowm. W tm prpaku a ropatrwanm elementem r najującm sę w cłone k... r... k apsuje sę cłon k... k awerając wsstke te element które polegają po an element r. Wglęem elementów najującch sę w opsanm cłone k... k stosuje sę w alsm cągu warunk W W W aż o momentu opók ne ostaną określone te element które repreentują werchołk końcowe enrtu. Prestregając prestawonch wżej warunków pr prekstałcenu cągu aanego wrażenem otrmam następując cąg: W automace Moorea każemu elementow r ϵ Q prporąkowan jest opowen element ϵ Y w ropatrwanm prkłae prporąkowane to ma następującą postać:. Element r nosą nawę stanów wewnętrnch pośrench a element nosą nawę sgnałów prejść gż sprowaają one automat e stanów wewnętrnch pośrench o stanów wewnętrnch normalnch. Postawając w wrażenu w mejsce elementów r opowaające m element otrmujem następującą postać: Na postawe wrażena można narsować rewo pętlam bęące opowenkem grafu rs. l. Drewo prestawone ostało na rs.. Na rsunku tm uwglęnono równeż prporąkowane: r ora r.

5 Logka Ukłaów Cfrowch Komputerowa anala automatów 5 Wrażene węc wrażena Rs.. Drewo pętlam la grafu rs. można łatwo prekstałcć powrotem na wrażene a nając wrażene można określć wrażene graf automatu. Możlwość prejśca na automatów gż wnkem anal automatu o nenanm grafe jest wrażene Pr prejścu wrażena stosowanch pr buowe wrażena powrotem na wrażene pr transformacj. Ne nając a tm samm ma uże nacene w anale. korsta sę reguł na. Postawową może własnoścą wnkająca tch reguł jest to że owoln element r wrażena najować sę pre nawasem otwerającm tlko wte g na wceśnejsch pocjach wrażena ne wstępuje jego mennk. Zgone powżsm można określć następujące reguł prekstałcena. Reguła S Jeżel w wrażenu element r najuje sę pre nawasem otwerającm k ne wstąpł otchcas na wceśnejsch pocjach wrażena to pr prekstałcenu o wrażena precho arówno an element r jak równeż te element j które najując sę wewnątr nawasu k... k poległego po element r ne najują sę w nawasach wewnętrnch k... k awartch w anej pare nawasów k... k. Reguła S Jeżel w cłone k... k wrażena spełnającm warunk reguł S na wprowaene tego cłonu o wrażena najują sę element r onacone górnm neksam cl element tpu s r to pr prejścu o wrażena element te tracą swoje górne neks.

6 Logka Ukłaów Cfrowch Komputerowa anala automatów 6 Reguła S Jeżel w wrażenu element r najuje sę pre nawasem otwerającm k jeżel element ten wstąpł już w wrażenu na wceśnejsej pocj to pr prekstałcenu o wrażena precho tlko ropatrwan element r natomast poległ mu cłon k... k ostane pomnęt... Metoa anal programowego warantu automatu Moorea Zgone punktem. automat pownen bć testowan taką sekwencją sgnałów wejścowch j ϵ Z ab na postawe uskwanch wnków testowana w postac sekwencj sgnałów wjścowch j ϵ Y można bło w trakce anal automatu buować wrażena repreentujące enrt pętlam Pr buowanu wrażeń bęąc opowenkem grafu. repreentującch wnk testowana automatu korstam pewnch własnośc struktur tch wrażeń wnkającch prjętego algortmu buow tch wrażeń. Na postawe tch własnośc możem sformułować następujące reguł nterpretacj wnków testowana automatu: Reguła M Jeżel na wjścu automatu pojawł sę tak element któr ne wstąpł jesce w wrażenu to element ten wąan jest takm stanem wewnętrnm któr ne wstąpł jesce w wrażenu. Jeżel najwżs neks porąkow posaał stan b r to now stan otrmuje neks r. Reguła M Jeżel na wjścu automatu pojawł sę element któr już wstąpł w wrażenu apsan na aktualnej pocj wrażena polega po swój mennk najując sę w proe tego wrażena to acho następująca alternatwa: baan element wąan jest takm samm stanem b r co jego mennk najując sę w proe wrażena lub też element ten wąan jest nowm stanem b któr jesce ne wstąpł w wrażenu. Onacm baan stan smbolem b* natomast stan wąan mennkem anego elementu smbolem b r. Możem sformułować następując wnosek: Jeżel wsstke element j ϵ Z poane na wejśce automatu pr stane b* sprowaają automat o takch samch stanów o którch automat precho g najuje sę w stane b r to wówcas b* b r a w prpaku negonośc wnków b* b r. Jeżel powżsa własność jest spełnona spełnon jest perws skłank alternatw to wówcas baan stan b* b r jest werchołkem końcowm grafu prjmuje sę onacać go smbolem b r. Reguła M Jeżel na wjścu automatu pojawł sę element któr już wstąpł w wrażenu lec ne polega po swój mennk wstępując w proe wrażena to acho taka sama alternatwa jak w regule M tm że pr spełnenu perwsej cęśc alternatw werchołek b* b r ne może bć werchołkem końcowm grafu.

7 Logka Ukłaów Cfrowch Komputerowa anala automatów 7 Reguł buowana wrażena sformułować następująco: Reguła M na postawe wnków testowana można Jeżel w buowanm wrażenu pojawł sę w wnku testowana automatu tak element b r be neksu górnego któr jesce ne wstąpł w wrażenu bąź też wstąpł lec ne polega po swój mennk w proe to a tm smbolem w wrażenu stawam kolejn nawas otwerając. Reguła ta otc równeż wrażena. Reguła M5 Jeżel w buowanm wrażenu pojawł sę w wnku testowana automatu tak element b j a którm wstąpł precnek to należ wrócć pre nawas otwerając testować automat pr stane wewnętrnm b j apsanm pre tm nawasem takm elementem r ϵ Z któr la stanu b j ne bł jesce ropatrwan. Reguła M6 Jeżel w buowanm wrażenu wstąpł w wnku testowana automatu nawas amkając k neksem k > l wówcas należ mnejsć neks nawasów k o jeen wrócć pre nawas otwerając aktualną wartoścą neksu k pre którm sto smbol b j stanu wewnętrnego. Na postawe cęścowo już skompletowanego wrażena należ określć c pr stane b j ostał już ropatrone wsstke element r ϵ Z. Jeżel tak to wówcas w wrażenu stawam nawas amkając k aktualną wartoścą neksu k powtaram cnnośc określone w regule M6. Jeżel ne to wówcas testujem automat pr stane b j kolejnm elementem r ϵ Z jesce ne ropatrwanm pr tm stane... Prkła anal automatu Zaan jest programow warant automatu Moorea apsan w pamęc komputera. Znan jest bór sgnałów wejścowch Z { l } bór sgnałów wjścowch Y { } baanego automatu. Ne jest natomast nan graf prejść automatu jego tabela wjść. Celem anal jest określene grafu prejść ora prporąkowana jego werchołkom sgnałów wjścowch ϵ Y. Poscególne krok tej anal preprowaonej na komputere scharakterowane ostaną ponżej. W perwsej kolejnośc na wejścu automatu poano klawatur komputera sekwencję sgnałów w wnku cego na wjścu automatu cl na ekrane otrmano sekwencję sgnałów wjścowch. Na postawe tch wóch sekwencj buowan ostał pocątkow fragment wrażena :... Stan wewnętrne analowanego automatu prjęto onacać smbolam b j ϵ B. Zgone regułą M wrażene można prekstałcć na opowaające mu wrażene : b b b... 5

8 Logka Ukłaów Cfrowch Komputerowa anala automatów 8 ge smbol b be neksu onaca neokreślon jesce stan wewnętrn automatu <A >. Na postawe wrażena 5 można narsować opowaając mu fragment grafu o strukture rewastej. Fragment tego grafu prestawon na rs. ułatwa pojęce ecj otcącej określena stanu onaconego w 5 smbolem b. b b b Rs.. Wnk testów - krok Zgone tm grafem smbol l prporąkowan werchołkow b polega po swój mennk w proe wrażena któremu prporąkowan jest stan b. Zacho węc alternatwa gone regułą M że stan b jest stanem b lub że stan b jest stanem b któr ne wstąpł jesce w wrażenu. Ab upewnć sę która cęść alternatw jest spełnona sprawono achowane sę automatu pr stane b po poanu na jego wejśce sgnału. Po wpłwem tego sgnału na wjścu automatu pojawł sę sgnał. Wnka stą że smbol b repreentuje sobą now stan b gż pr stane b pr sgnale na wjścu pojawa sę sgnał. Po wkonanu tej operacj wrażena uupełnone ostał o nowe element otrmał następującą postać:... 6 b b b b... 7 raf narsowan na postawe wrażena 7 prestawon ostał na rs. b b b b Rs.. Wnk testów - krok Kontnuując testowane automatu <A > pr stane b rs. sgnałem a węc pr

9 Logka Ukłaów Cfrowch Komputerowa anala automatów 9 słowe wejścowm na ekrane montora wśwetlona ostała sekwencja. Na postawe tej sekwencj wrażene 6 uupełnone ostaje o cłon prjmuje następującą postać:... Poneważ smbol wstępując w cłone polega po wa swoje mennk wstępujące w proe wrażena 8 należ ropatrć warunk określone w regule M w celu określena stanu wewnętrnego automatu generującego ropatrwan. Po onacenu posukwanego stanu smbolem b wrażene 7 prjmuje tera następującą postać: b b b b b... ge smbol b w cłone b onaca stan polegając określenu. raf repreentowan pre wrażene e wskaanem lną prerwaną na alse kerunk testowana pokaano na rs b b b b b Rs. 5. Wnk testów - krok Testując automat sgnałam arówno pr stane b jak b stwerono że stan b apsan w terme b wrażena jest stanem b. W wąku powżsm werchołek b w terme b traktowan jest jako werchołek końcow buowanego rewa a opowaając temu werchołkow smbol w wrażenu traktowan jest jako pośren sgnał wjścow. Poneważ werchołek b wstąpł już w wrażenu to gone regułam buow wrażena smbolcnego a smbolem b w stawam precnek wchom pre nawas otwerając. Znajujem sę w werchołku b stojącm pre nawasem otwerającm. Krawęź wchoąca tego werchołka bła już ropatrona należ węc ropatrć tera rugą krawęź. W tm celu w omawanm prkłae analowan automat <A > sprowaon ostał o stanu pocątkowego b a

10 Logka Ukłaów Cfrowch Komputerowa anala automatów następne na jego wejśce poano sekwencję w wnku cego na wjścu automatu otrmano sekwencję. Testując automat gone regułą M stwerono że obwa sgnał generowane są pre jeen ten sam stan wewnętrn b. W wnku powżsego testowana wrażena 8 9 rownęte ostał o postac: b b b b b b raf narsowan na postawe wrażena uwglęnenem kroków testowana prestawon ostał na rs. 6. Z wrażena wnka że obwe krawęe wchoące werchołka b ostał ropatrone w wąku cm a nawasem stawam precnek prechom o werchołka b w. Do ropatrena poostaje tera ruga krawęź wchoąca b repreentująca sgnał wejścow. Automat <A > sprowaon ostał węc o stanu pocątkowego b a następne na jego wejśce poano sekwencję w wnku cego na wjścu automatu otrmano sekwencję. Poneważ aktualne ropatrwan ostatn smbol l w sekwencj polega po swoje mennk w proe wrażena pr testowanu astosowano regułę M. W wnku testowana ustalono że stan b pr którm generowan jest sgnał bęąc ostatnm elementem cągu jest stanem b któr wstąpł już wceśnej w wrażenu. b b b b b b b Rs. 6. Wnk testów - krok Na postawe uskanch wnków wrażena o następującej postac:... roserone ostał b b b b b b b...

11 Logka Ukłaów Cfrowch Komputerowa anala automatów Drewo pętlam narsowane na postawe wrażena na rs. 7. Na postawe grafu prestawone ostało rs. 7 można określć następn etap testowana automatu <A >. Należ ropocąć go o werchołka b pr sgnale. Zgone powżsm automat <A > sprowaono w ropatrwanm prkłae o stanu pocątkowego b a następne na jego wejśce poano sekwencję otrmując na wjścu automatu sekwencję. b b b b b b b Rs. 7. Wnk testów - krok 5 Poneważ w otrmanej sekwencj ostatn element polega po swój mennk w proe wrażena o ustalena stanu b generującego preprowaono operacje wnkające reguł M. Po preprowaenu tch operacj jak równeż po preprowaenu testowana la werchołków bęącch potomnm ropatrwanego stanu b na postawe uskanch wnków wrażena rownęte ostają o postac jak nżej: b b b b b b b 5 5 b b b b b b b... 5 raf narsowan na postawe wrażena 5 prestawon ostał na rs. 8.

12 Logka Ukłaów Cfrowch Komputerowa anala automatów b b b b b b b b b b b b b b Rs. 8. Wnk testów - krok 6 Z wrażena 5 jenonacne wnka że als etap testowana automatu <A > należ preprować włuż krawę wchoącej werchołka pocątkowego b. Po poanu na wejśce automatu sgnału pr stane b na wjścu automatu pojawł sę sgnał. Z wrażena wnka że smbol wstąpł już w tm wrażenu na wceśnejsch pocjach. Jenakże analowan ne polega po swoje mennk w proe wrażena. Zacho węc alternatwa że stan wewnętrn b któr spowoował wgenerowane ropatrwanego sgnału jest stanem nowm bąź jest to jeen e stanów już roponanch prporąkowanch w wrażenu 5 mennkom ropatrwanego elementu. Zastosowano węc tu regułę M. Na wejśce automatu pr stane pocątkowm b poano otrmano. Następne sprowaono automat o stanu pocątkowego poano sekwencję a na wjścu otrmano. Uskane wnk porównano pocjam 5 wrażena. Stwerono że w ropatrwanm prpaku automat achował sę tak samo. Poneważ elementom 5 prporąkowan jest stan b w wrażenu 5 stan b generując ropatrwan jest stanem b. Zwróćm uwagę na to że achowane sę automatu <A > pr stane b arówno po wpłwem sgnału jak ostało już określone w wrażenu 5. W wąku powżsm proces testowana automatu należ uważać a akońcon. Wrażena 5 uupełnone o omówone wżej wnk ostatnego etapu testowana prjmują tera następującą postać: 5 5 6

13 Logka Ukłaów Cfrowch Komputerowa anala automatów b b b b b b b b 5 5 b b b b b b b b b 7 Na postawe wrażena 7 można narsować rewo uskane w procese anal prkłaowego automatu <A > tpu Moorea. raf pętlam prestawon ostał na rs. 9. lustrujące wnk rewo b b b b b b b b b b b b b b b b b Porównując wrażena Rs. 9. Wnk testów - końcowe rewo pętlam na pocjach stojącch pre nawasam otwerającm można określć prporąkowane stanom wewnętrnm b j sgnałów wjścowch analowanego automatu. W wnku tego porównana otrmano następującą tabelę wjść T : Tabela T b b b b b W celu otrmana grafu automatu <A > wrażene 7 repreentujące rewo pętlam rs. 9 należ prekstałcć na wrażene smbolcne repreentujące graf automatu. Prekstałcene to wkonwane jest na postawe poanch wżej reguł S S

14 Logka Ukłaów Cfrowch Komputerowa anala automatów S. Wrażene wprowaone 7 ma następującą postać: b b b b b b b b b b b 8 Wrażene 8 tabela T jenonacne określają graf analowanego automatu <A >. raf ten prestawon ostał na rs.. b b b b b Rs.. Wnk testów - końcow graf automatu Załóżm że w reultace preprowaonch testów automatu uskane ostał wnk w postac tabel T wrażena 8 grafu rs.. Prjmjm że la analowanego automatu <A > nana jest postać źrółowa anch w postac wrażena smbolcnego 9 repreentowanego pre graf na rs. ora tabel wjść automatu Rs.. Worcow graf testowanego automatu

15 Logka Ukłaów Cfrowch Komputerowa anala automatów 5 Należ sprawć c uskane wnk owercelają recwst graf prejść baanego automatu <A >. W tm celu porównuje sę wrażene 9 wrażenem 8 na opowaającch sobe pocjach r k b k w obwu wrażenach. W ropatrwanm prkłae w wnku porównana otrmano następującą równoważność smbol repreentującch stan wewnętrne automatu <A >: b b b 5 b b. Postawając smbole r po opowaające m smbole b w wrażenu otrmujem wrażene poprawne. 8 9 co śwac o tm że uskane wnk anal są 5. Program o komputerowej anal automatów skońconch W poprench punktach roważono możlwość anal automatów skońconch pr wkorstanu komputera. Prestawono równeż algortm umożlwając taką analę. W celu werfkacj algortmu powstał program któr apewna komputerową realację następującch funkcj: - prechowwane struktur baanego automatu w pamęc komputera - testowane ałana automatu po wprowaenu cągu sgnałów wejścowch program generuje opowaając mu cąg sgnałów wjścowch - wspomagane procesu otworena grafu automatu na postawe otrmanch wnków wualacja wnków ch wstępne pretworene. Ponżej ostane opsan sposób korstana tego programu. 5.. Ops roseronej wersj opcj ANALIZA Jeną opcj programowego warantu automatu skońconego jest opcja ANALIZA. Po jej wbranu menu głównego stneje możlwość realacj jenej wóch funkcj: - wctane opsu automatu - testowane automatu. Perwsa tch funkcj umożlwa wctane automatu plku o poanej nawe. Zbór sgnałów wejścowch ma postać Z {... } użwane są awse kolejne neks. Jeśl akres neksów la smbol ne ostane poan to może bć on roponan w perwsej fae testowana. Jeśl w cągu testowm ostane poan smbol któr ne należ o boru sgnałów wejścowch to wśwetlon ostane komunkat "Prejśce neokreślone!". Po wctanu automatu plku można prstąpć o testowana automatu wberając rugą wmenonch wceśnej funkcj. Testowane automatu ropocna sę o poana cągu sgnałów wejścowch. W tm celu należ nacsnąć klaws <SPACJA>. Na ekrane pojaw sę okno prestawone na rs.. Można wówcas poać cąg sgnałów wejścowch oelając poscególne element tego cągu precnkam. Po wcśnęcu klawsa <ENTER> program wgeneruje cąg sgnałów wjścowch opowaając anm wejścowm. Należ wrócć uwagę że cąg ten jest awse o jeen element łużs o cągu wejścowego poneważ awera oatkowo nformację o stane pocątkowm aktualnm automatu pre poanem perwsego sgnału wejścowego cągu.

16 Logka Ukłaów Cfrowch Komputerowa anala automatów 6 Rs.. Wok ekranu testowana automatu W trakce testowana pownna bć możlwość powrotu baanego automatu o jenego wceśnejsch stanów. Można to osągnąć sprowaając automat o stanu pocątkowego klaws <TAB> - erowane a następne poając opowen cąg wejścow. O le ne ostane nacśnęt klaws <TAB> kolejne testowane obwa sę o stanu w którm automat nalał sę po poprenm kroku. W celu ułatwena procesu anal automatu program na postawe otrmwanch anch cąg wejścow wjścow po każm kroku testowana buuje wrażene Można je wśwetlć na ekrane nacskając klaws <Fl> patr rs.. Opowaając temu wrażenu enrt można otrmać na ekrane wcskając klaws <F> patr rs.. W prpaku g enrt ne meśc sę w całośc na ekrane komputera a pomocą klaws kerunkowch strałek można wbrać owoln jego fragment. Do sbsego prewjana ekranu należ oatkowo wcsnąć klaws <SHIFT>. Rs.. Wśwetlane wrażena

17 Logka Ukłaów Cfrowch Komputerowa anala automatów 7 6. Prebeg ćwcena Rs.. Wśwetlane rewa Pre prstąpenem o ćwcena sprawana jest najomość meto anal automatów w akrese entfkacj grafu automatu prestawonej w punktach.... Po aponanu sę obsługą programu jego postawowm opcjam la automatów e wskaanch plków należ: - ustalć alfabet wejścow Z skłaając sę smbol jeśl ne ostał poan - wkonać testowane automatu weług prkłau poanego w punkce. poając cąg testowe obserwując sgnał pojawające sę na wjścu automatu - apswać wnk testowana automatu w postac grafu o strukture rewastej kolejnch fragmentów wrażeń smbolcnch - prekstałcć uskane wrażene o postac wrażena narsować graf roponanego automatu - prestawć uskane wnk prowaącemu o werfkacj. 7. Sprawoane ćwcena W sprawoanu należ umeścć: temat cel ćwcena wnk testowana automatu w postac kolejnch fragmentów wrażeń na jego postawe opowaającch m kolejnch obraów rewa kompletne wrażena uskane na postawe wnków testów automatu prporąkowane sgnałów wjścowch stanom wewnętrnm automatu prekstałcene wrażena o postac wrażena graf analowanego automatu uskan na postawe wrażena wnosk ćwcena.

18 Logka Ukłaów Cfrowch Komputerowa anala automatów 8 8. Lteratura []. Bromrsk J.: Teora automatów WNT W. II. Warsawa 97 []. Kamercak J.: Sstem cbernetcn Wea Powsechna sera Omega Warsawa 978 []. Kamercak J.: Element snte formalnej sstemów operacjnch Bbloteka WASC Wawnctwo Poltechnk Wrocławskej Wrocław 979 []. Kamercak J.: Automat rogrwające parametrcne - Sntea astosowane Prace Naukowe Insttutu. Cbernetk. Techncnej PWr. Monografe Wawnctwo Poltechnk Wrocławskej Wrocław 97 [5]. Kamercak J. Kluska J. Kacmarek A.: Postaw teor automatów - Laboratorum skrpt Wawnctwo Poltechnk Resowskej Resów 98