https://github.com/benknoble/formallang

Formal languages in Clojure
https://github.com/benknoble/formallang

cfg clojure dfa formal-languages

Last synced: 4 months ago
JSON representation

Formal languages in Clojure

• Host: GitHub
• URL: https://github.com/benknoble/formallang
• Owner: benknoble
• Created: 2020-01-19T00:25:29.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-02-18T18:04:28.000Z (almost 6 years ago)
• Last Synced: 2025-01-02T10:25:47.605Z (about 1 year ago)
• Topics: cfg, clojure, dfa, formal-languages
• Language: Clojure
• Size: 19.5 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# formallang

[![This project is considered experimental](https://img.shields.io/badge/status-experimental-critical.svg)](https://benknoble.github.io/status/experimental/)

A formal-languages library for Clojure.

## Features

- Deterministic Finite Automata (DFA)

**Coming soon**

- Regular expressions (via NFA)

- Context-free grammars

## Getting Started

deps.edn:

```clojure

{:deps

 {github-benknoble/formallang

  {:git/url "https://github.com/benknoble/formallang"

   :tag "v1.0.0"}}}

```

Then execute `clojure -Sresolve-tags` to update the `:sha` from `:tag`.

---

Originally built to support a regular-expression/context-free grammar

counter-example system (codename: wrongex, **coming soon**). See also [CS:

Generating property-based

counter-examples](https://cs.stackexchange.com/q/119661/61762)