2018-03-29 22:00:42 +02:00
|
|
|
<!--
|
|
|
|
|
Verrückte Turing-Maschinen — A turing complete game
|
|
|
|
|
Copyright (C) 2016-2018 kcf <vidofnir@folksprak.org>
|
|
|
|
|
|
|
|
|
|
This program 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.
|
|
|
|
|
|
|
|
|
|
This program 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 this program. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
|
-->
|
2017-11-09 14:06:35 +01:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8"/>
|
2025-09-23 12:13:49 +02:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0"/>
|
2017-11-09 14:06:35 +01:00
|
|
|
<script type="text/javascript" src="vtm.js"></script>
|
2018-03-20 20:48:46 +01:00
|
|
|
<script type="text/javascript" src="vtm.dat.js"></script>
|
2018-03-28 13:59:29 +02:00
|
|
|
<script type="text/javascript">mod_vtm.entry_web();</script>
|
2017-11-09 14:06:35 +01:00
|
|
|
<link rel="stylesheet" type="text/css" href="vtm.css"/>
|
2025-09-23 12:13:49 +02:00
|
|
|
<title>!translate:common.title</title>
|
2017-11-09 14:06:35 +01:00
|
|
|
</head>
|
|
|
|
|
<body>
|
2025-09-23 12:13:49 +02:00
|
|
|
<h1>!translate:common.title</h1>
|
|
|
|
|
<label class="tab" for="radio_help"><a>!translate:common.help</a></label><input type="radio" name="tab" id="radio_help"/>
|
|
|
|
|
<label class="tab" for="radio_game"><a>!translate:common.game</a></label><input type="radio" name="tab" id="radio_game" checked="checked"/>
|
|
|
|
|
<label class="tab" for="radio_media"><a>!translate:common.media</a></label><input type="radio" name="tab" id="radio_media"/>
|
2018-03-20 13:30:00 +01:00
|
|
|
<!--
|
2017-11-09 18:42:09 +01:00
|
|
|
<hr/>
|
2018-03-20 13:30:00 +01:00
|
|
|
-->
|
2018-03-28 13:59:29 +02:00
|
|
|
<div id="game">
|
|
|
|
|
<div class="section" id="section_left">
|
|
|
|
|
<label for="task_selection">!translate:controls.choose</label>
|
|
|
|
|
<select id="task_selection"></select>
|
|
|
|
|
<p id="task_text"></p>
|
2017-11-10 01:20:40 +01:00
|
|
|
<hr/>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div id="task_status"></div>
|
|
|
|
|
<div id="buttons">
|
|
|
|
|
<button id="button_step">!translate:controls.step</button>
|
|
|
|
|
<button id="button_test">!translate:controls.run</button>
|
|
|
|
|
<button id="button_stop">!translate:controls.stop</button>
|
|
|
|
|
<button id="button_edit">!translate:controls.edit</button>
|
|
|
|
|
<button id="button_clear">!translate:controls.clear</button>
|
2017-11-09 14:06:35 +01:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div class="section" id="section_mid">
|
2017-11-10 01:20:40 +01:00
|
|
|
</div>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div class="section" id="section_right">
|
2017-11-10 01:20:40 +01:00
|
|
|
</div>
|
2017-11-09 14:06:35 +01:00
|
|
|
</div>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div id="help">
|
|
|
|
|
<p id="help_introduction"></p>
|
|
|
|
|
<section class="section">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h2 id="help_controls_title">!translate:help.controls.title</h2>
|
2017-11-09 14:06:35 +01:00
|
|
|
<ul>
|
2018-03-30 01:06:13 +02:00
|
|
|
<li id="help_controls_entry1">!translate:help.controls.entry1</li>
|
|
|
|
|
<li id="help_controls_entry2">!translate:help.controls.entry2</li>
|
2017-11-09 14:06:35 +01:00
|
|
|
</ul>
|
|
|
|
|
</section>
|
2018-03-28 13:59:29 +02:00
|
|
|
<section class="section">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h2 id="help_token_title">!translate:model.token.terms.singular</h2>
|
2018-03-28 13:59:29 +02:00
|
|
|
<p id="help_token_satz1">!translate:help.token.satz1</p>
|
|
|
|
|
<p id="help_token_satz2">!translate:help.token.satz2</p>
|
2017-11-09 14:06:35 +01:00
|
|
|
</section>
|
2018-03-28 13:59:29 +02:00
|
|
|
<section class="section" id="help_actuators">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h2 id="help_actuators_title">!translate:model.actuators.terms.plural</h2>
|
2018-03-28 13:59:29 +02:00
|
|
|
<p id="help_actuators_introduction">!translate:help.actuators.introduction</p>
|
2017-11-09 14:06:35 +01:00
|
|
|
<ul>
|
2018-03-29 01:13:39 +02:00
|
|
|
<li class="help_actuators_actuator" id="help_actuators_actuator_generator">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h3 class="help_actuators_actuator_name">!translate:model.actuators.kinds.generator.name</h3>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div class="help_actuators_actuator_image"></div>
|
2018-03-29 01:13:39 +02:00
|
|
|
<div class="help_actuators_actuator_text">!translate:help.actuators.generator</div>
|
2017-11-09 14:06:35 +01:00
|
|
|
</li>
|
2018-03-29 01:13:39 +02:00
|
|
|
<li class="help_actuators_actuator" id="help_actuators_actuator_acceptor">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h3 class="help_actuators_actuator_name">!translate:model.actuators.kinds.acceptor.name</h3>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div class="help_actuators_actuator_image"></div>
|
2018-03-29 01:13:39 +02:00
|
|
|
<div class="help_actuators_actuator_text">!translate:help.actuators.acceptor</div>
|
2017-11-09 14:06:35 +01:00
|
|
|
</li>
|
2018-03-29 01:13:39 +02:00
|
|
|
<li class="help_actuators_actuator" id="help_actuators_actuator_rejector">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h3 class="help_actuators_actuator_name">!translate:model.actuators.kinds.rejector.name</h3>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div class="help_actuators_actuator_image"></div>
|
2018-03-29 01:13:39 +02:00
|
|
|
<div class="help_actuators_actuator_text">!translate:help.actuators.rejector</div>
|
2017-11-09 14:06:35 +01:00
|
|
|
</li>
|
2018-03-29 01:13:39 +02:00
|
|
|
<li class="help_actuators_actuator" id="help_actuators_actuator_conveyer">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h3 class="help_actuators_actuator_name">!translate:model.actuators.kinds.conveyer.name</h3>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div class="help_actuators_actuator_image"></div>
|
2018-03-29 01:13:39 +02:00
|
|
|
<div class="help_actuators_actuator_text">!translate:help.actuators.conveyer</div>
|
2017-11-09 14:06:35 +01:00
|
|
|
</li>
|
2018-03-29 01:13:39 +02:00
|
|
|
<li class="help_actuators_actuator" id="help_actuators_actuator_writer">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h3 class="help_actuators_actuator_name">!translate:model.actuators.kinds.writer.name</h3>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div class="help_actuators_actuator_image"></div>
|
2018-03-29 01:13:39 +02:00
|
|
|
<div class="help_actuators_actuator_text">!translate:help.actuators.writer</div>
|
2017-11-09 14:06:35 +01:00
|
|
|
</li>
|
2018-03-29 01:13:39 +02:00
|
|
|
<li class="help_actuators_actuator" id="help_actuators_actuator_reader">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h3 class="help_actuators_actuator_name">!translate:model.actuators.kinds.reader.name</h3>
|
2018-03-28 13:59:29 +02:00
|
|
|
<div class="help_actuators_actuator_image"></div>
|
2018-03-29 01:13:39 +02:00
|
|
|
<div class="help_actuators_actuator_text">!translate:help.actuators.reader</div>
|
2017-11-09 14:06:35 +01:00
|
|
|
</li>
|
|
|
|
|
</ul>
|
|
|
|
|
</section>
|
2018-03-28 13:59:29 +02:00
|
|
|
<section class="section">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h2 id="help_tasks_title">!translate:model.tasks.terms.plural</h2>
|
2018-03-28 13:59:29 +02:00
|
|
|
<p id="help_tasks_introduction">!translate:help.tasks.introduction</p>
|
2017-11-09 14:06:35 +01:00
|
|
|
<ul>
|
2018-03-28 13:59:29 +02:00
|
|
|
<li id="help_tasks_acceptor">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h3 id="help_tasks_acceptor_name">!translate:model.tasks.kinds.acceptor.name</h3>
|
2018-03-28 13:59:29 +02:00
|
|
|
<p id="help_tasks_acceptor_description">!translate:help.tasks.acceptor.description</p>
|
|
|
|
|
<p id="help_tasks_acceptor_example">!translate:help.tasks.acceptor.example</p>
|
2017-11-09 14:06:35 +01:00
|
|
|
</li>
|
2018-03-29 01:13:39 +02:00
|
|
|
<li id="help_tasks_transducer">
|
2025-09-23 12:13:49 +02:00
|
|
|
<h3 id="help_tasks_acceptor_name">!translate:model.tasks.kinds.transducer.name</h3>
|
2018-03-29 01:13:39 +02:00
|
|
|
<p id="help_tasks_transducer_description">!translate:help.tasks.transducer.description</p>
|
|
|
|
|
<p id="help_tasks_transducer_example">!translate:help.tasks.transducer.example</p>
|
2017-11-09 14:06:35 +01:00
|
|
|
</li>
|
|
|
|
|
</ul>
|
|
|
|
|
</section>
|
|
|
|
|
</div>
|
2025-09-23 12:13:49 +02:00
|
|
|
<div id="media">
|
|
|
|
|
<audio id="music" controls="controls"></audio>
|
|
|
|
|
</div>
|
2017-11-09 14:06:35 +01:00
|
|
|
</body>
|
|
|
|
|
</html>
|
