An Automata Learning Library Written in Python

Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).

Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning

An automata learning library written in Python.

A C++ library for simulating automata and Turing machines

Falsification of CPS via Automata Learning

Finds the minimum DFA (automaton) from a set of sequences in input

Black-box extraction of Finite-State Machines from RNNs.

This repository contains an implementation of DISC, an algorithm for learning DFAs for multiclass sequence classification.

Ce dépôt est consacré au projet du theorie des langages sur les Automates

Automatix is software for experimenting with formal languages topics like AFD and AFnD

Train RNNs to recognize regular languages.

A learning and teaching tool for Theory of Automata

videos for automadeasy.com

在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network

Uma ferramenta para criar e validar Expressões Regulares

Scripts for ARCH-COMP falsification track with FalCAuN

Explore Aksara Jawa effortlessly with YOLOv8 and Finite State Automata-powered Transliteration that i developed. Achieving high metrics (Train: 0.967/0.922/0.961, Validation: 0.966/0.924/0.961), our Streamlit interface ensures easy input and accurate output. Unlock precision and simplicity in Aksara Jawa to Latin conversion.

This project provides a strategy for converting a CFG "If-Else" condition selection that is compatible with both Go and Python programming languages.

🏆 时间自动机模型学习工具站点（Timed Automata）