language-toolkit: A set of tools for analyzing languages via logic and automata
This provides the Language Toolkit (LTK) library and associated executables. There are four main components:
factorize, which takes as input a set of finite-state automata and writes out for each one a set of constraints that approximates (or, if possible, defines) it.
plebby, an interactive theorem-prover in which one can define languages via logical constraints or import finite-state automata and get information about the languages so defined.
classify, a command-line classification program useful for batch jobs.
LTKlibrary, which includes the functions used by
plebbyas well as several other useful tools.
This project began as a simple tool for working with finite-state automata, and has grown considerably more useful in working specifically with sub-regular languages as it has matured.
- language-toolkit-184.108.40.206.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
|Versions [RSS]||220.127.116.11, 18.104.22.168, 22.214.171.124|
|Dependencies||base (>=4.6 && <4.19), containers (>=0.5 && <0.7), deepseq (>=1.2 && <1.5), directory (>=1.2.3 && <1.4), filepath (>=1.0 && <1.5), haskeline (>=0.2 && <0.9), language-toolkit, parallel (>=2.0 && <3.3), process (>=1.1 && <1.7), transformers (>=0.2 && <0.7) [details]|
|Copyright||(c) 2014-2023 Dakotah Lambert|
|Author||Dakotah Lambert, James Rogers|
|Maintainer||Dakotah Lambert <firstname.lastname@example.org>|
|Revised||Revision 1 made by dakotah_lambert at 2023-06-22T15:38:03Z|
|Source repo||head: git clone git://github.com/vvulpes0/Language-Toolkit-2.git -b develop|
|Uploaded||by dakotah_lambert at 2023-06-18T15:30:15Z|
|Executables||classify, plebby, make-non-strict-constraints, factorize, dotify|
|Downloads||125 total (1 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2023-06-18 [all 1 reports]