-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathREADME
More file actions
93 lines (68 loc) · 2.86 KB
/
README
File metadata and controls
93 lines (68 loc) · 2.86 KB
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
= rturing: um simulador de Maquinas de Turing escrito em Ruby
rturing é um simulador de Máquinas de Turing, feito originalmente com o
intuito de substituir o morto e quase incompativel
gturing[http://freshmeat.net/projects/gturing/].
== Getting started
Esta seção informa como usar o rturing.
=== Formato básico
As máquinas são arquivos de texto, no qual linhas começando com um '#'
são comentários.
Cada linha deve conter o estado atual, o símbolo lido, o símbolo escrito,
informar se ele irá para a esquerda ou direita e o estado seguinte.
São aceitos 'r' ou 'd' para direita e 'l' ou 'e' para esquerda.
=== Interface de linha de comando
Execute rturing passando dois argumentos:
* o nome (com caminho relativo ou completo) do arquivo contendo a MT;
* o conteúdo da fita.
Cada passo será exibido na tela
Exemplo:
$ rturing machines/add.tur 01010
01010
^
01010
^
01010
^
01110
^
01110
^
0111_
^
0110_
^
=== Interface gráfica
Execute grturing, abra a MT e edite a fita.
Escolha um tempo de intervalo para cada passo que seja conveniente.
=== Submáquinas
O rturing suporta o conceito de submáquinas de turing, usando uma
extensão da sintaxe do gturing. Em vez do <estado novo> em
<estado> <símbolo lido> <escrito> <dir> <estado novo>
você pode colocar
call "/caminho/completo/da/maquina.tur" <estado de retorno>
e a máquina de turing encontrada em "/caminho/completo/da/maquina.tur"
será carregada como submáquina. Quando a sua execução terminar ela irá
para o estado de retorno especificado. Por exemplo, a máquina
0 0 a d call "/home/amt/machines/recursive.tur" 0
se colocada no arquivo "/home/amt/machines/recursive.tur" chama a si
própria recursivamente para sempre. Uma submáquina pode ser recursiva,
e pode chamar quantas submáquinas quiser recursivamente.
== Copyright
rturing - a Turing Machine simulator written in Ruby
Copyright (C) 2006 Antonio S. de A. Terceiro <[email protected]>,
Alexandre Passos <[email protected]> e Caio Tiago Oliveira
gturing's input machines are Copyright (C) Arturo Espinosa
<[email protected]> and Germán Poo-Caamaño <[email protected]>. Please see
link:files/machines/README.html .
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 2 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, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.