« September 2018 »
September
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
Uni-Logo
You are here: Home Teaching Student Projects and Thesis Topics In progress [Varies] User Interface for Automata Library
Document Actions

User Interface for Automata Library

We have a tool that can perform several operations (determinization, intersection, emptiness check,...) on different kinds of automata (finite automata, Büchi automata, nested word automata). Develop a user interface for this library. Elaborate a file format for the input and output of this tool and implement a parser for this file format.

Course type B. Sc. Project, M.Sc. Praktikum,  M.Sc. Teamproject
Instructors Matthias Heizmann
Credits Depending on course type
Course Catalog
#automaton infinitelyManyA := (
  #alphabet := {a b},
  #states := {q0 q1},
  #initialStates := {q0},
  #finalStates := {q1},
  #transitions := { (q0 a q1) 
                    (q0 b q0) 
                    (q1 a q1)
                    (q1 b q0) }
)
 infinitelyManyA.png
definition of an automaton in pseudocode
 visualization of the automaton in our library

 

We will elaborate one or more languages, similar to the right column above, in which automata can be defined. We want to use the syntax of existing languages and extend them according to our requirements.

Personal tools