https://github.com/eric11eca/automatonstudio

Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.
https://github.com/eric11eca/automatonstudio

automaton context-free-grammar finite-automaton-simulator finite-state-machine lambda-calculus propositional-logic regular-expression turing-machine-simulator

Last synced: 7 days ago
JSON representation

Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.

• Host: GitHub
• URL: https://github.com/eric11eca/automatonstudio
• Owner: eric11eca
• License: apache-2.0
• Created: 2020-07-20T23:15:26.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2022-12-13T09:33:49.000Z (over 3 years ago)
• Last Synced: 2023-08-25T00:41:47.797Z (over 2 years ago)
• Topics: automaton, context-free-grammar, finite-automaton-simulator, finite-state-machine, lambda-calculus, propositional-logic, regular-expression, turing-machine-simulator
• Language: JavaScript
• Homepage:
• Size: 3.36 MB
• Stars: 5
• Watchers: 1
• Forks: 0
• Open Issues: 13
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Automaton Studio

A toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.

## TODOs

1. [x] Finite State Machine

	- [x] Minimize finite state machine

	- [x] Convert Non-deterministic FSM to Deterministic FSM

	- [x] Convert FSM to regular expression

	- [x] FSM simulation

	- [x] FSM Union, Intersection, and Difference

	- [ ] FSM Reverse, Complement, and Kleen

	- [ ] FSM language subset, infinite, and empty 

	- [ ] FSM to Regular Grammar

	- [ ] FSM enumeration

2. [x] Regular Expression

	- [x] Convert regular expression to FSM

	- [x] Parse regular expression from string

	- [x] Regular expression simulation

	- [x] Regular expression simplification 

	- [ ] Regular expression enumeration

3. [ ] Context-free Grammar

	- [ ] Context-free Grammar simulation

	- [ ] Context-free Grammar parsing

4. [ ] Pushdown Automaton

5. [ ] Turing Machine

6. [ ] Propositional Logic

	- [x] Truth Tables

	- [ ] Truth-functional connectors

	- [ ] Material-implication and bi-implication

	- [ ] Set theory inference and prove 

8. [ ] Lambda Calculus

9. [ ] Formal Semantics

10. [ ] Natural Logic and Monotonicity

## Run

npm start run