Gezien de literatuurstudie grotendeels achter de rug is, wordt het tijd de opgedane kennis te verwerken en in eigen woorden te structureren.
Het eerste gedeelte zal definities en concepten omschrijven die als voorkennis beschouwd worden. Ook veelgebruikte notaties zullen hierin besproken worden. Gebruikte concepten zullen zijn: bomen, algebra's, relaties, ...
Vervolgens zullen eindige automaten behandeld worden. Hiertoe behoren zowel deterministische als niet-deterministische automaten. Ook de minimisatie van deze modellen alsook het Myhill-Nerode theorema komen ter sprake.
De volgende stap is die van de boomautomaten. Naast de omschrijving van dit concept zullen ook hier het Myhill-Nerode theorema en de minimisatie een plaats vinden.
Tot slot zal er gesproken worden over automaten op unranked boomautomaten. De minimisatie hiervan zal enkele problemen scheppen. Een algemene vorm van een boom kan geëncodeerd worden tot een ranked boom, bijvoorbeeld door het gebruiken van de extensie-operator @. Dankzij deze encodering wordt het mogelijk om doormiddel van stapsgewijze automaten toch een unieke minimisatie te bekomen. Deze techniek zal in het tweede gedeelte van de thesis verder onderzocht worden.
Geen opmerkingen:
Een reactie posten