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

Programarea automatelor programabile

Elementele de programare ale limbajului orientat pe scheme cu contacte Scrierea unui program în limbajul orientat pe scheme de contacte (Ladder...

Senzori și Traductoare

1. TR inteligente Ca definitie generala traductorul este un convertor de energie, transformând un semnal de o anumita natura fizica, în alt...

Grile Rezolvate Automatica

1. Procesorul reprezinta: a) unitatea de prelucrare aritmetica si logica b) unitatea de realizare a prelucrarilor aritmetice c) reuniunea...

Fundamentele Conditionarii Semnalelor pentru Sistemele de Achizitii de Date pe Baza de Calculatoare

Acest referat prezinta fundamentele folosirii hardware-lui de conditionare a semnalului folosit cu sistemele DAQ pe baza de calculatoare. Sunt...

Drumuri Minime de Sursa Unica intr-un Graf

Drumuri minime intr-un graf Fiind dat un graf G=(V,E) orientat se considera o functie asociata w:E->X numita functie de cost. Costul unui drum...

Java

Java este o tehnologie inovatoare lansata de compania Sun Microsystems 1n 1995, care a avut un impact remarcabil asupra a1ntregii comunitatsi a...

Tranzistorul cu Efect de Camp (TEC)- Field Effect Transistor - FET

TRANZISTORUL CU EFECT DE CÂMP ("TEC")-"Field Effect Transistor" ("FET") E un tranzistor uni-polar (cu purtatori de sarcina de un singur tip, n sau...

Dispozitive si Circuite Electronice - Teoria Reactiei Negative - Amplificatoare TRN

Amplificatoare cu reactie negativa Schema bloc generala - prezentata alaturat - contine elemente idealizate, unilaterale, cu sensurile de...

Ai nevoie de altceva?