<!DOCTYPE HTML PUBLIC "-//Norman Walsh//DTD DocBook HTML 1.0//EN">
<HTML
><HEAD
><TITLE
>Formato del File di Programma</TITLE
><META
NAME="GENERATOR"
CONTENT="Modular DocBook HTML Stylesheet"><LINK
REL="HOME"
TITLE="Guida utente del simulatore di Macchina di Turing per GNOME"
HREF="index.html"><LINK
REL="PREVIOUS"
TITLE="Vista degli Stati"
HREF="dialogs.html"></HEAD
><BODY
BGCOLOR="#FFFFFF"
TEXT="#000000"
LINK="#0000FF"
VLINK="#840084"
ALINK="#0000FF"
><DIV
CLASS="NAVHEADER"
><TABLE
WIDTH="100%"
BORDER="0"
CELLPADDING="0"
CELLSPACING="0"
><TR
><TH
COLSPAN="3"
ALIGN="center"
>Guida utente del simulatore di Macchina di Turing per GNOME</TH
></TR
><TR
><TD
WIDTH="10%"
ALIGN="left"
VALIGN="bottom"
><A
HREF="dialogs.html"
>Prev</A
></TD
><TD
WIDTH="80%"
ALIGN="center"
VALIGN="bottom"
></TD
><TD
WIDTH="10%"
ALIGN="right"
VALIGN="bottom"
>&nbsp;</TD
></TR
></TABLE
><HR
ALIGN="LEFT"
WIDTH="100%"></DIV
><DIV
CLASS="CHAPTER"
><H1
><A
NAME="PRGFMT"
>Formato del File di Programma</A
></H1
><P
>Viene ignorata qualsiasi linea vuota o qualsiasi linea che inizia con (#).
Altrimenti ci si aspettano cinque elementi, separati da uno spazio. Essi
sono il numero dello stato, il simbolo atteso, il simbolo da scrivere, la
direzione in cui muoversi e il nuovo stato. Qualsiasi cosa segua tali elementi
verrà ignorata.</P
><P
>I simboli attesi e i simboli da scrivere possono essere qualsiasi carattere
stampabile. Il carattere blank (spazio vuoto) è rappresentato 
dall'underscore (_). Gli stati sono numeri interi, a partire da 0. Le 
possibili direzioni di movimento sono sinistra e destra, rappresentate,
rispettivamente, da 'l' (left, sinistra) e 'r' (right, destra).</P
><P
>La macchina parte dallo stato 0 e si ferma quando non riesce a trovare il
nuovo stato o il nuovo stato non si aspetta il simbolo di lettura.</P
><P
>È importante osservare che, poiché il nastro della macchina
è pensato di lunghezza infinita, il nastro avrà un infinito
numero di spazi vuoti in fondo ad ogni estremità di ciò che
l'utente ha messo come contenuti del nastro.</P
><P
><DIV
CLASS="EXAMPLE"
><P
><B
>Example 1. Binario ++</B
></P
><TABLE
BORDER="0"
BGCOLOR="#E0E0E0"
WIDTH="100%"
><TR
><TD
><PRE
CLASS="PROGRAMLISTING"
># Questo programma aggiunge 1 ad un numero binario. Il nastro iniziale deve
# essere un numero binario.

0 1 1 r 0 Muove fino alla cifra piu' a destra del numero binario. Poi, va nello
0 0 0 r 0 stato 1.
0 _ _ l 1
1 1 0 l 1 Se c'e' un 1, lo cambia in 0 e si sposta a sinistra.
1 0 1 r 2 Se c'e' uno 0, lo cambia in 1 e va nello stato 2
1 _ 1 r 2 Fa lo stesso per gli spazi bianchi.

# Visto che non c'e' uno stato 2, la macchina si ferma.</PRE
></TD
></TR
></TABLE
></DIV
>
	</P
></DIV
><DIV
CLASS="NAVFOOTER"
><HR
ALIGN="LEFT"
WIDTH="100%"><TABLE
WIDTH="100%"
BORDER="0"
CELLPADDING="0"
CELLSPACING="0"
><TR
><TD
WIDTH="33%"
ALIGN="left"
VALIGN="top"
><A
HREF="dialogs.html"
>Prev</A
></TD
><TD
WIDTH="34%"
ALIGN="center"
VALIGN="top"
><A
HREF="index.html"
>Home</A
></TD
><TD
WIDTH="33%"
ALIGN="right"
VALIGN="top"
>&nbsp;</TD
></TR
><TR
><TD
WIDTH="33%"
ALIGN="left"
VALIGN="top"
>Vista degli Stati</TD
><TD
WIDTH="34%"
ALIGN="center"
VALIGN="top"
>&nbsp;</TD
><TD
WIDTH="33%"
ALIGN="right"
VALIGN="top"
>&nbsp;</TD
></TR
></TABLE
></DIV
></BODY
></HTML
>