thethinkmachine · thethinkmachine · Oct 1, 2026 · Oct 1, 2026 · Oct 1, 2026
diff --git a/CITATION.cff b/CITATION.cff
@@ -0,0 +1,26 @@
+cff-version: 1.2.0
+message: "If you use AutomataStudio in your research or teaching, please cite it as below."
+type: software
+title: "AutomataStudio: An IDE for Designing, Simulating and Analysing Automata"
+abstract: >-
+  An interactive environment for building, running and analysing automata —
+  finite, ω-, pushdown, Turing and transducer machines — with a grammar
+  workbench, steppable textbook constructions, a built-in theory reference,
+  and a command-line engine with Turing-machine halting proofs.
+authors:
+  - family-names: Chaubey
+    given-names: Shreyan
+    alias: thethinkmachine
+version: 2.9.0
+license: LicenseRef-PolyForm-Noncommercial-1.0.0
+repository-code: "https://github.com/thethinkmachine/AutomataStudio"
+url: "https://thethinkmachine.github.io/AutomataStudio/"
+keywords:
+  - automata theory
+  - formal languages
+  - Turing machines
+  - pushdown automata
+  - omega-automata
+  - context-free grammars
+  - simulation
+  - education
diff --git a/README.md b/README.md
diff --git a/docs/media/blocks.webp b/docs/media/blocks.webp
diff --git a/docs/media/cli.webp b/docs/media/cli.webp
diff --git a/docs/media/grammar.webp b/docs/media/grammar.webp
diff --git a/docs/media/spacetime.webp b/docs/media/spacetime.webp
diff --git a/docs/media/statemate.webp b/docs/media/statemate.webp
diff --git a/docs/media/wizard.webp b/docs/media/wizard.webp