hrvatski

Sustav za ispitivanje svojstava automata

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 sustave je ispitan u lokalnom načinu rada i utvrđen je brz odziv, ispravnost izlaznih podataka, te su ispravljene pogreške prilikom rada.

automati; web usluga; DKA; NKA; ENKA; regularni jezik; UTR; ispitivanje

nije evidentirano