Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

FATKID : a Finite Automaton Toolkit

Thesis (MSc)--Stellenbosch University, 2012

Saved in:
Bibliographic Details
Main Author: Huysamen, Nico
Other Authors: Geldenhuys, Jaco
Format: Thesis
Published: Stellenbosch : Stellenbosch University 2012
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1867613999408873472
access_status_str Open Access
author Huysamen, Nico
author2 Geldenhuys, Jaco
author_browse Geldenhuys, Jaco
Huysamen, Nico
author_facet Geldenhuys, Jaco
Huysamen, Nico
author_sort Huysamen, Nico
collection Thesis
dc_rights_str_mv Stellenbosch University
description Thesis (MSc)--Stellenbosch University, 2012
format Thesis
id oai:scholar.sun.ac.za:10019.1/71684
institution Stellenbosch University (South Africa)
last_indexed 2026-06-10T12:45:04.096Z
license_str Other — see source repository
provenance_str_mv Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository
publishDate 2012
publishDateRange 2012
publishDateSort 2012
publisher Stellenbosch : Stellenbosch University
publisherStr Stellenbosch : Stellenbosch University
record_format dspace
source_str SUNScholar — Stellenbosch University Repository
spelling oai:scholar.sun.ac.za:10019.1/71684 FATKID : a Finite Automaton Toolkit Huysamen, Nico Geldenhuys, Jaco Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Machine theory Distributed computation Graphical user interfaces (Computer systems) Language theory Dissertations -- Mathematical sciences Theses -- Mathematical sciences Dissertations -- Computer science Theses -- Computer science Thesis (MSc)--Stellenbosch University, 2012 ENGLISH 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. AFRIKAANSE 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. 2012-11-29T11:52:46Z 2012-12-12T08:08:49Z 2012-11-29T11:52:46Z 2012-12-12T08:08:49Z 2012-12 Thesis http://hdl.handle.net/10019.1/71684 Stellenbosch University 125 p. : ill. application/pdf Stellenbosch : Stellenbosch University
spellingShingle Machine theory
Distributed computation
Graphical user interfaces (Computer systems)
Language theory
Dissertations -- Mathematical sciences
Theses -- Mathematical sciences
Dissertations -- Computer science
Theses -- Computer science
Huysamen, Nico
FATKID : a Finite Automaton Toolkit
title FATKID : a Finite Automaton Toolkit
title_full FATKID : a Finite Automaton Toolkit
title_fullStr FATKID : a Finite Automaton Toolkit
title_full_unstemmed FATKID : a Finite Automaton Toolkit
title_short FATKID : a Finite Automaton Toolkit
title_sort fatkid a finite automaton toolkit
topic Machine theory
Distributed computation
Graphical user interfaces (Computer systems)
Language theory
Dissertations -- Mathematical sciences
Theses -- Mathematical sciences
Dissertations -- Computer science
Theses -- Computer science
url http://hdl.handle.net/10019.1/71684
work_keys_str_mv AT huysamennico fatkidafiniteautomatontoolkit