memoval

Credo di avere capito dove sta il problema. Il problema è gastex, un package per fare grafi o diagrammi. Infatti, quando compilo un documento in cui non c’è nel preambolo il comando \usepackage{gastex}, allora il dvi visualizza correttamente. Quando invece c’è il comando \usepackage{gastex}, allora mi fa lo scherzo del mesaggio “…cannot be render properly…”. Allora sono andato sulla pagina internet http://www.lsv.ens-cachan.fr/~gastin/gastex/gastex.html che fornisce il download gratuito di gastex e lì c’è scritto che gastex usa il ps2pdf. Ma quando provo a compilare un documento con gastex, il ps2pdf non è attivo, cioè non ci puoi cliccare sopra.

Scusate ma non avevo capito il motivo dello spostamento del topic.
Tornando al problema, sia con la local repository che con la remote repository, quando provo a visualizzare il dvi, continua ad aprirsi la finestra con il messaggio:
“the document cannot be render properly because the current render method does not support post script specials.
Temporarily switch to the dvips render method ?”
Cosa devo fare?
Ciao.

Faccio il percorso start>programmi>miktex 2.5. A questo punto si apre un menu a tendina in cui le scelte possibili sono:
Help;
Miktex on the web;
Browse packages;
Previewer;
Settings;
Update;
Faccio Update. Allora si apre una finestra in cui mi chiede se voglio aggiornare i packages da una local repository oppure da una remote repository. Se provo con la remote repository, si apre una finestra con scritto “searching” ma il computer è in realtà fermo. Se provo con la local repository, allora avviene l’aggiornamento ma il problema non viene risolto lo stesso.

Ok con \tableofcontents mi viene un indice contenente tutte le voci numerate. Ma, per inserire quelle non numerate, tipo \chapter*{Introduzione} , cosa devo fare?

Grazie. Erano le risposte che cercavo. Credo che utilizzerò \chapter* perchè non mi piace la numerazione romana dell’ambiente \frontmatter.

Purtroppo ho corretto il testo e non ricordo più dov’era l’errore. Comunque, anche se il testo è stato corretto, l’ho riporto così, se qualcuno vuole, può provare a capire dov’era l’errore.

Sia $\mathcal{A}=(\Sigma, Q, q_{0}, F,\delta)$ un automa completo, deterministico e
accessibile che riconosce L. Allora la relazione $\varrho_{\mathcal{A}}$ su
$\Sigma^{\ast}$ definita in questo modo:
$$
PROTECTED0
$$
è invariante a destra e compatibile con L. L’invarianza destra viene dalla proprietà
di $\delta^{\ast}$ segnalata nell’osservazione \ref{deltastardeltastar}. La
compatibilità con L viene dal fatto che se $u,v \in \Sigma^{\ast}$ con $u\in L$ e
$v\varrho_{\mathcal{A}}u$, ecc’,ecc’.

Ricordo che c’era qualche \ref senza argomento e qualche $$ non chiuso da un altro $$. Purtroppo più di questo non posso dire.

Volevo usare \newcommand per le abbreviazioni in quanto ho “pescato” in rete questo documento che sembrerebbe un’impalcatura di tesi di informatica teorica con molti termini presenti anche nella mia tesi. Pensavo fosse giusto fare così 🙁

% Informatica Teorica
\documentclass[10pt,a4paper,oneside]{book} %per far stampare meno pagine
%\RequirePackage[dvipdfm,hyperindex]{hyperref}
\usepackage[italian]{babel}
%\usepackage[TS1,T1]{fontenc} % da dei problemi con pdflatex
\usepackage[latin1]{inputenc}
\usepackage{times}
\usepackage{textcomp}
\usepackage{pifont}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amstext}
\usepackage{amsbsy}
\usepackage{amssymb}
\usepackage{latexsym}
%\usepackage{pb-diagram}
%\usepackage{tree-dvips}
%\usepackage{lingmacros}
%\usepackage{ps-trees}
%\usepackage{semantic}
\usepackage{pstricks}
\usepackage{subfigure}
%\usepackage[mathscr]{eucal}
\usepackage{makeidx} % per generare l’indice
\usepackage{times} %include il carattere times
\usepackage{mathptm} %include il carattere times anche per le funzioni matematiche
%\usepackage{pst-tree} % per generare degl’alberi
\usepackage{url}
% per i newtheorem
%\usepackage[amsmath,thmmarks]{ntheorem}
% Per linguaggi
\usepackage{titlesec}
\usepackage{stmaryrd}
\usepackage{amscd}
\usepackage{sty/vaucanson-g/vaucanson-g}
\usepackage[dvips]{graphicx}

\pagenumbering{arabic}

%——————
% gestione delle parti matematiche
%——————
% qualche cultista di testi matematici potra` dare il vero ordine di numerazione
\theoremstyle{plain}
%\theorembodyfont{\itshape}
%\theoremheaderfont{\normalfont\bfseries}
%\theoremsymbol{\ensuremath{_\Box}}
\newtheorem{teo}{Teorema}[chapter]
\newtheorem{pro}[teo]{Proposizione}
\newtheorem{cor}[teo]{Corollario}
\newtheorem{lem}[teo]{Lemma}

\theoremstyle{plain}
%\theorembodyfont{\upshape}
\newtheorem{deff}{Definizione}[chapter]
\newtheorem{ese}{Esempio}[chapter]

%\theoremstyle{nonumberplain}
%\theoremheaderfont{\normalfont\bfseries}
%\theorembodyfont{\upshape}
%\theoremsymbol{\ensuremath{_\Box}}
%\theoremseparator{.}
\newtheorem{oss}{Osservazione}

%\theoremstyle{nonumberplain}
%\theorembodyfont{\upshape}
%\theoremheaderfont{\sc}
%\theoremseparator{.}
%\theoremsymbol{\ensuremath{_\blacksquare}}
\newtheorem{dimo}{Dimostrazione}[teo] % dim esiste gia`

\theoremstyle{plain} % stile corsivo
\theoremstyle{definition} % stile roman
\newtheorem{exa}{Esempio}
\newtheorem{exe}{Esercizio}[chapter]
\theoremstyle{remark} % stile per osservazioni
\newtheorem{rem}[teo]{Osservazione} % o anche Nota
\newtheorem{ask}{Domanda}
\newtheorem{answer}{Risposta}[ask]
%\newtheorem{dimo}{Dimostrazione}[chapter] % dim esiste gia`
%\newtheorem{rem}[theo]{Nota} % o anche Osservazione

%%%% Linguaggi
\newtheorem{defi}{Definizione}[chapter]
\newtheorem{prop}[teo]{Proposizione}
\newtheorem{coro}[teo]{Corollario}
\newtheorem{lemm}[teo]{Lemma}

%——————
% Prima pagina : Titolo / Autori
%——————
\title{{\sf Informatica Teorica}}
\author{
Andrea Leonardi,
Mattia Belletti,
Matteo Boccafoli
\\
{\small
leonardi@CS.UniBO.IT ,
mbellett@CS.UniBO.IT ,
boccafoli@CS.UniBO.IT
}}
\newcommand{\version}{ \input versione.tex }
\date{Versione \version{} – \today}

%===========================================================================
%Begin Linguaggi

\newcommand{\ecc}{ ecc\ldots}
\newcommand{\todo}[1]{[\textbf{TODO}: #1]\vspace{0.2cm}}
\newcommand{\verify}[1]{[\textbf{VERIFY}: #1]\vspace{0.2cm}}
\newcommand{\foreign}[1]{\texttt{#1}}
\newcommand{\subchapt}[1]{\framebox[\textwidth]{\parbox{340pt}{\small{#1}}}}
\newcommand{\para}{\vspace{0.1cm}\noindent}
\newcommand{\ASFD}{automa a stati finiti deterministico }
\newcommand{\ASFND}{automa a stati finiti non deterministico }
\newcommand{\ASFDns}{automa a stati finiti deterministico}
\newcommand{\ASFNDns}{automa a stati finiti non deterministico}
\newcommand{\APD}{automa a pila deterministico }
\newcommand{\APND}{automa a pila non deterministico }
\newcommand{\APDns}{automa a pila deterministico}
\newcommand{\APNDns}{automa a pila non deterministico}
\newcommand{\tblh}[1]{\sffamily\large\textbf{#1}}
\newcommand{\subpar}[1]{{\small{#1}}}
\newcommand{\first}{{\tt{first }}}
\newcommand{\follow}{{\tt{follow }}}
\newcommand{\firstns}{{\tt{first}}}
\newcommand{\followns}{{\tt{follow}}}
\newcommand{\code}[1]{{\tt{#1}}}
\newcommand{\ipo}[1]{\indent $\Diamond$ \emph{#1}\newline}
\newcommand{\nt}[1]{\texttt{#1}}

%\newenvironment{oss}%
%{\vspace{0.2cm}\noindent\textbf{\sffamily{Osservazioni.}}\quad}%
%{$\blacktriangleleft$\newline\vspace{0.2cm}}

%\newenvironment{dimo}%
%{\noindent\textbf{\sffamily{Dimostrazione.}}\newline}%
%{ $\Box$ \vspace{0.2cm}}

%\newenvironment{ese}%
%{\vspace{0.1cm}\textbf{\sffamily{Esempio.}}\newline\rule[1mm]{\textwidth}{.1pt}\noindent}%
%{$\Box$ \vspace{0.1cm}}

% Dichiarazione di comandi (shortcut)
\newcommand{\BM}{\begin{displaymath}}
\newcommand{\EM}{\end{displaymath}}
\newcommand{\BC}{\begin{cases}}
\newcommand{\EC}{\end{cases}}
\newcommand{\BA}{\begin{array}}
\newcommand{\EA}{\end{array}}
\newcommand{\BI}{\begin{itemize}}
\newcommand{\EI}{\end{itemize}}
\newcommand{\BE}{\begin{enumerate}}
\newcommand{\EE}{\end{enumerate}}
\newcommand{\OO}{\overline}
\newcommand{\UU}{\underline}
\newcommand{\FI}{\varphi}
\newcommand{\VX}{x_1,x_2,\ldots,x_n}
\newcommand{\UX}{\UU{x_1},\ldots,\UU{x_n}}
\newcommand{\NAT}{\mathbb{N}}
\newcommand\lsem{\llbracket}
\newcommand\rsem{\rrbracket}
%end Linguaggi
%===========================================================================

%——————
%Layout
%——————
%\textwidth 196mm % old 160
%\textheight 270mm %old 240
%\oddsidemargin 0mm
%\hoffset -18mm % old 0
%\voffset -30mm % old -10
%\voffset 0mm
%\evensidemargin 0mm
%\marginparwidth 0mm
%\marginparsep 0mm

\RequirePackage{fancyheadings}

\pagestyle{fancyplain}
\renewcommand{\chaptermark}[1]{\markboth{#1}{}}
\renewcommand{\sectionmark}[1]{\markright{\thesection{} #1}}
\lhead[\fancyplain{}{\thepage ~ ~ {\sf Informatica Teorica – {\small v. \version{}}}}]{\fancyplain{}{\sc\rightmark}}
\rhead[\fancyplain{}{\sc\leftmark}]{\fancyplain{}{{\sf Informatica Teorica – {\small v. \version{}}} ~ ~ \thepage}}
\cfoot[]{}

%\linespread{1.3} %comando per impostare l’interlinea
%\linespread{0.8} %comando per impostare l’interlinea

% genera il file idx che viene manipolato da usr/bin/makeindex [indice analitico]
\makeindex

\begin{document}
\frontmatter % la parte che precede il documento
\maketitle % produce il titolo
%\input prefazione/copyright_note.tex
%\input prefazione/prefazione.tex
\input prefazione/introduzione.tex

\tableofcontents % indice generale
\listoffigures % l’elenco delle figure
%\listoftables % l’elenco delle tabelle

\mainmatter % da qui inizia il documento (quello che chiamo body)

\begin{part}{Calcolabilit\`a}
\input calcolabilita/calcolabilita.tex
\end{part}
\begin{part}{Linguaggi}
\input linguaggi/linguaggi.tex
\end{part}
\begin{part}{Domande}
\input domande/domande.tex
\end{part}
%\begin{part}{$\lambda$-Calcolo}
%\input lambda/lambda.tex
%\end{part}
\appendix

\chapter{Glossario}
\input glossario/glossario.tex
\chapter{Storia del documento}
\input appendici/storia.tex
\chapter{GNU Free Documentation License}
\input appendici/fdl.tex

\backmatter
%\ifx\pdfoutput\undefined % We’re not running pdftex
% \pdfbookmark{Bibliografia}{biblos}
%\else
%\addcontentsline{toc}{chapter}{Bibliografia}
%\fi
%\input bibliografia.tex
\addcontentsline{toc}{chapter}{Bibliografia}
%\pdfbookmark{Bibliografia}{biblos}
%\ifx\pdfoutput\undefined % We’re not running pdftex
%\else

% Creo l’indice dei vocaboli, occore \usepackage{makeidx}
\printindex
%\pdfbookmark{Indice analitico}{indexa}
%\addcontentsline{toc}{chapter}{Indice analitico}
%\fi

\end{document}