SINTEZA AUTOMATA APSTRAKTNA SINTEZA AUTOMATA

Transcript

1 SINTEZA AUTOMATA APSTAKTNA SINTEZA - zadavanje atomata - minimizacija STUKTUNA SINTEZA - kodiranje stanja, laza i izlaza - vrštavanje kodova, prepoznavanje: tablica prijelaza za pojedine bistabile tablica istine za izlazne varijable - realizacija atomata općim bistabilima i logičkim vratima mx-demx strktrom i D bistabilima (MDD) APSTAKTNA SINTEZA AUTOMATA ZADAVANJE AUTOMATA: tri pristpa - transformator sekvence pravila: lazna sekvenca izlazna sekvenca (matematičke gramatike) - akceptor sekvence pravila: lazna sekvenca izlazni simbol (jezik reglarnih izraza) - korak po korak pravila: lazni simbol izlazni simbol (metoda potpnog stabla)

2 EGULANI IZAZI POBLEM POČETNOG ZAPISA tablice i grafovi neprikladni to je primitivan formalni jezik (zapisa atomata) potpno stablo zrokje eksplozij stanja AKCEPTO SEKVENCE preslikavanje lazne sekvence na izlazni simbol vodimo viši formalni jezik (zapisa atomata) to s reglarni izrazi EGULANI IZAZI ULAZI U AUTOMAT lazi atomat daj m informacij o okolini lazni simboli dolaze vremenskim nizovima to s sekvence diskretnom vremen te smo sekvence nazivali nizovima DOGAĐAJA ALGEBA DOGAĐAJA algebra koja zima obzir vremenske odnose bavi se nizovima DOGAĐAJA vodi ALGEBASKE OPEACIJE međ događajima

3 ALGEBA DOGAĐAJA VSTE DOGAĐAJA elementarni događaj složeni događaj ELEMENTANI DOGAĐAJ nedjeljivi događaj, desi se kao cjelina desi se samo JEDAN trentk diskretnog vremena SLOŽENI DOGAĐAJ nastaje kao kombinacija elementarnih događaja sštini je vremenski niz - sekvenca - elementarnih ALGEBA DOGAĐAJA OPEACIJE MEĐU DOGAĐAJIMA: konjnkcija, disjnkcija, negacija i iteracija operacijskim vezama međ elementarnim događajima dobijemo složene događaje pišemo ALGEBASKE IZAZE granicama algebre događaja EGULANI IZAZI to s KONAČNI algebarski izrazi okvirima algebre događaja

4 ALGEBA DOGAĐAJA DISJUNKCIJA složeni događaj od dva ili više (elementarnih) događaja desi se kad se desi JEDAN OD disjnktivno vezanih članova (događaja) traje koliko traje disjnktivni član koji se desio vrijedi svojstvo komtativnosti: KONJUNKCIJA ALGEBA DOGAĐAJA & složeni događaj od dva ili više (elementarnih) događaja desi se kad se dese SVI disjnktivno vezani članovi onim redom kojim s zapisani traje koliko traj SVI članovi opisje SEKVENCU događaja ne vrijedi svojstvo komtativnosti

5 ALGEBA DOGAĐAJA NEGACIJA događaj koji se desi kad se NE dese negirani događaj to je dakle skp SVIH događaja OSIM negiranog događaja problem je određivanj POTPUNOG SKUPA događaja potpni skp događaja može biti beskonačan stoga se praksi ne koristi ALGEBA DOGAĐAJA ITEACIJA (iteracijska zagrada) događaj koji se desi kad se događaj pod iteracijom desi POIZVOLJAN BOJ pta, čak i NI JEDNOM dakle, to je skp svih sekvenci koje nastaj proizvoljnim ponavljanjem događaja pod iteracijom iteracija kljčje i prazn sekvenc Λ: ( ) ( K) ( ) ( ) Λ K

6 ALGEBA DOGAĐAJA EGULANI IZAZI to s KONAČNI algebarski izrazi okvirima algebre događaja EGULANI DOGAĐAJ svaki složeni događaj koji možemo izraziti konačnim algebarskim izrazom - reglarnim izrazom VEZA AUTOMATA I ALGEBE: lazni simbol atomata je elementarni događaj sekvenca laznih simbola je složeni događaj POBLEM ZADAVANJA AUTOMATA promatramo atomat kao akceptor sekvence trebamo opisati tražen sekvenc atomat mora odbaciti sekvence koje nis tražene trebamo opisati i sekvence koje nis tražene EGULANIM IZAZOM opisjemo lazn sekvenc tako da izdvojimo dio sekvence koji nije tražena sekvenca dio sekvence koji je tražena sekvenca

