FITA-View

Finite and Infinite Tree Automata Viewer

About

FITA-View is a system desired for visualizing workings of tree automata. It supports the following types of automata:

• Bottom-up deterministic finite tree automata
• Top-down deterministic finite tree automata
• Top-down non-deterministic finite tree automata

Trees and automata can be loaded from XML files with extensions filename.tree.xml for trees, filename.bua.xml for bottom-up automata and filename.tda.xml for top-down automata.

---

System requirements

versions used by the author are in italics

• Operating system
  Debian testing
• Java
  APT package openjdk-17-jdk, version 17 SE
• Apache ANT
  APT package ant, version 1.10.+

Dependencies

dependencies are automatically downloaded during build process

• JUnit 4.+
• Mockito 2.+
• PowerMock 2.+

---

How to build?

FITA-View can be built with Apache ANT using Apache Ivy to resolve all dependencies. Ivy itself and all dependencies are downloaded during build, so make sure your Internet connection is working!

Possible ANT targets are:

• ant, ant build - resolve dependencies & compile source files & create executable jar & run all tests
• ant resolve - resolve dependencies
• ant jar - compile source files & create executable jar
• ant test - run all tests
• ant docs - generate Javadoc
• ant clean - remove additional build files
• ant rebuild - remove additional build files & resolve dependencies & compile source files & create executable jar & run all tests

How to run?

FITA-View can be run by the executable sh script in the antBuild directory:

$ sh /path/to/project/directory/antBuild/fita-view

Alternatively one may directly execute the jar file in the antBuild/dist directory:

$ java -jar /path/to/project/directory/antBuild/dist/fitaview-{version}.jar