2.1 Formalne gramatike

Description

SPP Flashcards on 2.1 Formalne gramatike, created by Slobodan Zelić on 18/08/2019.
Slobodan Zelić
Flashcards by Slobodan Zelić, updated more than 1 year ago
Slobodan Zelić
Created by Slobodan Zelić almost 5 years ago
27
0

Resource summary

Question Answer
Dva glavna aspekta svakog jezika? Sintaksa Semantika - znacenje
Specifikacija jezika moze biti..? - Generativna: saopstava postupak koji pravi valjane recenice, najcesci slucaj formalne gramatike - Analiticka: Saopstava postupak koji za svaku recenicu moze utvrditi da li je ona valjana
Sta je formalna gramatika? Formalni opis sintakse nekog jezika. Saopstavanje znanja o jeziku u obliku koji je pogodan za racunar.
Sta cini formalni sistem? Neinterpretativan matematicki sistem koji cine: - azbuka - aksiome - skup pravila zakljucivanja (AAS)
Sta je formalni sistem? META-JEZIK za definisanje programskih jezika
Sta su terminalni, a sta neterminalni simboli? Terminalni simboli su simboli jezika objekta, a neterminalni simboli su simboli meta-jezika. Neterminalni: definisu dozvoljene iskaze i izraze u jeziku Terminalni: kljucne reci i operatori u jeziku
Sta je azbuka T? Azbuka T je konacan skup terminalnih simbola. Npr T = {a,b,c}
Formula/recenica/niz znakova u azbuci? Dobija se pripajanjem simbola Npr. ab, ac...
Recnik formiran u T? Skup svih konacnih reci tj. nizova azbuke T.
Jezik L je..? Podskup recnika, definisan pomocu jednog ili vise znakove smene (smena zamenjuje zadatu rec sa jednom od reci u koju se ona transformise) 2 def : beskonacan skup recenica
Skup posledica formalnog sistema? Skup reci -> koji se dobija primenom pravila zakljucivanja nad skupom reci jezika
Teza sistema? Skup posledica izvedenih iz sopstvenih aksioma.
Kada je sistem odluciv? Kada postoji algoritam za odredjivanje da li je neka neka rec jezika element teze sistema
Sta je gramatika? Konacan skup elemenata i pravila jezika
Veza: jezik <-> gramatika? Razlicite gramatike mogu definisati isti jezik
Sta je pocetni simbol i za sta sluzi? Pocetni simbol je poseban neterminalni simbol od koga se razvijaju svi nizovi tj reci/recenice jezika.
Proces generisanja se sastoji od? (reci/recenica) Proces generisanja se sastoji od primene u svakom koraku jedne produkcije iliti SMENE. (pretvara jednu rec u drugu)
Formalna gramatika kao skup Skup cetiri elemenata G(N, T, E, P) gde je: N - skup neterminalnih simbola T - skup terminalnih simbola E - pocetni simbol, neterminalan P - skup smena tj Produkcija N i T su disjunktni (nemaju zajednickih elemenata)
Recenicna forma Bilo koja rec koja moze da se razvije iz pocetnog simbola E
Recenica Recenicna forma koja sadrzi samo terminalne simbole tj. simbole koji su deo odredisnog jezika
Najprostiji metod definisanja sintakse jezika? Najprostiji metod definisanja sintakse jezika je pisanjem skupa produkcija (generativnih pravila)
Sta je sve potrebno radi pisanja kompajlera? Skup produkcija (generativnih pravila) i skup pravila prepoznavanja.
Primena pravila prepoznavanja se naziva? Analizom ili parsingom
Sta je BNF tj. Bakus-Naurova forma? Notacija tj. meta-jezik za izrazavanje produkcija gde svaka produkcija definise sintaksnu klasu (neterminalni simbol)
Elementi BNF meta-jezika <> ogradjuje sintaksnu klasu ::= oznacava smenu tj produkciju | simbol "ILI", omogucava dodelu vise smena
Format produkcije BNF meta jezika
Show full summary Hide full summary

Similar

SPP Document 208
Tim Miralles Mon
Computer Science mock revision cards
Lewis Annis
Unit 2 Review
Ore Falana
2.1 - Molecules to metabolism - Key terms
Ella-mentary
Propriétés des Ondes
Kayla Y
Unit 1
Summer Davis
1.1 Uvod
Slobodan Zelić
rates
abi.harmer
PRESENTATION: Domain #2
Helena Banks
DEFINITIONS: D2.1
Helena Banks
Circulation and Respiration
Margaret Moe