-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.php
124 lines (118 loc) · 4.97 KB
/
index.php
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
118
119
120
121
122
123
124
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>Minimización de autómatas</title>
<link href="/minimizar/css/stylizr.css" rel="stylesheet" type="text/css" />
</head>
<body>
<?php require($_SERVER['DOCUMENT_ROOT']."/minimizar/inc/header.inc.php"); ?>
<div id="content">
<?php $paso = 0; require($_SERVER['DOCUMENT_ROOT']."/minimizar/inc/menu.inc.php"); ?>
<div id="contentarea">
<h2>Minimización de autómatas</h2>
<p>El objetivo de ésta página es tomar un autómata y minimizarlo mediante un
algoritmo que determina cuando los estados son n-distinguibles, esto es, si
al final de la ejecución del programa dos estados no fueron n-distinguibles,
entonces serán equivalentes y el autómata se minimizará.</p>
<h4>¿Cómo insertar el autómata?</h4>
<p>Existen tres formas de insertar el autómata:</p>
<ul>
<li>Formato <a href="http://es.wikipedia.org/wiki/CSV">CSV</a> (Comma-Separated Values).</li>
<li>Formato <a href="http://es.wikipedia.org/wiki/JSON">JSON</a> (JavaScript Object Notation).</li>
<li>Creación del autómata <span style="color: #4BA4C2">en línea</span>.</li>
</ul>
<small>En lo personal recomiendo el formato JSON o hacerlo en línea ya que en ocaciones CSV falla en cuestión de símbolos</small>
</div>
<div id="right">
<h2>Subir un archivo</h2>
<p>
<form method="POST" action="/minimizar/minimizar.php" enctype="multipart/form-data">
<h4>Archivo: </h4><input type="file" name="automata" />
<input type="submit" value="Subir Autómata" />
</form>
<p>
<span style="color: #4BA4C2">Nota</span>: Por favor verifique que la extensión del archivo de texto
corresponde con el formato, esto es, si quiere subir un autómata en formato CSV el archivo debe
llamarse: automata1.csv
</p>
</p>
<h2>Crear en línea</h2>
<p>
<form method="POST" action="/minimizar/definir.php">
<label>Número de Estados: </label><input size="2" type="text" name="numEst">
<label>Número de Símbolos: </label><input size="2" type="text" name="numSim">
<input type="submit" value="Crear Autómata" />
</form>
</p>
</div>
<div style="float:left;">
<h2>¿Cómo usar los formatos? </h2>
<p>Acontinuación se muestra como usar cada formato:</p>
<div id="formatos">
<dl>
<dt>Fromato CSV</dt>
<dd>El formato CSV se utiliza la siguiente manera:</dd>
<dd><img src="/minimizar/imagenes/formatoCSV.png" alt="Formato CSV" title="Formato CSV" /></dd>
<dd><span style="color: #F60">Nota</span>: si se necesita usar la coma (,) o el espacio ( ) como símbolos, deben estar entre comillas dobles.</dd>
<dt>Ejemplos CSV</dt>
<dd>
<p>
Estado,a,b,c,Final<br />
0,1,0,2,0<br />
1,1,2,3,0<br />
2,3,1,0,1<br />
3,0,2,1,0
</p>
<p>
Estado,0,1,",",x,Final<br />
0,2,1,3,4,1<br />
1,4,2,4,1,1<br />
2,3,1,3,1,0<br />
3,1,3,2,2,1<br />
4,4,4,4,4,0
</p>
</dd>
</dl>
<dl>
<dt>Fromato JSON</dt>
<dd>El formato JSON se utiliza la siguiente manera:</dd>
<dd><img src="/minimizar/imagenes/formatoJSON.png" alt="Formato JSON" title="Formato JSON" /></dd>
<dd><span style="color: #F60">Nota</span>: Se necesita que todos los símbolos lleven comillas, así como las palabras "Estado" y "Final"</dd>
<dt>Ejemplos JSON</dt>
<dd>
<p>
[<br />
<span class="tab">{"Estado":0,"a":1,"b":0,"c":2,"Final":0},</span><br />
<span class="tab">{"Estado":1,"a":1,"b":2,"c":3,"Final":0},</span><br />
<span class="tab">{"Estado":2,"a":3,"b":1,"c":0,"Final":1},</span><br />
<span class="tab">{"Estado":3,"a":0,"b":2,"c":1,"Final":0}</span><br />
]
</p>
<p>
[<br />
<span class="tab">{"Estado":0,"0":2,"1":1,",":3,"x":4,"Final":1},</span><br />
<span class="tab">{"Estado":1,"0":4,"1":2,",":4,"x":1,"Final":1},</span><br />
<span class="tab">{"Estado":2,"0":3,"1":1,",":3,"x":1,"Final":0},</span><br />
<span class="tab">{"Estado":3,"0":1,"1":3,",":2,"x":2,"Final":1},</span><br />
<span class="tab">{"Estado":4,"0":4,"1":4,",":4,"x":4,"Final":0}</span><br />
]
</p>
</dd>
</dl>
<dl>
<dt>En línea</dt>
<dd>Para crear el autómata en línea haga clic en Crear Autómata y siga las instrucciones.</dd>
</dl>
</div>
</div><!-- content -->
<?php require($_SERVER['DOCUMENT_ROOT']."/minimizar/inc/footer.inc.php"); ?>
<script type="text/javascript" src="/minimizar/js/jquery-1.8.2.min.js"></script>
<script type="text/javascript">
$('dt').click(function(e){
$(this).nextUntil('dt').toggle();
});
$('dd').hide();
</script>
</body>
</html>