Azbuka, niska: formalizam

Σχετικά έγγραφα
Εισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 2ο Αναπαράσταση Δεδομένων

FORMALNI SISTEMI KAO OSNOVA ZA PROJEKTOVANJE KOMPAJLERA

Programiranje I. Smer Informatika Matematički fakultet, Beograd. Jelena Tomašević, Sana Stojanović November 16, 2005

Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A

Operacije s matricama

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

ELEKTROTEHNIČKI ODJEL

Iskazna logika 3. Matematička logika u računarstvu. novembar 2012

DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović

Εισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 2ο Αναπαράσταση Δεδομένων

numeričkih deskriptivnih mera.

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.

XI dvoqas veжbi dr Vladimir Balti. 4. Stabla

1. Pojam fazi skupa. 2. Pojam fazi skupa. 3. Funkcija pripadnosti, osobine i oblici. 4. Funkcija pripadnosti, osobine i oblici

Κεφάλαιο 2 Η έννοια και η παράσταση της πληροφορίας στον ΗΥ. Εφ. Πληροφορικής Κεφ. 2 Καραμαούνας Πολύκαρπος 1

7 Algebarske jednadžbe

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

Πληροφορική. Ενότητα 4 η : Κωδικοποίηση & Παράσταση Δεδομένων. Ι. Ψαρομήλιγκος Τμήμα Λογιστικής & Χρηματοοικονομικής

Εισαγωγή στην Πληροφορική & τον Προγραμματισμό

Programiranje 1. Smer Informatika Matematički fakultet, Beograd

Ψηφιακά Συστήματα. 2. Κώδικες

Κείμενο ASCII Unicode - HTML. Κωδικοποίηση ASCII / Unicode HTML

Konstruisati efikasan algoritam znači dati skup preciznih uputstava kako doći do rešenja zadatog problema Algoritmi se mogu opisivati:

Προγραμματισμός Υπολογιστών

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost

TRIGONOMETRIJA TROKUTA

21. ŠKOLSKO/OPĆINSKO/GRADSKO NATJECANJE IZ GEOGRAFIJE GODINE 8. RAZRED TOČNI ODGOVORI

Sintaksa i semantika u logici

Zadaci iz trigonometrije za seminar

ΕΠΛ031 - Εισαγωγή στον Προγραμματισμό

2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x

ΚΩΔΙΚΕΣ ΕΠΙΚΟΙΝΩΝΙΑΣ

Iskazna logika 1. Matematička logika. Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia.

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

3.1 Granična vrednost funkcije u tački

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές

Research of Han Character Internal Codes Recognition Algorithm in the Multi2lingual Environment

Μάθημα 2: Παράσταση της Πληροφορίας

Klasifikacija blizu Kelerovih mnogostrukosti. konstantne holomorfne sekcione krivine. Kelerove. mnogostrukosti. blizu Kelerove.

radni nerecenzirani materijal za predavanja

Pismeni ispit iz matematike GRUPA A 1. Napisati u trigonometrijskom i eksponencijalnom obliku kompleksni broj, zatim naći 4 z.

1 UPUTSTVO ZA IZRADU GRAFIČKOG RADA IZ MEHANIKE II

Sistemi veštačke inteligencije primer 1

Elementi spektralne teorije matrica

PARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,

TRIGONOMETRIJSKE FUNKCIJE I I.1.

Ispitivanje toka i skiciranje grafika funkcija

SKUPOVI I SKUPOVNE OPERACIJE

Binarno kodirani dekadni brojevi

KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.

ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 9 ο : Σύνολα χαρακτήρων και UNICODE. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος:

Diskretna matematika. Prof. dr Olivera Nikolić

Riješeni zadaci: Nizovi realnih brojeva

IZRAČUNAVANJE POKAZATELJA NAČINA RADA NAČINA RADA (ISKORIŠĆENOSTI KAPACITETA, STEPENA OTVORENOSTI RADNIH MESTA I NIVOA ORGANIZOVANOSTI)

4.7. Zadaci Formalizam diferenciranja (teorija na stranama ) 343. Znajući izvod funkcije x arctg x, odrediti izvod funkcije x arcctg x.

POTPUNO RIJEŠENIH ZADATAKA PRIRUČNIK ZA SAMOSTALNO UČENJE

Εισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 2ο Αναπαράσταση Δεδομένων

APROKSIMACIJA FUNKCIJA

2.2 Srednje vrijednosti. aritmetička sredina, medijan, mod. Podaci (realizacije varijable X): x 1,x 2,...,x n (1)

Αριθμητικά Συστήματα

694 Α / Α /

KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.

Teorija kodiranja. Hamingov kod i njegova definicija

Eliminacijski zadatak iz Matematike 1 za kemičare

PID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ).

2. KONAČNI AUTOMATI. Brojčani sistemi. Kodiranje 1

Relacije poretka ure denja

Pismeni ispit iz matematike Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: ( ) + 1.

KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.

KODE ZA ODKRIVANJE IN ODPRAVLJANJE NAPAK

