https://github.com/eric11eca/fractal_tree

https://github.com/eric11eca/fractal_tree

Last synced: over 1 year ago
JSON representation

• Host: GitHub
• URL: https://github.com/eric11eca/fractal_tree
• Owner: eric11eca
• License: mit
• Created: 2021-12-22T21:52:42.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2021-12-23T22:38:44.000Z (over 4 years ago)
• Last Synced: 2025-01-22T06:48:20.967Z (over 1 year ago)
• Language: JavaScript
• Size: 223 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• 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