PushdownAutomatonJs/index.html at master · Aleuck/PushdownAutomatonJs · GitHub

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
<!DOCTYPE html>
<!--
	This file is part of PushdownAutomatonJs

    PushdownAutomatonJs is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    PushdownAutomatonJs is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with PushdownAutomatonJs.  If not, see <http://www.gnu.org/licenses/>.
-->
<html>
<head>
	<meta charset="utf-8">
	<title>Pushdown Automaton</title>
	<link rel="stylesheet" type="text/css" href="css/automaton.css"> <!-- desktop -->
</head>
<body>
	<!-- HTML Interface (View) -->
	<header id="machine_definitions">
		<section id="save_load">
			<button type="button" id="save">save</button>
			<label id="load">load<input type="file" hidden /></label>
		</section>
		<section id="definitions">
			<h1>Definitions</h1>
			<ul class="definitions">
				<li>M = {Σ, Q, Π, q<sub id="initial_state">0</sub>, F, V}</li>
				<li>Σ = {<span id="alphabet"></span>}</li>
				<li>V = {<span id="aux_alphabet"></span>}</li>
			</ul><ul class="definitions">
				<li>Q = {<span id="states"></span>}</li>
				<li>F = {q<sub>f</sub>}</li>
			</ul>
		</section>
		<section id="edit_buttons">
			<button type="button" id="edit_states">edit states</button><br>
			<button type="button" id="new_state">new state</button>
		</section>
		<section id="execute_buttons">
			<button type="button" id="goto_execution">execute</button><br>
			<button type="button" id="run_step">step</button>
			<button type="button" id="run_all">run</button><button type="button" id="stop">stop</button>
		</section>
		<br style="clear: both;">
	</header>
	<section id="content">
		<div id="stacks_management">
			Stacks number: <input type="number" id="stacks_number" value="2">
			<button type="button" id="set_stacks_number">set</button>
		</div>
		<div id="alphabets_management">
			<h2>Define the alphabet</h2>
			<div class="alphabet_box primary">
				<h3 title="alphabet">Σ</h3>
				<input id="input_alphabet_symbol" type="text" maxlength="1">
				<button type="button" id="add_alphabet">add</button>
				<ul id="alphabet_list">
				</ul>
			</div><div class="alphabet_box auxiliar">
				<h3 title="auxiliar alphabet">V</h3>
				<input id="input_aux_alphabet_symbol" type="text" maxlength="1">
				<button type="button" id="add_aux_alphabet">add</button>
				<ul id="aux_alphabet_list">
				</ul>
			</div>
			<br style="clear: both;">
			<button type="button" id="alphabets_submit">next</button>
		</div>
		<div id="states_management">
			<div id="queue_management">
				<input id="input_queue" type="text" placeholder="Set input queue">
				<button type="button" id="set_queue">set</button>
			</div>
			<ul id="queuestacks_list">
			</ul>
			<ul id="state_list">
			</ul>
		</div>
		<br style="clear: both;">
	</section>
	<footer>
		<p>PushdownAutomatonJs 1.1</p>
		<p>Developed by <a href="http://inf.ufrgs.br/~aleuck/" target="_blank">Ágata Leuck</a> @ <a href="http://www.ufrgs.br/" target="_blank">UFRGS</a></p>
		<p>Licensed under <a href="http://www.gnu.org/licenses/" target="_blank">GPLv3</a></p>
	</footer>
	<script src="js/Blob.js"></script>
	<script src="js/FileSaver.js"></script>
	<script src="js/automatonModel.js"></script><!-- model -->
	<script src="js/automatonController.js"></script><!-- controler -->
	<script>
		AUTOMATON_CONTROLLER.init();
	</script>
</body>
</html>