Pošto pretvaramo iz veće u manju mjernu jedinicu broj 2.5 množimo s 1000,

Računarska grafika. Rasterizacija linije

Matematička analiza 1 dodatni zadaci

2. Κώδικες 2. ΚΩΔΙΚΕΣ

Εισαγωγή στον Προγραμματισμό

Zavrxni ispit iz Matematiqke analize 1

41. Jednačine koje se svode na kvadratne

Računarska grafika. Rasterizacija linije

( ) ( ) 2 UNIVERZITET U ZENICI POLITEHNIČKI FAKULTET. Zadaci za pripremu polaganja kvalifikacionog ispita iz Matematike. 1. Riješiti jednačine: 4

2. KOLOKVIJ IZ MATEMATIKE 1

SISTEMI NELINEARNIH JEDNAČINA

Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo:

1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i

22Y103 Εισαγωγή Υπολογιστές Ι

ΕΠΛ 003: ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ. Αναπαράσταση δεδομένων

Βασική δοµή και Λειτουργία Υπολογιστή

Teorijske osnove informatike 1

x n +m = 0. Ovo proširenje ima svoju manu u tome da se odričemo relacije poretka - no ne možemo imati sve...

IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo

Inženjerska grafika geometrijskih oblika (5. predavanje, tema1)

IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f

Εισαγωγή στην Πληροφορική ΓΕΝΙΚΟ ΤΜΗΜΑ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ TEI ΧΑΛΚΙ ΑΣ

Obrada signala

Betonske konstrukcije 1 - vežbe 3 - Veliki ekscentricitet -Dodatni primeri

ΥΠΟΛΟΓΙΣΤΕΣ Ι. Τα επιμέρους τμήματα ΥΠΟΛΟΓΙΣΤΗ Η ΔΟΜΗ TOY ΥΠΟΛΟΓΙΣΤΗ. Αναπαράσταση μεγεθών. Αναλογική αναπαράσταση ΚΕΝΤΡΙΚΗ ΜΝΗΜΗ ΜΟΝΑΔΑ ΕΛΕΓΧΟΥ

Automatsko rezonovanje beleške sa predavanja. Uvod. Filip Marić. Matematički fakultet, Univerzitet u Beogradu. Proletnji semestar 2018.

Verovatnoća i Statistika I deo Teorija verovatnoće (zadaci) Beleške dr Bobana Marinkovića


Transcript:

Azbuka, reč, jezik Jezik: sredstvo za komunikaciju Prihvatljiv za sve učesnike Prirodni jezik: ekspresivan, nejednoznačan, neprecizan Veštački jezik: u matematici, hemiji, saobraćaju Programski jezici: nivoi apstrakcije računara i čoveka

Programski jezik Prirodan i jednostavan / precizan: jezički procesori ANSI: Programski jezik je jezik koji se koristi za pripremanje računarskih programa Klasifikacija Backus, 1957: FORTRAN

Azbuka, niska Sintaksa Semantika Azbuka: konačni skup znakova (simbola, slova) Simbol: nedeljiva jedinica jezika Niska: nizanjem simbola Niska ω dužina ω : broj simbola Prazna niska: ε α slovo,α i = αα...α α 0 = ε, α 1 = α, α 2 = αα, itd.

Azbuka, niska: formalizam Azbuka A 1. ε je niska nad A 2. ω niska nad A i α slovo iz A -> ωα niska nad A 3. niska: pravilima 1, 2. Operacije Konkatenacija (dopisivanje) Inverzija (obrtanje)... A= {α 1 α 2,..., α n } A* = {ε, α 1, α 2,..., α n, α 1 α 1, α 1 α 2,..., α 1 α n, α 2 α 1, α 2 α 2,..., α 1 α 1 α 1,... } A + = A*\ε

Karakterski skup Tekstuelna komunikacija sa računarom Spoljašnja azbuka, npr. {A,B,...,Z,1,2,..., 9,?, } Kodiranje: kombinacije 0,1 fiksne dužine kôd fiksne dužine nad {0,1} Svaki računar: svoj skup karaktera Karakter: spoljašnji oblik i unutrašnja reprezentacija: standardna kodna shema

Kodne sheme Kodna reč: varijacija sa ponavljanjem nad {0,1} dužine 7 (8) bita (128 (256) kodnih reči) Dužine 16 bita (65536 kodnih reči) Kodna reč fiksne dužine u jednoj kodnoj shemi: karakter 1 znak bajt Y 1 bajt 1 znak (sa ili bez grafičkog lika) 1983. g. ISO (International Standard Organization): 7-bitni kôd Nacionalna američka verzija: ANSI (American Standards Institute): 1968.g. American Standard Code for Information Interchange: ASCII kôd.

ASCII kôd Npr. A 1000001 (=65) B 1000010 (=66) 0 0110000 (=48) 9 0111001 (=57) Struktura ASCII kôda: Kodovi 0-31, kôd 127 kontrolni karakteri bez grafičkog lika, npr. CR (13), LF (10), itd. Uređenje prema unutrašnjiom kodovima A-Z (65-90) abecedni poredak a-z (97-122) 0-9 (48-57) rastući brojčani poredak Kôd(velSlovo) = kôd(maloslovo)-32 (2 5 ) ISO 7-bitni kôd: prostor za druge nacionalne verzije Slobodno korišćenje karaktera 64, 91-94, 96, 123-126

