Difference between revisions of "Intrebari despre combinatorii de parsere"
m (small fix) |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
Haskell este un limbaj din ultimul deceniu iar [[Parserele modulare]] si [[Combinatorii de parsere]] (studiati de [[Graham Hutton]], [[Erik Meyer]] ... si multi altii) |
Haskell este un limbaj din ultimul deceniu iar [[Parserele modulare]] si [[Combinatorii de parsere]] (studiati de [[Graham Hutton]], [[Erik Meyer]] ... si multi altii) |
||
au adaugat o noua fateta moderna domeniilor: |
au adaugat o noua fateta moderna domeniilor: |
||
| − | * |
+ | * constructia limbajelor, |
** constructia interpretoarelor |
** constructia interpretoarelor |
||
** constructia compilatoarelor |
** constructia compilatoarelor |
||
| Line 25: | Line 25: | ||
[[Care este justificarea teoretica pentru faptul ca programarea functionala monadica asigura modularitatea?]] |
[[Care este justificarea teoretica pentru faptul ca programarea functionala monadica asigura modularitatea?]] |
||
| − | [[Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica?]] - intrebare neinspirat |
+ | [[Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica?]] - intrebare neinspirat formulata deoarece parserele sunt instrumente de analiza sintactica, nu semantica. |
[[Unde este adaptabilitatea in acest caz ?]] -- nn. al folosirii parserelor modulare monadice si al combinatorilor de parsere. |
[[Unde este adaptabilitatea in acest caz ?]] -- nn. al folosirii parserelor modulare monadice si al combinatorilor de parsere. |
||
| Line 39: | Line 39: | ||
* [[O rezolvare a problemei numite The Expression Problem]] |
* [[O rezolvare a problemei numite The Expression Problem]] |
||
* [[Arborii modulari]] |
* [[Arborii modulari]] |
||
| + | Putem adauga si [[ADFA]]-urile, - automatele adaptive. |
||
| + | |||
| + | |||
| + | ---- |
||
| + | Link-urile rosii duc catre pagini nescrise inca. |
||
Revision as of 15:22, 4 June 2010
Introducere
Haskell este un limbaj din ultimul deceniu iar Parserele modulare si Combinatorii de parsere (studiati de Graham Hutton, Erik Meyer ... si multi altii) au adaugat o noua fateta moderna domeniilor:
- constructia limbajelor,
- constructia interpretoarelor
- constructia compilatoarelor
- implementarea parserelor extensibile si adaptabile
- implementarea verificatoarelor de date cu structuri si substructuri
(al treilea nivel de structurare a datelor, probabil unele dintre datele cele mai complicate structural)
- analiza sintactica a binarelor
- verificarea structurala a datelor
- verificarea datelor, in general
Limitele acestor instrumente Parserele modulare si Combinatorii de parsere (desi la data cand scriu aceste randuri sunt instrumente consacrate) sunt inca subiecte de discutie din partea comunitatii academice din Romania, chiar si dupa aparitia unei carti dedicate lor in edituri acreditatat CNCSIS (Edusoft, Matrixrom).
Iata cateva intrebari pe care le-am primit pe 24 oct. 2009, referitoare la acest subiect:
Intrebari
Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica? - intrebare neinspirat formulata deoarece parserele sunt instrumente de analiza sintactica, nu semantica.
Unde este adaptabilitatea in acest caz ? -- nn. al folosirii parserelor modulare monadice si al combinatorilor de parsere.
Unde gasim o prezentare in stil PowerPoint a acestor tehnici ?
Alte intrebari
Care sunt cele mai importante trei contributii personale? - nn. ale dvs, domnule Dan Popa
R:
- Constructia unui nou tip diferit de interpretor modular monadic adaptabil
- O rezolvare a problemei numite The Expression Problem
- Arborii modulari
Putem adauga si ADFA-urile, - automatele adaptive.
Link-urile rosii duc catre pagini nescrise inca.