https://github.com/husain3012/automatasim
A simulator, and sharing platform, for automatons.
https://github.com/husain3012/automatasim
automata-simulator automata-theory formal-languages nextjs turing-machine typescript
Last synced: 2 months ago
JSON representation
A simulator, and sharing platform, for automatons.
- Host: GitHub
- URL: https://github.com/husain3012/automatasim
- Owner: husain3012
- Created: 2022-12-13T02:09:29.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2023-09-30T21:02:59.000Z (over 2 years ago)
- Last Synced: 2025-03-04T10:14:01.156Z (over 1 year ago)
- Topics: automata-simulator, automata-theory, formal-languages, nextjs, turing-machine, typescript
- Language: TypeScript
- Homepage: https://automatasim.husainshahidrao.com
- Size: 324 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# AutomataSim
AutomataSim is a web application that allows users to build, simulate, and share Definite Finite Automatons (DFA), Push Down Automatons (PDA), and Turing Machines. It is built using the Next.js framework, React library, TailwindCSS, Firebase, TypeScript, and deployed on Vercel.
## Features
- Build and simulate DFAs, PDAs, and Turing Machines.
- Save and load automatons.
- Share automatons with others.
- Check whether a given string is accepted by the automaton or not.
- View transition tables and diagrams.
## Getting Started
### Prerequisites
- Node.js (v16 or later)
- Yarn (v1.22.10 or later)
### Installation
1. Clone the repository.
2. Install dependencies with `yarn`.
3. Add your Firebase configuration in a `.env.local` file. An example is given in `.env.example`.
4. Run the development server with `yarn dev`.
```sh
git clone https://github.com/husain3012/automatasim.git
cd automatasim
yarn
cp .env.example .env.local # replace with your own Firebase config
yarn dev
```
The development server will start at ```http://localhost:3000```
### Deployment
AutomataSim is currently deployed at automatasim.husainshahidrao.com. You can deploy it on your own Vercel account by clicking the button below:
[](https://vercel.com/import/project?template=https://github.com/%3Chusain3012%3E/automatasim)
### Contributing
Contributions are welcome! Please create an issue first to discuss the proposed changes. Before submitting a pull request, make sure to run ```yarn lint``` and ```yarn test``` to ensure that there are no linting or testing errors.
### License
AutomataSim is licensed under the MIT License.