|
|
|
|
<!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 data-i18n>Select an automaton</h1>
|
|
|
|
|
<div id="automaton-collection"></div>
|
|
|
|
|
</div>
|
|
|
|
|
<div id="app" hidden="hidden">
|
|
|
|
|
<div class="actions">
|
|
|
|
|
<button id="back-button" data-i18n>Back</button>
|
|
|
|
|
<a id="controls-button" class="button open-modal" href="#controls" data-i18n>Controls</a>
|
|
|
|
|
</div>
|
|
|
|
|
<div class="input current-word">
|
|
|
|
|
<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" data-i18n>Clear</button>
|
|
|
|
|
</div>
|
|
|
|
|
<div id="state-graph"></div>
|
|
|
|
|
</div>
|
|
|
|
|
<div id="controls" class="modal" hidden="hidden">
|
|
|
|
|
<div class="modal-content">
|
|
|
|
|
<h3 data-i18n>Controls</h3>
|
|
|
|
|
<table>
|
|
|
|
|
<thead>
|
|
|
|
|
<tr>
|
|
|
|
|
<th data-i18n>Action</th>
|
|
|
|
|
<th data-i18n>Desktop</th>
|
|
|
|
|
</tr>
|
|
|
|
|
</thead>
|
|
|
|
|
<tbody>
|
|
|
|
|
<tr>
|
|
|
|
|
<td data-i18n>Pan</td>
|
|
|
|
|
<td data-i18n>Left-click and drag</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td data-i18n>Zoom in/out</td>
|
|
|
|
|
<td data-i18n>Mouse wheel</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td data-i18n>Create state</td>
|
|
|
|
|
<td data-i18n>Double-click</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td data-i18n>Move state</td>
|
|
|
|
|
<td data-i18n>Middle-click and drag</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td data-i18n>Edit/Delete state</td>
|
|
|
|
|
<td data-i18n>Right-click</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td data-i18n>Create transition</td>
|
|
|
|
|
<td data-i18n>Left-click and drag</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td data-i18n>Edit transition</td>
|
|
|
|
|
<td data-i18n>Right-click</td>
|
|
|
|
|
</tr>
|
|
|
|
|
<tr>
|
|
|
|
|
<td data-i18n>Delete transition</td>
|
|
|
|
|
<td data-i18n>Right-click</td>
|
|
|
|
|
</tr>
|
|
|
|
|
</table>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
<script type="module" src="src/main.js"></script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
