An Automata Learning Library Written in Python

An automata learning library written in Python.

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

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

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

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

A C++ library for simulating automata and Turing machines

Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning

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

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

Uma ferramenta para criar e validar Expressões Regulares

[“形式语言与自动机”实验：给定任意上下文无关文法，将其转换为Greibach范式，再转换为NPDA，并能验证给定句子是否属于该文法。][Given an context-free grammar, convert it to Greibach paradigm, then to NPDA(i.e. Non-deterministic PushDown Automaton), and verify whether any sentence belongs to the grammar.]

Grammatical inference using the Z3 SMT solver

Falsification of CPS via Automata Learning

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

Train RNNs to recognize regular languages.

Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification

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

Website for the LearnAut 2024 workshop, co-located with ICALP/LICS/FSCD 2024 in Tallinn, Estonia.

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.