Download JAR files tagged by automata with all dependencies

automaton from group dk.brics.automaton (version 1.11-8)

A DFA/NFA (finite-state automata) implementation with Unicode alphabet (UTF16) and support for the standard regular expression operations (concatenation, union, Kleene star) and a number of non-standard ones (intersection, complement, etc.)

Group: dk.brics.automaton Artifact: automaton
Show documentation Show source

9 downloads

Artifact automaton
Group dk.brics.automaton
Version 1.11-8
Last update 04. December 2011
Organization not specified
URL http://www.brics.dk/automaton/
License BSD
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

dregex from group com.github.marianobarrios (version 0.9.0)

Dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.

Group: com.github.marianobarrios Artifact: dregex
Show all versions Show documentation Show source

0 downloads

Artifact dregex
Group com.github.marianobarrios
Version 0.9.0
Last update 06. April 2024
Organization not specified
URL https://github.com/marianobarrios/dregex
License BSD 2-Clause "Simplified" License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

learnlib-observation-pack-vpa from group de.learnlib (version 0.17.0)

This artifact provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis "Foundations of Active Automata Learning: An Algorithmic Perspective" (https://dx.doi.org/10.17877/DE290R-16359) by Malte Isberner.

Group: de.learnlib Artifact: learnlib-observation-pack-vpa
Show documentation Show source

0 downloads

Artifact learnlib-observation-pack-vpa
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 13
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, guava, checker-qual, automata-api, automata-core, automata-commons-smartcollections, automata-commons-util, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!

learnlib-dhc from group de.learnlib (version 0.17.0)

The Direct Hypothesis Construction algorithm for active learning of Mealy machines

Group: de.learnlib Artifact: learnlib-dhc
Show all versions Show documentation Show source

1 downloads

Artifact learnlib-dhc
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies learnlib-api, learnlib-counterexamples, automata-api, automata-core, automata-util, automata-commons-util, guava, slf4j-api, testng, learnlib-learning-examples, learnlib-learner-it-support, buildergen,
There are maybe transitive dependencies!

learnlib-aaar from group de.learnlib (version 0.17.0)

This artifact provides the implementation of the AAAR learning algorithm as described in the paper "Automata Learning with Automated Alphabet Abstraction Refinement" (https://dx.doi.org/10.1007/978-3-642-18275-4_19) by Falk Howar, Bernhard Steffen, and Maik Merten.

Group: de.learnlib Artifact: learnlib-aaar
Show documentation Show source

0 downloads

Artifact learnlib-aaar
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, guava, automata-api, automata-commons-util, automata-core, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!

learnlib-ttt from group de.learnlib (version 0.17.0)

This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning" (https://doi.org/10.1007/978-3-319-11164-3_26) by Malte Isberner, Falk Howar, and Bernhard Steffen.

Group: de.learnlib Artifact: learnlib-ttt
Show all versions Show documentation Show source

1 downloads

Artifact learnlib-ttt
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 15
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-util, guava, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!

learnlib-oml from group de.learnlib (version 0.17.0)

This artifact provides the implementations of various learning algorithms based on the "optimal MAT learning" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" (https://doi.org/10.1007/978-3-031-15629-8_17) by Falk Howar and Bernhard Steffen.

Group: de.learnlib Artifact: learnlib-oml
Show documentation Show source

0 downloads

Artifact learnlib-oml
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, automata-api, automata-commons-util, automata-core, checker-qual, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!

automata-incremental from group net.automatalib (version 0.11.0)

A library for incremental automata construction. This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed), Mealy machines, and Moore machines from a finite, incrementally growing set of example inputs/outputs.

Group: net.automatalib Artifact: automata-incremental
Show all versions Show documentation Show source

0 downloads

Artifact automata-incremental
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies automata-api, automata-commons-smartcollections, automata-commons-util, automata-core, automata-util, guava, checker-qual, cacio-tta, testng,
There are maybe transitive dependencies!

automata-core from group net.automatalib (version 0.11.0)

The core artifact of AutomataLib. This library contains concrete implementations for many of the automaton model interfaces defined in the API artifact, as well as abstract base classes that facilitate implementing new automaton model classes. Note that concrete algorithms (traversal, reachability analysis etc.) are not in the scope of this artifact.

Group: net.automatalib Artifact: automata-core
Show all versions Show documentation Show source

0 downloads

Artifact automata-core
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies automata-commons-util, automata-api, testng,
There are maybe transitive dependencies!

automata-parent from group net.automatalib (version 0.11.0)

A fully generic library for automata, graphs, and models, written in Java. This is the parent artifact which does not have any source code. Please refer to the "modules" page for more detailed documentation on the single library artifacts.

Group: net.automatalib Artifact: automata-parent
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact automata-parent
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL http://learnlib.github.io/automatalib/maven-site/${project.version}
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 7 from 8 (items total 72)