Procesoare de texte - specificări formale în VDM

Procesoarele de texte sunt sisteme de pregătire a textelor pentru tipărire, utilizând calculatorul. Ele sunt înzestrate cu instrumente cu ajutorul cărora:

- se pot crea, salva şi modifica documente;

- există comenzi care schimbă formatul paginii;

- putem crea o pagină de titlu;

- se definesc macroinstrucţiuni;

- se editează text obişnuit, se culeg formule matematice;

- se schimbă caracteristicile fonturilor, fonturile;

- se pot reprezenta literele româneşti cu diacritice(in TEX);

- putem folosi simboluri matematice;

- desena, importa desene, fişiere;

- putem marca şi transforma grafic un fragment de text;

- se marchează actualizarile în text,se asamblează documente din fişiere separate,se gestionează fişiere.

În procesoare de texte ca WORD 6 pentru WINDOWS avem posibilitatea:

- de a anula modificările;

- putem folosi sistemul de asistenţă Help(în Word);

- se finisează textele, se utilizează tehnica “drag and drop”;

- facem un text mai atrăgător, îl tipărim, putem verifica ortografia, sintaxa şi dicţionarul de sinonime;

- se formatează rândurile şi paragrafele;

- se definesc marginile,tabulatorii şi despărţirea în silabe;

- se pun antetele şi subsolurile la locul lor;

- putem folosi stilurile, organiza informaţiile în tabele;

- putem organiza structurat documentul, tehnoredacta;

- utiliza cadre şi chenare;

- putem construi imagini;

- evidenţia textele;

- se poate îmbunătăţi imaginea textului, expanda şi condensa textul;

- se administrează date şi documente;

- se face corespondenţă;

- se gestionează documente mari;

- se pot defini macrocomenzi;

- se realizează o organizare proprie a programului (word).

1.2 TEX si LATEX

TEX a fost creat de Donald Knuth în 1977. LATEX este o variantă a TEX-ului,elaborată de Leslie Lamport.

Precizare:

Trebuie să specificăm de la început că vom discuta, în principal, versiunea LATEX şi realizarea ei pentru IBM PC numită emTEX, ambele datate după 14 august 1995.

Pe 3 iunie 1994 versiunea precedentă a LATEX-ului(nr. 2.09) a fost înlocuită oficial de versiunea nouă LATEX2e. Când vorbim despre LATEX avem deci în vedere LATEX2e. Versiunea veche trebuie menţionată explicit ca LATEX 2.09. emTEX-ul, de asemenea, a fost înlocuit de o versiune nouă, apărută la mijlocul lunii iulie 1995, şi la care ne vom referi în continuare.

1.2.1 Principii generale:

Succesiunea operaţiilor:

Procesul de pregătire a documentelor în LATEX este similar procesului de compilare a unui program scris într-un limbaj de programare de nivel înalt. Se pregăteşte programul-sursă în macrolimbajul de nivel înalt, limbajul LATEX. În acest program textul propriu-zis este marcat utilizând instrucţiuni primitive, macro-comenzi definite în fişierele de stil, care se includ în caz de necesitate, precum şi cele definite de utilizator însuşi.

În toate variantele, se face apelul aceluiaşi procesor de TEX, TEX-ul de bază. Procesorul TEX de bază execută circa 300 de instrucţiuni primitive ce ţin de formatarea textelor,şi “ înţelege ” un macrolimbaj compus din aceste instrucţiuni. La apelul procesorului este încărcat şi fişierul de format FMT cu macrodefiniţii suplimentare.

Aspectul general al instrucţiunilor LATEX:

Sintaxa generală a instrucţiunilor pentru toate sistemele TEX constă din bara înclinată înapoi

(backslash)

după care urmează o literă sau o succesiune de litere. Instrucţiunile sunt sensibile la scrierea cu litere mici si mari.