Eindige automaten die als input een string aanvaarden, kunnen geminimiseerd worden naar een automaat met het minimum aantal toestanden die nodig zijn om dezelfde taal te aanvaarden.
Naast automaten op strings bestaan er ook automaten op boomstructuren, hetgeen vooral interessant is in de context van XML. XML is op zich een boomstructuur. Ook deze automaten kunnen geminimiseerd worden hoewel dit niet even duidelijk is als bij string-automaten.
In deze thesis zal eerst onderzoek uitgevoerd worden naar boomautomaten en het minimiseren hiervan. Hier dient in eigen woorden een tekst over geschreven te worden.
In het tweede deel zal er een nieuwe manier onderzocht worden die de UHasselt samen met Franse onderzoekers ontdekt heeft.
Geen opmerkingen:
Een reactie posten