Sustav za ispitivanje svojstava automata

master's thesis

• Title (english): Automata property analysis system
• Author: Alen Agić
• Mentor: Siniša Srbljić (mentor)
• Committee member: Siniša Srbljić (predsjednik povjerenstva)
• Committee member: Dejan Škvorc (član povjerenstva)
• Committee member: Vlado Sruk (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2014-07-01, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing

Abstract

Proučeni su postupci analize svojstava automata i izgrađen je sustav za ispitivanje svojstava automata. Sustav putem web sučelja pruža funkcionalnosti korisniku učitavanja automata putem datoteke te ispisa svih svojstava tog automata u jednostavnom obliku. Također, korisniku se nudi i ispitivanje nizova nad učitanim automatima, pregled slike automata, spremanje ispitnih nizova, a ostvareno je i administratorsko sučelje za kontrolu korisnika i provedbu ispitivanja nizova nad automatima svih korisnika. Sustav je izgrađen koristeći HTML, CSS, JavaScript, AJAX, Java jezike te priložene knjižnice, a podržan je i razmjeran rast koristeći RabbitMQ upravitelj redovima poruka. Nakon izrade sustav je ispitan u lokalnom načinu rada i utvrđen je brz odziv, ispravnost izlaznih podataka te su ispravljene pogreške prilikom rada.

Abstract (english)

Methods of automata properties have been examined and system for testing the automata properties was built. System provides functionality for user through web interface, for uploading automata file and printing output automata property data in a simple format. Also user can test sequences on uploaded automata, viewing images of uploaded automata, saving test sequences, and also an adminstrative panel has been made for user management and sequence testing over all uploaded automata from each user. System was built using HTML, CSS, JavaScript, AJAX, Java languages, with attached libraries, and scalability is supported using RabbitMQ message queue manager. After creating, the system has been tested in local mode and it has quick response, accuracy of output data, and any found errors were corrected during testing.

• Keywords: automat; automati; DKA; NKA; ENKA; regularni jezik; UTR; sustav; web; usluga; niz; nizovi; ispitivanje; svojstva
• Keywords (english): automata; automatas; DFA; NFA; lambda NFA; regular language; system; web service; testing; properties; sequence
• Language: croatian
• URN:NBN: urn:nbn:hr:168:492260
• Study programme: Title: Computing; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2018-02-06 07:34:57