FATKID : a Finite Automaton Toolkit

dc.contributor.advisorGeldenhuys, Jacoen_ZA
dc.contributor.authorHuysamen, Nicoen_ZA
dc.contributor.otherStellenbosch University. Faculty of Science. Dept. of Mathematical Sciences.en_ZA
dc.date.accessioned2012-11-29T11:52:46Zen_ZA
dc.date.accessioned2012-12-12T08:08:49Z
dc.date.available2012-11-29T11:52:46Zen_ZA
dc.date.available2012-12-12T08:08:49Z
dc.date.issued2012-12en_ZA
dc.descriptionThesis (MSc)--Stellenbosch University, 2012en_ZA
dc.description.abstractENGLISH ABSTRACT: This thesis presents the FATKID Finite Automata Toolkit. While a lot of toolkits currently exist which can manipulate and process nite state automata, this toolkit was designed to e ectively and e ciently generate, manipulate and process large numbers of nite automata by distributing the work ow across machines and running the computations in parallel. Other toolkits do not currently provide this functionality. We show that this framework is user-friendly and extremely extensible. Furthermore we show that the system e ectively distributes the work to reduce computation time.en_ZA
dc.description.abstractAFRIKAANSE OPSOMMING: In hierdie tesis bespreek ons die FATKID Eindige Automaat Toestel. Al- hoewel daar reeds toestelle bestaan wat automate kan genereer, manupileer, en bewerkings daarmee kan uitvoer, is daar egter geen toestelle wat dit op die skaal kan doen wat ons vereis deur die proses te versprei na 'n aantal nodes nie. Ons vereis 'n stelsel wat mew baie groot aantalle automate werk. Die stelsel moet dan die gewensde prosesse in 'n verspreide omgewing, en in parallel uitvoer om verwerkingstyd te verminder. Ons sal wys dat ons stelsel nie net hierdie doel bereik nie, maar ook dat dit gebruikers-vriendelik is en maklik om uit te brei.af_ZA
dc.format.extent125 p. : ill.
dc.identifier.urihttp://hdl.handle.net/10019.1/71684
dc.publisherStellenbosch : Stellenbosch Universityen_ZA
dc.rights.holderStellenbosch Universityen_ZA
dc.subjectMachine theoryen_ZA
dc.subjectDistributed computationen_ZA
dc.subjectGraphical user interfaces (Computer systems)en_ZA
dc.subjectLanguage theoryen_ZA
dc.subjectDissertations -- Mathematical sciencesen_ZA
dc.subjectTheses -- Mathematical sciencesen_ZA
dc.subjectDissertations -- Computer scienceen_ZA
dc.subjectTheses -- Computer scienceen_ZA
dc.titleFATKID : a Finite Automaton Toolkiten_ZA
dc.typeThesis
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
huysamen_fatkid_2012.pdf
Size:
3.38 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
1.98 KB
Format:
Plain Text
Description: