Ro/Haskell/Limbaje formale
Folosim Haskell in cadrul lucrarilor de laborator si seminariilor de la Cursul de Limbaje Formale de la Universitatea din Bacau.
(Si nu numai noi ... asa ca mai astept sa se completeze niste pagini web ))!!!
De ce Haskell pentru limbaje formale ? Haskell este cel mai productiv limbaj functional ! Haskell este limbajul folosit de autorii limbajului Perl 6 si ales de echipa Linspire. El este folosit la productia de limbaje (DSL-uri cum este Rodin).
Iar procesarea structurilor cu substructuri are o sumedenie de alte aplicatii: proiectare automata de scheme electronice, V-am starnit curiozitatea ? Cititi: Intrebarile incepatorului. Am adaugat raspunsuri noi (16 dec. 2007- 10 feb. 2008). Vedeti si Stiri Ro/Haskell
Limbaje formale
Programa de mai jos urmeaza indeaproape jurnalul unui an precedent. In schimb bibliografia s-a actualizat. Vedeti si la Biblioteca.
. Cursul nr. 16 oct (2008) Ora I: Notiuni matematice preliminare. Lista notiunilor inspirata de volumul Limbaje Formale si acceptori de Gabriel Orman. Incepem cu notiuni de Teoria Multimilor. Multimi, implicite, explicite, cu un element, vide, cardinal, submultime, reuniune, reuniunea unei familii de multimi, reuniunea unei familii indexate de multimi, intersectie, multimi disjuncte, familie disjuncta de multimi, complementara, proprietati algebrice, diferenta de multimi, relatiile lui DeMorgan, diferenta simetrica, produsul cartezian samd. Ora aIIa: Interpretoare, o privire de ansamblu, tipuri de interpretoare. Interpretorul direct al atomilor lexicali, interpretorul cu executie directa, interpretorul bazat pe compilare directa si interpretare de bytrecode, interpretorul cu executie pe arborele sintaxei abstracte, interpretorul bazat pe compilare de arbore si interpretare de bytecode, altele. (Continuarea acestui subiect se va prezenta in cursul al II-lea).
. Cursul nr. 2... Bibliografie neterminata :) 1. Limbaje Formale si Acceptori de Gabriel Orman ... va urma. 2. Limbaje Formale si Teoria Automatelor de Grigor Moldovan, Edusoft, 2005 3. Practica interpretarii monadice de Dan Popa - vedeti la stiri. 4. Introducere in Haskell 98 prin exemple. Cartile se gasesc la Biblioteca si la Anticariat. (real si virtual) Reveniti cu Back pe pagina principala.
|