Lightweight Java State Machine
-
Updated
Jun 17, 2023 - Java
#
automata
An automaton is a relatively self-operating machine designed to automatically follow a sequence of operations.
The term has long been commonly associated with automated puppets that resemble moving humans or animals, built to impress and/or to entertain people.
Here are 125 public repositories matching this topic...
The Ultimate program analysis framework.
-
Updated
Mar 13, 2025 - Java
A free, open-source Java library for modeling automata, graphs, and transition systems
-
Updated
Mar 12, 2025 - Java
converting regex (regular expression) to DFA directly by creating syntax tree in java
java automata netbeans compiler regex regular-expression syntax-tree finite-state-machine lexical-analysis compilers synthesis syntax-analysis regular-expressions dfa deterministic directly regex-to-dfa straightly in-java regex-to-dfa-java
-
Updated
Jan 26, 2022 - Java
Finite-State Machines for Java
-
Updated
Apr 29, 2024 - Java
automata formal-methods formal-verification formal-languages linear-temporal-logic reactive-synthesis
-
Updated
Jun 12, 2023 - Java
Efficient implementation of Langton's Ant cellular automata on an infinite grid for cooperative highway search
automata distributed-computing cellular-automata multithreading highway langton-ant cycle-detection langtons-ant langton-3d
-
Updated
May 16, 2024 - Java
Unitex/GramLab Java IDE
java nlp automata machine-learning natural-language-processing graph ide local-grammars unitexgramlab
-
Updated
Jul 3, 2024 - Java
Regular Omega Language Learning Library
-
Updated
Jan 17, 2025 - Java
Implementation of a pushdown automaton (PDA) in Java for learning purposes
-
Updated
Oct 28, 2018 - Java
🤖 Implementação de um Autômato Finito Não-Determinístico para a disciplina de Introdução a Teoria da Computação
-
Updated
Aug 10, 2021 - Java
The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.
-
Updated
Jun 6, 2024 - Java
Declarative Trace Alignment via Automated Planning
-
Updated
Jul 30, 2023 - Java
Code môn Ngôn ngữ hình thức và Otomat, viết bằng Java
-
Updated
May 24, 2018 - Java
Framework for creating automatons
-
Updated
Aug 2, 2015 - Java
A graphical automata builder
-
Updated
Jun 28, 2024 - Java
AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
automata genetic-algorithm ltl matrix-multiplication evolutionary-algorithms synthesis formal-methods searching-algorithms sat owl-api linear-temporal-logic reactive-synthesis strix search-based-software-engineering
-
Updated
May 28, 2024 - Java
Analizador Léxico Sintáctico en Java
list automata node stack compiler file data-structures lexer regular-expressions syntactic-analysis lexer-analyzer
-
Updated
Aug 22, 2023 - Java
Finite and Infinite Tree Automata Viewer
-
Updated
Jun 11, 2024 - Java