Search Results - RepositoryStats

64

361

mit

10

A Python library for simulating finite automata, pushdown automata, and Turing machines

fsm python automata automaton turing-machine turing-machines pushdown-automata finite-state-machine

Created 2016-02-16

881 commits to main branch, last one 5 months ago

26

168

other

7

An Automata Learning Library Written in Python

kv dfa rpni lstar python alergia automata markov-chain model-mining model-learning automata-learning pushdown-automata equivalence-oracles model-based-testing context-free-grammar finite-state-machine test-case-generation probabilistic-automata markov-decision-processes

Created 2021-03-18

930 commits to master branch, last one 18 days ago

0

30

mit

2

TS-AUtomata is an automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS.

math regex automata typescript turing-machine automata-theory regular-language pushdown-automata regular-expression context-free-grammar finite-state-machine

Created 2024-03-10

76 commits to main branch, last one 5 months ago