Documente Academic
Documente Profesional
Documente Cultură
Cuprins
3.1 Introducere...........................................................33
3.2 Competene...........................................................33
3.3 Semigrupuri libere................................................33
3.4 Proprieti aritmetice...........................................34
3.5 Preegalare............................................................37
3.6 Rezumat...............................................................40
3.7 Teme de evaluare, autoevaluare.........................40
3.1. Introducere
Unitatea de nvare nr. 3 prezint un grad de noutate absolut pentru
student. Sunt introduse noiunile fundamentale din domeniul semigrupurilor libere
generate de o mulime. Se prezint noiunile de alfabet, cuvnt, concatenare,
simboli, prefix, sufix, preegalare de propoziii, egalare de propozitii. Noutatea
noiunilor prezint un grad de dificultate sporit i de aceea volumul de informaie
este mai redus.
3.2. Competenele unitii de nvare
Parcurgerea cu atenie sporit a materialului va asigura studentului posibilitatea de
- a cunoaste noiunea de cuvnt i propoziie
- a explica importana n domeniu a acestor noiuni
- a aplica n contexte simple rechizitele
Semigrupuri libere
33
Proprieti aritmetice
34
Este indicat urmrirea cu mare atenie a exemplului urmtor care este demonstrat n
detaliu i care este pregtitor pentru teorema care urmeaz. Este apoi indicat o
analiz a diferenelor in demonstrarea teoremei i rezolvarea exemplului.
35
36
Preegalarea propoziiilor
37
38
Pentru cazul n care I={a,b} graful ataat este dat de urmtorul exemplu:
39
S ne reamintim...
Revenii asupra definiiilor cuvntului, concatenrii, teoremelor de
la proprietI aritmetice.
Acordai o atenie deosebit preegalrii propoziiilor.
Rezumat
Se introduce noiunea de semigrup liber generat de o mulime finit.
Elementele acestei mulimi se numesc simboluri iar elementele
semigrupului se numesc cuvinte.
Mulimi cu acelai cardinal genereaz semigrupuri libere izomorfe.
Pornind de la mulimea elementelor unui semigrup liber se poate construi
un nou semigrup liber. Elementele acestuia se numesc propoziii.
Preegalarea i egalarea a dou propozitii din dou semigrupuri libere
distincte este important pentru posibilitatea deducerii poziiei separatorilor
dintr-o propoziie n mod automat.
40
Indicatii de rezolvare:
Se utilizeaza strict definitiile notiunilor cerute
Test de autoevaluare a cunotinelor
Daca p=aabbc si q=cbabd determinati relaiile dintre a, b, c, d
astfel nct pq=qp
Indicaie: Aplicai Teorema 2 si definiia egalitaii a doua cuvinte
41