YU-ASCII Jugoslovenski zavod za standarde 1986.g. Narušen abecedni poredak

Proširenja 7-bitnog kôda 7-bitni kôd: svega 95 pozicija - nedovoljno 8-bitno proširenje Donja i gornja kodna stranica Donja ponovljen ASCII: nepostavljen najviši bit Gornja: postavljen najviši bit; karakteri 128-159 (32) nemaju grafički lik 95+96=191 kôd ISO 8859 8859-1 Latin-1 većina zapadnoevropskih jezika 8859-2 Latin2 većna srednjeevropskih i slovenskih jezika sa latiničnim pismom - i srpska latinica 8859-3 Latin-3 esperanto, turski,... 8859-15

Proširenja 7-bitnog kôda Naša slova u Latin-2 (razlika za 16 bit na poziciji 5 ili 32 bit na poziciji 6):

Industrijski standardi EBCDIC (Extended Binary Coded Decimal Interchange Code), IBM Windows kodne strane: 8-bitna proširenja ASCII koda: svih 128 pozicija gornje kodne strane, ukupno 223 (i, œ) CP1252 (WinLatin1) CP1250 (WinLatin2) CP1251 (WinCyrillic)...

Unicode Xerox Parc, Apple, 1989.g. novi sistem kodiranja - Unicode, cilj: Univerzalan (UNIversal) sve savremene jezike sa pismom Jedinstven (UNIque), bez dupliranja karaktera kodiraju se pisma a ne jezici Uniforman (UNIform) - svaki karakter istim brojem bitova: 16 1991: Unicode 1.1 ISO: standard višebajtovskog kodiranja Universal Multiple-Octet Coded Character Set 4 (ISO 10646) 4-bajtovsko kodiranje (CJK pisma) 1990.g. radna verzija

Unicode 1993.g. koordinacija: ISO 10646 kompatibilan sa Unicode-om Repertoar Unicode-a: 65536 pozicija Prvih 8192 pozicije: za standardne alfabete Prvih 256: identične ISO 8859-1 Sledećih 4096 pozicija specijalni karakteri (0x2000 0x3000) Sledećih 4096 pozicija za CJK simbole (0x3000 0x4000) CJK ideografsko pismo

Unicode naša latinična slova 262, 263 Ć, ć 268, 269 Č, č 272, 273 Đ, đ 352, 353 Š, š 381, 382 Ž, ž

Unicode http://www.unicode.org/charts/ Zadatak: pronaći na Internetu tekstove o Unicode-u i kodne sheme

Jezik Jezik L nad azbukom A: L f A* Beskonačno mnogo jezika nad A ω0 L reč jezika L Pravila koja razlikuju reči od ne-reči; sintaksa jezika Semantika : pravila značenja Programski jezik: precizna sintaksa konstante, identifikatora, izraza, iskaza, funkcije, programa, itd. Programi jezički procesori Zadavanje sintakse: Nabrajanje Formalna gramatika

Formalna gramatika: primer Azbuka: {0,1,2,3,4,5,6,7,8,9,+,-} Jezik celih brojeva +1205, 1205, -1205 niske 12+05, 1205+ nisu iz jezika Oznake: B broj; b - neoznačen ceo broj; c cifra Pravila: 1. B je b, +b ili b; 2. b je c ili b na koji je dopisana c 3. c je simbol iz skupa {0,1,2,3,4,5,6,7,8,9} Pomoćni simboli: B, b, c

Formalna gramatika: primer (nast.) Zapis pravila: B b +b -b b c bc c 0 1 2 3 4 5 6 7 8 9 Početni simbol: B Primer izvođenja: BYb Y bc Y bcc Y bccc Y cccc Y 1ccc Y 12cc Y 123c Y 1234 Moguća i druga izvođenja Izvođenje n-tocifrenog broja

Formalna gramatika (N,T,P,S) N: nezavršni (neterminalni) simboli T (A) završni (terminalni) simboli P pravila S0N početni (startni) simbol Primer N = {B,b,c} T = {0,1,2,3,4,5,6,7,8,9,+,-} P = { B b, B +b, B -b, b c, b bc, c 0, c 1, c 2, c 3, c 4, c 5, c 6, c 7, c 8, c 9 } S = B Gramatička forma: niska koja se izvodi iz S (npr. B, bc, bcc, bccc, cccc, 1ccc, 12cc, 123c, 1234) završna niska: niska koja se izvodi iz S i pripada T*, npr. 1234 Jezik generisan gramatikom: skup završnih niski

Meta jezici; jezički procesori Objekt jezik Meta jezik Primer objekt jezika: prirodni jezik Programski jezik Primer meta jezika Prirodni jezik Bekusova notacija Sintsksni dijagrami

Bekusova notacija BNF Bekus-Naurova forma