A sandbox for personal experiments with the carFollowingRTI repository
-
Updated
Sep 18, 2019 - Shell
A sandbox for personal experiments with the carFollowingRTI repository
An automata learning library written in Python.
Finds the minimum DFA (automaton) from a set of sequences in input
This repository contains an implementation of DISC, an algorithm for learning DFAs for multiclass sequence classification.
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
Black-box extraction of Finite-State Machines from RNNs.
[“形式语言与自动机”实验:给定任意上下文无关文法,将其转换为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.]
🏆 时间自动机模型学习工具站点(Timed Automata)
Grammatical inference using the Z3 SMT solver
Uma ferramenta para criar e validar Expressões Regulares
Train RNNs to recognize regular languages.
Automatix is software for experimenting with formal languages topics like AFD and AFnD
A C++ library for simulating automata and Turing machines
This project provides a strategy for converting a CFG "If-Else" condition selection that is compatible with both Go and Python programming languages.
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 learning and teaching tool for Theory of Automata
Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning
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.
在线可视化地设计、运行自动机,支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
An Automata Learning Library Written in Python
Add a description, image, and links to the automata-learning topic page so that developers can more easily learn about it.
To associate your repository with the automata-learning topic, visit your repo's landing page and select "manage topics."