7 VSTA SEKVENCE DOGAĐAJA sekvenca sa strktrom sekvenca bez strktre koristimo dvije različite tehnike pisanja reglarnog izraza POBLEM BOJA IZLAZNIH SIMBOLA jedan ili više akceptorskih izlaznih simbola pišemo zasebni reglarni izraz za svaki simbol zajednički dio NE kljčje tražene sekvence SEKVENCA SA STUKTUOM iteracijskom zagradom obhvatimo sekvence koje NISU tražene običnom zagradom obhvatimo sekvence koje s tražene za promatrani AKCEPTOSKI (AKTIVNI) izlazni simbol pišemo više izraza ako je više AKCEPTOSKIH izlaznih simbola atomat svim diskretnim trencima, kojima NIJE donio odlk, na izlaz daje NEUTALNI (NEAKTIVNI) izlazni simbol

8 SEKVENCA SA STUKTUOM -. PIMJE međ sekvencama po TI simbola, tražimo sekvence i za izlazni simbol i, atomat daje i svim ostalim slčajevima za sekvence koje nis tražene ( ) ( ) ( )( ) ( ) i 0 SEKVENCA SA STUKTUOM -. PIMJE za tražene sekvence sve skpa, nakon niza netraženih naiđe tražena sekvenca: ( ) ( ) i i ( ) i 0 ( ) ( )( ) ( ) ( ) ( ) i

9 SEKVENCA SA STUKTUOM -. PIMJE međ sekvencama po DVA simbola 0, tražimo sekvenc 0 za izlazni simbol i, i sekvenc 0 za izlazni simbol i, atomat daje i 0 svim ostalim slčajevima za sekvenc 0 za sekvenc 0 dio za netražene sekvence je isti! ( ) ( ) i i SEKVENCA BEZ STUKTUE analiziramo dijelove lazne sekvence iteracijskom zagradom obhvatimo sekvence do dljine tražene koje NISU POČETAK tražene pišemo PVI simbol tražene sekvence iteracijskom zagradom obhvatimo ostatke sekvenci nakon prvog simbola koje NISU POČETAK tražene, ali čiji je ZADNJI simbol PVI simbol tražene sekvence (ako takvih ima) pišemo DUGI simbol tražene sekvence

10 SEKVENCA BEZ STUKTUE - NASTAVAK iteracijskom zagradom obhvatimo ostatke sekvenci nakon drgog simbola koje NISU POČETAK tražene, ali čija s ZADNJA DVA simbola PVA DVA simbola tražene sekvence (ako takvih ima) pišemo TEĆI simbol tražene sekvence iteracijskom zagradom obhvatimo ostatke sekvenci nakon trećeg simbola koje NISU POČETAK tražene, ali čija s ZADNJA TI simbola PVA TI simbola tražene sekvence (ako takvih ima) itd. do ispisa tražene sekvence SEKVENCA BEZ STUKTUE - PIMJE napisti reglarni izraz za atomat koji na izlaz daje ako je posljednjih 5 bita sekvence bez strktre bilo 00 (dozvoljeno preklapanje): ( ) ( ) ( ) i

11 SINTEZA AUTOMATA označimo MJESTA ntar reglarnog izraza mjesta mog biti osnovna i predosnovna indeksiramo osnovna mjesta rasprostiremo indekse koristeći pravila o rasprostiranj dodijelimo IZLAZNI simbol akceptorskim mjestima redciramo indekse koristeći pravila o redkciji ispišemo primitivn tablic atomata! MJESTA U EGULANOM IZAZU OSNOVNA mjesta s ona koja se nalaze s lijeve strane obične i iteracijske zagrade i s desne strane slova PEDOSNOVNA s ona koja se nalaze s desne strane obične i iteracijske zagrade i s lijeve strane slova izmeđ dva slova (simbola) mjesto je istovremeno osnovno i predosnovno, smatramo ga OSNOVNIM izmeđ dvije zagrade mjesto je istovremeno osnovno i predosnovno, smatramo ga PEDOSNOVNIM

