deletions | additions       diff --git a/modszerek.tex b/modszerek.tex  index 32069d9..e9608b0 100644  --- a/modszerek.tex  +++ b/modszerek.tex 
...
Egy ilyen absztakt állapottér lehet a méretek felső korlátja. Ekkor az interpretáló függvényünk listákhoz a listák méretét rendeli. Ez a módszer nem számítja ki a listák konkrét elemeit, csak azok méreteit, ezáltal egy közelítését adja a megoldásnak.   A fejlett típusrendszerek lehetővé teszik, hogy egy gazdanyelv segítségével megfogalmazzunk egy olyan programozási nyelvet, amelyet a gazdanyelv eszközeivel írunk le és a gazdanyelv típusrendszere ellenőriz. Ennek a megoldásnak az az előnye, hogy nem kell egy programozási nyelvet újraalkotnunk, hiszen a gazda nyelv szintaktikus és szemantikus elemzőjét, de akár a kódgenerátorát is fel tudjuk használni. Másrészt a nyelvet használónak nem kell egy teljesen új nyelvet megtanulnia, hiszen a gazdanyelv eszközei a beágyazott nyelvben is rendelkezésre állhatnak (a beágyazástól függően).  A fejlett típusrendszerre azért van szükség, hogy a beágyazott nyelv típusrendszerét a gazdarendszer típusain belül kell megfogalmaznunk, amennyiben a nyelv fordítási hibáit valóban a gazdanyelv fordítási idejében akarjuk feltárni.