Lightweight Java State Machine
-
Updated
Jun 17, 2023 - Java
#
automata
Here are 125 public repositories matching this topic...
The Ultimate program analysis framework.
-
Updated
Jan 24, 2025 - Java
A free, open-source Java library for modeling automata, graphs, and transition systems
-
Updated
Jan 21, 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
Java program to Minimize deterministic finite automata, Convert NFA to DFA and graphically represent the results.
-
Updated
Apr 16, 2018 - 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
Improve this page
Add a description, image, and links to the automata topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the automata topic, visit your repo's landing page and select "manage topics."