Webový generátor Tabel pro normované BPA

Bc. et Bc. Tomáš Hebelka

Bakalářská práce

Web generator of normed BPA tablaux'.

Anotace:

Cílem této práce je vytvoření pedagogické aplikace, která demonstruje výpočet normovaného BPA tabla. Aplikace na zakládě uživatelova vstupu spočítá BPA tablo a zobrazí jej v přehledné formě, kterou lze uživatelem modifikovat, na obrazovce. Přítomno je též několik příkladů vstupu. Aplikace též podporuje tisk takto zobrazeného tabla. Celá aplikace je naprogramována v jazyce Java a spustitelná jako java-applet ve webovém prohlížeci. Součástí práce je též formulace algoritmu pro výpočet normovaného BPA tabla včetně potřebné teorie s důkazy.

Abstract:

This work is made for creation a pedagogical application that demonstrates computation of normed BPA tablaux. The application computes BPA tablaux on the ground of an user input and pictures it in well arranged form that could be modified by user on the monitor. There is also several examples of input. The application supports the print of the pictured tableaux. The whole application is programmed in Java language and could be run as java-applet in a web browser. The work contains also formulation of the algorithm for the computing of normed BPA tableaux including needed theory with proofs.

Klíčová slova

bisimulace, BPA (Basic Process Algebra), normované BPA tablo, java-applet, GUI (Graphical User Interface)

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 7. 1. 2008

Obhajoba závěrečné práce

• Obhajoba proběhla 5. 2. 2008
• Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
• Oponent: prof. RNDr. Mojmír Křetínský, CSc.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika