Limbaje Formale - Curs 1

Curs
7/10 (2 voturi)
Domeniu: Automatică
Conține 1 fișier: doc
Pagini : 6 în total
Cuvinte : 1161
Mărime: 17.30KB (arhivat)
Cost: Gratis

Extras din document

1. Introducere in limbaje formale. Definitii

2. Operatii pe limbaje

3. Expresii regulate

1. Introducere in limbaje formale. Definitii.

Definitie:

Un SED este un sistem care evolueaza generând spontan evenimente si ca atare poate fi definit ca un generator în urmatorul mod:

unde

Q = Multimea finita de stari

S = multime finita de evenimente(simboluri)= alfabet

q0 = Starea initiala

d = Functia de tranzitie de stare, definita astfel

Definitie:

Un ALFABET este o multime finita de simboluri.

Caracteristica : dimensiunea

Definitie:

Un CUVÂNT este o secventa finita de simboluri ale aceluiasi alfabet.

Caracteristica : lungimea cuvântului notata astfel : | w |

(se foloseste la compararea traiectoriilor care conduc la aceeasi stare)

Definitie:

Un LIMBAJ este un ansamblu (multime) de cuvinte cu simboluri ale aceluiasi alfabet.

NOTATII SPECIALE:

Cuvântul vid : e (corespunde evenimentului nul)

Limbaj vid : f (nu contine nimic)

ATENTIE ! f ¹ { e }.

Limbajul generat de SED – descrie evolutia unui SED prin secvente de evenimente.

In functie de gradul de abstractizare al SED se pot reprezenta:

- limbaj logic

Exemplu:

Fie evenimentele generate in aceasta ordine de un SED : e1, e2, e3, e4,… e7

Atunci limbajul generat de SED este secventa e1e2e3e4… e7 (nu conteaza decat ordinea in timp fara a se mentiona momentele de aparitie a evenimentelor).

- limbaj logic si temporizat

In cazul in care pentru fiecare eveniment se specifica (se asociaza) momentul aparitiei sale atunci limbajul generat de SED ar fi:

(e1,t1) (e2,t2) (e3,t3) (e4,t4)… (e7,t7).

- limbaj stocastic

Informatia despre momentul aparitiei evenimentelor este reprezentata prin functii de distributie de probabilitate.

Exemplu:

S={a,b,g} – alfabet.

L1={e, a,abb}; |L1|=3

L2={ toate sirurile posibile de lungime 3 începând cu a }=

={abg,aba,aga,aab,aaa,abb,agg,agb,aag}; |L2|=9.

L3={toate sirurile posibile de lungime finita care încep cu a}; |L3|=¥.

Observatie!

Pentru construirea cuvintelor componente ale unui limbaj se foloseste operatia de concatenare a:

- simbolurilor, ab, ue=eu=u.

- sirurilor, s=tuv. t prefix, u=subsir, v=sufix.

Exemplu:

Fie un buffer de capacitate 1 reprezentat in figura de mai jos.

Se cere limbajul generat de evolutia acestui sistem pe baza evenimentelor specificate în figura.

Conform definitiei SED se identifica multimea starilor, alfabetul de evenimente si functia de tranzitie pentru sistemul prezentat.

Avem o singura variabila de stare pentru buffer care poate lua valorile {0,1} :

0 – buffer gol

1 – buffer plin.

Q= {0,1}

Preview document

Limbaje Formale - Curs 1 - Pagina 1
Limbaje Formale - Curs 1 - Pagina 2
Limbaje Formale - Curs 1 - Pagina 3
Limbaje Formale - Curs 1 - Pagina 4
Limbaje Formale - Curs 1 - Pagina 5
Limbaje Formale - Curs 1 - Pagina 6

Conținut arhivă zip

  • Limbaje Formale - Curs 1.doc

Alții au mai descărcat și

Sisteme convenționale pentru reglarea proceselor continue

Capitolul 2 Sisteme Conventionale pentru Reglarea Proceselor Continue Rezumat: In acest capitol sunt tratate aspecte legate de metodologia...

Teoria Sistemelor

Reprezentarea Sistemelor Dinamice Liniare Multivariabile prin Matrice de Transfer 1. Matricea de transfer; legatura cu reprezentarile de tip...

Reprezentarea Informațiilor cu Obiecte

Informatiile pe care le reprezentam în memoria calculatorului sunt rareori atât de simple precum culorile sau literele. În general, dorim sa...

Sistemele Informatice

1.1. Contextul actual La sfârsitul secolului al XX-lea si începutul secolului al XXI-lea, clientii, concurenta si schimbarea au creat o noua lume a...

Cursuri Java

Cuvinte importante: - concepte fundamentale ale programarii orientate obiect in Java: incapsulare, mostenire, polimorfism; - crearea claselor de...

Aplicatii de retea în internet

Posta electronica (e - mail) Milioane de oameni sunt conectati într-un fel sau altul la reteaua Internet si pot trimite mesaje prin intermediul...

Optimizarea Conducerii Autovehiculelor

Titlul acestui subcapitol sugereaza utilizarea unor tehnici si a unor sisteme de conducere de tipul celor mentionate în primul capitol care sa...

Arhitectura modelului OSI(ISO)

ARHITECTURA MODELULUI OSI/ISO Modelul ISO/OSI (International Standards Organization / Open Systems Interconnection) este o arhitectura de retea...

Te-ar putea interesa și

Proiectarea și implementarea unui generator de analizoare sintactice bazate pe relații de precedentă

Analizorul sintactic este o componentă obligatorie pentru orice compilator. Pentru a obţine un product soft (program) trebuie să creăm un program...

Tehnici de Informare și Comunicare

Daniel Bougnoux, profesor de filozofie si de stiintele comunicarii la Universitatea Grenoble III – Stendhal, ofera in Introducere in stiintele...

Crearea unui Arhivator și a Unui Dezarhivator

Introducere „Un calculator, nu face ceea ce vrei tu sa faca, dar ceea ce îi spui sa faca” - Legea lui Murphy C/C++ sunt limbaje, si sunt...

Limbaje formale și proiectarea compilatoarelor

Scopul lucrării: 1.Pentru gramatica formală G=(VN, VT, P, S) construiţi 5 şiruri care aparţin limbajului L(G) generat de această gramatică....

Logică Juridică

Logica juridica s-a nascut si fiinteaza din momentul în care oamenii au început sa-si prefigureze ideea de Justitie ca expresie a rationalitatii...

Fundamentele Psihopedagogiei Speciale

TEMA 1 Psihopedagogia speciala: scurt istoric si evolutii recente Structura Psihopedagogia speciala – domeniu de cunoastere si actiune Educaţia...

Psihologie sinteze anul II

Psihologia personalităţii, ca disciplină ştiinţifică fundamentală în cadrul psihologiei, îşi propune să furnizeze studenţilor cunoştinţele de bază...

Postmodernismul și Abordarea Metafilosofic a Culturii

Prezentare generală Resistematizez în acest curs câteva dintre ideile expuse în cartea mea intitulată Pragmatică şi postmodernism. Despre jocul...

Ai nevoie de altceva?