|
|
|
|
<!doctype html>
|
|
|
|
|
<html lang="en">
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="UTF-8" />
|
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
|
|
|
<title>Finite-state automaton</title>
|
|
|
|
|
<meta name="description" content="Test a word against a finite-state automaton" />
|
|
|
|
|
<link rel="stylesheet" href="src/style.css" />
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<div id="automaton-selector">
|
|
|
|
|
<h1>Select an automaton</h1>
|
|
|
|
|
<div id="automaton-collection"></div>
|
|
|
|
|
</div>
|
|
|
|
|
<div id="app" hidden="hidden">
|
|
|
|
|
<div class="actions">
|
|
|
|
|
<button id="back-button">Back</button>
|
|
|
|
|
<a id="controls-button" class="button open-modal" href="#controls">Controls</a>
|
|
|
|
|
</div>
|
|
|
|
|
<div class="input">
|
|
|
|
|
<input type="text" id="word-input" autocapitalize="off" spellcheck="false" />
|
|
|
|
|
<div id="light"></div>
|
|
|
|
|
</div>
|
|
|
|
|
<div class="input">
|
|
|
|
|
<div id="input-buttons"></div>
|
|
|
|
|
<button id="clear-button">Clear</button>
|
|
|
|
|
</div>
|
|
|
|
|
<div id="state-graph"></div>
|
|
|
|
|
</div>
|
|
|
|
|
<div id="controls" class="modal" hidden="hidden">
|
|
|
|
|
<div class="modal-content">
|
|
|
|
|
<h3>Controls</h3>
|
|
|
|
|
<table>
|
|
|
|
|
<thead>
|
|
|
|
|
<tr>
|
|
|
|
|
<th>Action</th>
|
|
|
|
|
<th>Desktop</th>
|
|
|
|
|
</tr>
|
|
|
|
|
</thead>
|
|
|
|
|
<tbody>
|
|
|
|
|
<tr>
|
|
|
|
|
<td>Pan</td>
|
|
|
|
|
<td>Left-click and drag</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td>Zoom in/out</td>
|
|
|
|
|
<td>Mouse wheel</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td>Create state</td>
|
|
|
|
|
<td>Double-click</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td>Move state</td>
|
|
|
|
|
<td>Middle-click and drag</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td>Edit/Delete state</td>
|
|
|
|
|
<td>Right-click</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td>Create transition</td>
|
|
|
|
|
<td>Left-click and drag</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td>Edit transition</td>
|
|
|
|
|
<td>Right-click</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td>Delete transition</td>
|
|
|
|
|
<td>Right-click</td>
|
|
|
|
|
</tr>
|
|
|
|
|
</table>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
<script type="module" src="src/main.js"></script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
