You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
83 lines
2.6 KiB
83 lines
2.6 KiB
<!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>
|
|
</div>
|
|
<h2 id="current-word"></h2>
|
|
<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" data-i18n>Clear</button>
|
|
</div>
|
|
<div id="controls">
|
|
<div><button id="sidebar-toggle"></button></div>
|
|
<div id="sidebar">
|
|
<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 class="player">
|
|
<div id="state-graph" class="blurred"></div>
|
|
<button id="display-graph" data-i18n>Display representation</button>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
<script type="module" src="src/main.js"></script>
|
|
</body>
|
|
</html>
|