#

tree-automata

Here are 7 public repositories matching this topic...

ondrik / libvata

VATA Tree Automata Library

language c-plus-plus automata verification union automaton tree-automata

Updated Feb 3, 2026
C++

ref-humbold / FITA-View

Finite and Infinite Tree Automata Viewer

java automata swing bachelor-thesis junit4 swing-gui tree-automata apache-ant bsc-thesis

Updated Apr 13, 2025
Java

LionelAuroux / treematching

Allow you to match any python objects hierarchy/trees in python with matching objects.

tree matching pattern-matching match behavior-tree python-3 tree-search tree-traversal tree-walker python-module python3-library tree-automata python-objects tree-matching

Updated Mar 24, 2022
Python

plneappl / TreeLanguages

A framework for working with finite regular tree languages.

framework automaton trees formal-languages tree-automata

Updated Apr 10, 2017
HTML

mohrm / LETHAL

automata tree-automata tree-grammars

Updated Dec 27, 2023
Java

kieda / protag

Property Record Object | Tree Automata Grammar

java programming-language programming-languages tree-automata programming-language-theory tree-adjoining-grammar programming-language-development

Updated Sep 26, 2023
Java

qinheping / WTAlib

synthesis tree-automata sygus

Updated Aug 16, 2021
Slash

Add this topic to your repo

To associate your repository with the tree-automata topic, visit your repo's landing page and select "manage topics."