-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathindex.html
117 lines (110 loc) · 5.02 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
<html lang="en">
<head>
<title>Finite Automata Designer</title>
<link href="https://fonts.googleapis.com/css2?family=Montserrat:wght@300;400;700&display=swap" rel="stylesheet" />
<link
rel="stylesheet"
href="https://cdnjs.cloudflare.com/ajax/libs/intro.js/2.9.3/introjs.min.css"
integrity="sha256-/oZ7h/Jkj6AfibN/zTWrCoba0L+QhP9Tf/ZSgyZJCnY="
crossorigin="anonymous"
/>
<link rel="stylesheet" href="app.css" />
</head>
<body>
<template data-modal="welcome-modal">
<div id="welcome-modal">
<div id="welcome-modal-title">
welcome to
<h1>Finite Automata Designer</h1>
</div>
<p id="welcome-modal-description">
This is an open source project on <a href="https://github.com/amirkabiri/finite-automata">Github</a> that developed for
<strong>Formal Languages And Automata</strong> lesson.
<br />
This project helps you to design Finite Automata graphically and do some operations on it.
<br />
<br />
For first step, we suggest you take a quick tutorial to get acquainted with the features of this app.
</p>
<div id="welcome-modal-buttons">
<button id="welcome-modal-tutorial">Take a quick tutorial</button>
<a href="#" id="welcome-modal-skip">Skip</a>
</div>
</div>
</template>
<div id="tools" data-intro="this is your toolbox. you can do this operations on your finite automata" data-step="1">
<button id="reset">reset</button>
<button id="export-image">export image</button>
<button id="test">test</button>
<button id="minimizedfa">minimize dfa</button>
<button id="convert2dfa">convert to dfa</button>
<button id="convert2re">convert to re</button>
<button id="complement">complement</button>
<div>active mode :</div>
<div id="mode">
<button data-key="move" class="active">move</button>
<button data-key="design">design</button>
</div>
<button id="grammar-view">Grammar</button>
</div>
<div id="grammar">
<div id="grammar-close">×</div>
<div id="grammar-content">
<div class="col-6">
<textarea placeholder="Enter grammar here ..." id="grammar-source"></textarea>
</div>
<div class="col-6">
<div id="grammar-actions">
<label>
<input type="radio" name="grammar-action" value="chomsky">
To Chomsky
</label>
<label>
<input type="radio" name="grammar-action" value="greibach">
To Greibach
</label>
<label>
<input type="radio" name="grammar-action" value="simplify">
Simplify
</label>
<label>
<input type="radio" name="grammar-action" value="right-linear">
To Right Linear
</label>
</div>
<div id="grammar-result">
Result :
</div>
</div>
</div>
</div>
<div id="copyright">
<p><a href="https://github.com/amirkabiri/finite-automata">Github Repository</a></p>
</div>
<script
src="https://cdnjs.cloudflare.com/ajax/libs/intro.js/2.9.3/intro.min.js"
integrity="sha256-fOPHmaamqkHPv4QYGxkiSKm7O/3GAJ4554pQXYleoLo="
crossorigin="anonymous"
></script>
<script src="js/utils.js"></script>
<script src="js/storage.js"></script>
<script src="js/custom-errors.js"></script>
<script src="js/custom-context-menu.js"></script>
<script src="js/modal.js"></script>
<script src="js/new-dfa-minimizer.js"></script>
<script src="js/grammar.js"></script>
<script src="js/cyk.js"></script>
<script src="js/turing-machine.js"></script>
<script src="js/dpda.js"></script>
<script src="js/machine-readable-regex-converter.js"></script>
<script src="js/dfa-complement.js"></script>
<script src="js/nfa-renderer.js"></script>
<script src="js/dfa-converter.js"></script>
<script src="js/re-converter.js"></script>
<script src="js/dfa-minimizer.js"></script>
<script src="js/finite-automata.js"></script>
<script src="js/state.js"></script>
<script src="js/app.js"></script>
<script src="js/cfg-converter.js"></script>
</body>
</html>