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

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

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.

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.

Visual comparison tool for automata

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

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

videos for automadeasy.com