Tento předmět byl zrušen a rozdělen na [Principy překladačů](Principy%20překladačů) {{SISPředmět|SWI098}} a [Konstrukce překladačů](Konstrukce%20překladačů) {{SISPředmět|SWI109}}. ## Schéma překladače ## :*      Práce překladače připomíná studenta, když se učí z ručně psaných (typicky vlastních) poznámek. Začíná to [lexikální analýzou](#lexikální%20analýza), kdy student zkoumá, co jsou ty čmáranice vlastně za písmenka, kde jsou hranice slov a podobně. [Syntaktická analýza](#Syntaktická%20analýza) probíhá většinou paralelně s lexikální. Student ověřuje, zda jsou jeho poznámky vůbec česky (případně slovensky, anglicky, ...) a zda to nejsou čiré nesmysly.* :*      Následuje [sémantická analýza](#sémantická%20analýza), kdy student bádá, co tím chtěl básník (tedy on) vlastně říct, pídí se po nějakém hlubším smyslu poznámek a snaží se odhalit nějaké souvislosti mezi jednotlivými odstavci, sekcemi a kapitolami. Jednotlivým elementům textu jsou přiřazeny atributy, které postupně (v *k* průchodech, kde *k* je často mnohem větší než 1) doplňuje hodnoty těchto atributů. Příkladem atributů mohou být odkazy na související oblasti učiva nebo různé pomůcky a analogie pro snadnější pochopení a zapamatování jednotlivých elementů. Fáze sémantické analýzy bývá obvykle kritická a většinou se neobejde bez potíží (minimálně warningů). Student kleje, že poznámky nedávají smysl, a lamentuje nad tím, že si to nepoznačil lépe a nenapsal si toho víc. Nedostatky poznámek, způsobené obvykle nepozorností nebo dokonce absencí na přednášce, obvykle končí chybami při překladu, méně často učení proběhne bez větších potíží a výsledkem je pouze několik (desítek) varování. O jiných případech asi nemá cenu mluvit, jsou příliš vzácné.* :*      Do back-endu už tolik nevidíme, je však nutné poznamenat, že choulostivou fází jsou optimalizace. Je potřeba se vyhnout přeoptimalizování. High-level optimalizace často způsobují nepřesnosti zásadního rozsahu ve znalostech studenta. Low-level optimalizace můžou v jeho mysli zastínit některé důležité detaily.* ## Syntaktická analýza ## ### Síla gramatik ### ![Jazyky.png](Archiv/Konstrukce překladačů (SWI002)/Jazyky.png) ...navyše zjednotenie všetkých LR(n) dáva DBKJ (deterministické bezkontextové jazyky). ---- ### Analýza zhora-nadol ### *aká je definícia gramatiky LL(1) *ako sú nadefinované operátory FIRST a FOLLOW, a čo to predstavuje *pri LL(1) je potrebné vedieť, akým spôsobom skonštruujeme jednoduchý automat. #### Operátor FIRST #### Je to funkcia, ktorá dostane **terminály alebo neterminál** a vráti množinu **terminálov**. Yaghob sa vás určite spýta, čo vlastne tento operátor predstavuje. Je potrebné vedieť, že FIRST(X) je množina **terminálov** takých, ktoré sa môžu vyskytnúť na začiatku slova, zderivovateľného z X. Túto množinu potrebujeme pre vytvorenie FOLLOW(X) a pre definíciu gramatiky LL(1). ##### Definice ##### Pro množinu slov $L \subseteq P(V^*) \,\!$ je $FIRST_k^G(L)= \{x \in V_T^* | (\exists y \in L)((y\Rightarrow_G^* x \ \and\ |x| \leq k) \ \or\ (\exists z \in V_T^*)(y\Rightarrow_G^* xz \ \and\ |x| = k)) \}.$ ##### Konstrukce ##### :Ako vytvoríme FIRST(X)? #ak je X terminál, potom FIRST(X)={X} #ak je X neterminál, potom: #*Ďalej nás zaujímajú len pravidlá z gramatiky, ktoré majú na ľavej strane neterminál X. #*Ak je v gramatike pravidlo X -> λ, potom do FIRST(X) pridáme λ. #*Ak je pravidlo v tvare: X -> Y1Y2Y3Y... a všetky FIRST(Yi) obsahujú λ, potom do FIRST(X) znova pridáme λ. #*Ak je pravidlo v tvare: X -> Y1Y2Y3Y... ale existuje FIRST(Yi), ktoré neobsahuje λ, potom nájdeme zľava prvé také Yk, aby FIRST(Yk) obsahovalo λ ale FIRST(Yk+1) neobsahovalo λ Potom do FIRST(X) dáme všetko z FIRST(Y1) ... FIRST(Yk+1) Navyše môžeme celý postup zobecniť na reťazce. V tom prípade ak je (Si)i=1..n postupnosť terminálov a neterminálov, pre ktoré už FIRST máme spočítané, potom FIRST(S) vytvoríme z FIRST(S1)..FIRST(Sk), ktoré obsahujú λ a FIRST(Sk+1), ktoré už λ neobsahuje. #### Operátor FOLLOW #### Je to funkcia, ktorá dostane **neterminál** a vráti množinu **terminálov**. Znova sa vás Yaghob spýta, čo vlastne tento operátor v skutočnosti predstavuje. FOLLOW neterminálu vrací množinu terminálů, které se mohou (např. ve větné formě) vyskytovat bezprostředně za tímto neterminálem. Túto množinu potrebujeme pre definíciu gramatiky LL(1) a hlavne pre konštrukciu SLR(1) parseru (podľa toho zistíme, kam patria redukcie). **POZNÁMKA k SLR(1) parseru:** Pokiaľ sa niekde vyskytne kolizia v redukcii, znamena to, že nejake neterminaly X,Y mali neprazdny prienik vo svojich množinách FOLLOW, čo sa dá zapísať takto: FOLLOW(X) ∩ FOLLOW(Y) ≠ ∅ Back in school, I'm doing so much lerainng. QishPB zksvatnwittz H4Dyi9 , \[url=http://mfjcfelxckdf.com/]mfjcfelxckdf\[/url], \[link=http://axbsnbjxfmjg.com/]axbsnbjxfmjg\[/link], http://gogfhkbgmwxa.com/ cy6Czb vdzconratrwv hSheqc , \[url=http://egzwdtdthzgo.com/]egzwdtdthzgo\[/url], \[link=http://cfmcyylfucuf.com/]cfmcyylfucuf\[/link], http://ozbattpabrzg.com/ ## Zkouška ## * maily o zkoušce z mff-info: [1](http://groups.yahoo.com/group/mff-info/message/1496) [2](http://groups.yahoo.com/group/mff-info/message/1456) [3](http://groups.yahoo.com/group/mff-info/message/885) [4](http://groups.yahoo.com/group/mff-info/message/879) [5](http://groups.yahoo.com/group/mff-info/message/796) [6](http://groups.yahoo.com/group/mff-info/message/294) [7](http://groups.yahoo.com/group/mff-info/message/700) * [novější zadání](http://mff.modry.cz/diskuse/index.php?nop&diskuse_select_sekce=vse&tree=6273#prispevek6273)