12 ODNOS MJESTA I AUTOMATA OSNOVNA mjesta odgovaraj STANJIMA atomata to s stanja koja dolazimo nakon određene sekvence laznih događaja PEDOSNOVNA mjesta odgovaraj PELAZIMA atomata to s stanja iz kojih idemo prelaze INDEKSIANJE MJESTA osnovna mjesta označimo KATKIM okomitim crtama i indeksiramo PVOM red ispod izraza predosnovna mjesta označimo DUGIM okomitim crtama i indeksiramo DUGOM red ispod izraza osnovnim mjestima dodijelimo VLASTITE indekse, npr. edom, na predosnovna mjesta rasprostiremo indekse osnovnih mjesta koristeći 5 pravila (4+pravilo za završno mjesto izraza)

13 PAVILA ZA ASPOSTIANJE INDEKSA indeks mjesta ispred obične i iteracijske zagrade rasprostiremo na POČETNA PEDOSNOVNA mjesta disjnktivno vezanih članova ntar zagrade (zato jer se zagrada - disjnkcija desi, kad se desi jedan od disjnktivno vezanih članova) indeks mjesta ispred iteracijske zagrade rasprostiremo na predosnovno mjesto IZA zagrade (zato jer iteracija sadrži i prazn sekvenc) PAVILA ZA ASPOSTIANJE INDEKSA 3 indeks ZAVŠNIH mjesta disjnktivno vezanih članova ntar obične i iteracijske zagrade rasprostiremo na predosnovno mjesto IZA zagrade (zato jer se zagrada - disjnkcija desi, kad se desi jedan od disjnktivno vezanih članova) 4 indekse svih mjesta koja smo rasprostirali na predosnovno mjesto IZA iteracijske zagrade rasprostiremo na POČETNA PEDOSNOVNA mjesta disjnktivno vezanih članova ntar zagrade (zato jer iteracija dozvoljava proizvoljno ponavljanje)

14 PAVILA ZA ASPOSTIANJE INDEKSA završno mjesto reglarnog izraza odgovara akceptorskom stanj rasprostiranje tog indeksa osigrava rad atomata nakon prepoznavanja tražene sekvence 5 indeks ZAVŠNOG mjesta reglarnog izraza rasprostiremo na ona predosnovna mjesta, na koja se je rasprostirao indeks početnog mjesta reglarnog izraza iznimno, ako za sekvenc bez strktre dozvoljavamo preklapanje, indeks završnog mjesta rasprostiremo na mjesta na koja se rasprostirao indeks mjesta koje dolazimo nakon dijela sekvence koji se preklapa DODJELJIVANJE IZLAZNIH SIMBOLA za MOOE atomat akceptorski izlazni simbol dodijelimo završnom OSNOVNOM mjest reglarnog izraza za MEALY atomat, akceptorski izlazni simbol dodijelimo posljednjem PEDOSNOVNOM mjest reglarnog izraza, a to je vijek mjesto ISPED posljednjeg simbola tražene sekvence za sva ostala mjesta podrazmijevamo NEUTALNI izlazni simbol

15 PAVILA ZA EDUKCIJU INDEKSA indekse SVIH mjesta koji s se rasprostirali na ISTO predosnovno mjesto zamijenimo jednim indeksom, pod vjetom da s im dodijeljeni ISTI izlazni simboli indekse SVIH mjesta koja dolazimo iz ISTOG predosnovnog mjesta s ISTIM laznim simbolom zamijenimo jednim indeksom ISPIS PIMITIVNE TABLICE AUTOMATA ispišemo primitivn tablic tako da preostale indekse osnovnih mjesta zmemo za stanja atomata, a njihove prelaze odredimo preko laznih simbola PIMJE (00): označimo mjesta: indeksiramo osnovna mjesta redom: primijenimo prvo i drgo pravilo rasprostiranja:

16 PIMJE (00): primijenimo treće i četvrto pravilo rasprostiranja: peto pravilo, dozvolimo preklapanje: PIMJE (00): dodijelimo izlazni simbol, MOOE dodijelimo izlazni simbol, MEALY

17 PIMJE (00): nastavimo s MOOE atomatom primijenimo prvo pravilo za redkcij indeksa: primijenimo drgo pravilo za redkcij indeksa: PIMJE (00): ispišimo primitivn tablic za MOOE atomat n s + n i

18 PIMJE (00): nacrtajmo graf za MOOE atomat (00): PIMJE dva izlazna simbola: indeksiramo zajednički dio isto: