drawtomata

Type a regular expression or draw an automaton and get every conversion step: λ-NFA, DFA, minimal DFA, FA to RE, regular grammars, CFG…

A new way for AI to search for data
View on GitHub
1GitHub stars

JavaScript

What XERJ indexed

Snapshot

Whole repository

The whole repository at commit a662d10f4b (2026-10-23).

Selected work

Suryansh Verma
@SlazzInC0de

“Add pumping lemma game, NPDA to CFG, and simplification + CNF”. 6 files, 525 lines in js, tests, the project root.

Licence

The repository

MIT

Checked by a person at the pinned commit.

The XERJ corpus

MIT, with credit

The author agreed by email on 2026-10-23. Same terms as the repository. Answers name the repo, the commit and the file:line.

in licence reviewnot in the hub yetsuggested use: adapt with attribution

automatacontext-free-grammardfadfa-minimizationeducationfinite-automataformal-languagesjavascript

Example questions

The prompt

Paste it into your AI agent. It clones SlazzInC0de/drawtomata at the pinned commit and indexes it on your machine.

Search the GitHub repository SlazzInC0de/drawtomata with XERJ (https://hub.xerj.org/corpus/slazzinc0de--drawtomata).
Run these in a shell, in order, and check each result before the next:
1. xerj --help  (success: it prints usage). If xerj is missing: curl -fsSL https://xerj.org/get | sh
2. git clone https://github.com/SlazzInC0de/drawtomata drawtomata && git -C drawtomata checkout a662d10f4b44487acef08a25c822d03ff23a845a
3. Start a local node and leave it running: xerj --insecure --data-dir ./xerj-data
4. xerj autoindex ./drawtomata --url http://127.0.0.1:9200 --prefix drawtomata --progress plain
5. xerj autoindex map --url http://127.0.0.1:9200
Then answer my question from the indexed files and cite the ax_path of every hit. Query syntax: https://xerj.org/llms.txt
Licence: MIT. Keep the copyright notice and credit the authors.

Related

Selected work and consent: the XERJ registry.