Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit7541994

Browse files
authored
Update README.md
1 parente7c5302 commit7541994

File tree

1 file changed

+8
-9
lines changed

1 file changed

+8
-9
lines changed

‎README.md‎

Lines changed: 8 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#DFSM Analyzer: Visual DFA Simulator & Verifier :
2-
A full-stack web application that allows users to define a**Deterministic Finite State Machine (DFA)**, simulate input strings against it, and generate a**visual PDF representation** of the DFA. Built using**Angular** and**FastAPI**, with DFA logic powered by`automata-lib` and Graphviz.
2+
A full-stack web application that allows users to define a**Deterministic Finite State Machine (DFA)**, simulate input strings against it, and generate a**visual PDF representation** of the DFA. Built using**Angular** and**FastAPI**, with DFA logic powered by`automata-lib`.
33

44
##🚀 Features
55
- Define DFA (states, alphabet, transitions, start/accept states)
@@ -11,7 +11,7 @@ A full-stack web application that allows users to define a **Deterministic Finit
1111
1. Frontend: Angular 17+
1212
2. Backend: FastAPI (Python 3.10+)
1313
3. DFA logic: automata-lib v1.0.0
14-
4. Visualization:graphviz
14+
4. Visualization:reportlab, matplotlib
1515

1616
##🧑‍💻 Installation
1717
##Backend:
@@ -98,13 +98,12 @@ Accept States: q2
9898
Input String: 010
9999

100100
Transitions:
101-
1. q0,0,q1
102-
2. q0,1,q0
103-
3. q1,0,q1
104-
4. q1,1,q2
105-
5. q2,0,q2
106-
6. q2,1,q2
107-
(remove the number bullets and paste )
101+
- q0,0,q1
102+
- q0,1,q0
103+
- q1,0,q1
104+
- q1,1,q2
105+
- q2,0,q2
106+
- q2,1,q2
108107

109108
##📥 Output
110109
String verdict: Accepted ✅ or Rejected ❌

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp