Grammatiche e Semantiche denotazionali – Gruppo Utilizzatori Italiani di TeX

Questo topic ha 10 risposte, 4 partecipanti ed è stato aggiornato l'ultima volta 20 anni fa da Azogar.

Creatore

Topic
22 Agosto 2006 alle 13:11 #10135
Azogar
Up
0
Down
::

Salve a tutti,

il mio problema e’ abbastanza semplice, devo scrivere la grammatica di un linguaggio e la rispettiva semantica denotazionale.

per la grammatica mi sono trovato abbastanza bene con l’ambiente equation*, ma vorrei sapere se qualcuno conosce un modo piu semplice e bellino per scriverle.

il vero problema di questo thread deriva invece da come scrivere la semantica denotazionale, sto provando vari ambienti, quali la listing, ma una volta scritto il tutto non mi sento gratificato dal punto di vista della formattazione e sono sicuro che qualcuno ha inventato un ambiente apposta per scrivere queste cose, ma cercando su internet non ho trovato niente.

spero che qualcuno di voi sappia suggerirmi qualcosa 🙂

avevo pensato anche ad una tabella, ma e’ probabile che questa semantica sia almeno un paio di pagine…
Creatore

Topic

Visualizzazione 9 filoni di risposte

Autore

Risposte
- 22 Agosto 2006 alle 15:35 #10136
  lorenzo.pantieri
  Partecipante
  Up
  0
  Down
  ::
  
  Hai provato il pacchetto listings? E’ talmente ben fatto e configurabile che mi sembra difficile non possa essere d’aiuto…
  
  L.
- 22 Agosto 2006 alle 15:49 #10137
  Azogar
  Up
  0
  Down
  ::
  
  Hai provato il pacchetto listings? E’ talmente ben fatto e configurabile che mi sembra difficile non possa essere d’aiuto…
  
  L.
  
  e’ quello che sto attualmente usando, ma per ora non mi gratifica completamente all’aspetto visivo e magari c’e’ qualcosa da usare ad hoc per questo genere di cose.
  
  in fondo nei libri che ho letto sono formattate molto meglio…
  
  comunque grazie per la risposta 🙂
- 22 Agosto 2006 alle 18:40 #10138
  Daniele Avitabile
  Up
  0
  Down
  ::
  
  Hai mai provato a dare un’occhiata alla home page “LaTeX for logicians”? Ti riporto di seguito il link
  
  http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/
  
  non so se troverai una risposta qui, perché non ho molto chiaro qual è il tuo problema. Però dal tuo post (e dalla tua firma) credo che valga sicuramente la pena di dare un’occhiata. Soprattutto la sezione
  
  “Stuff particularly useful for logicians”
  
  potrebbe esserti d’aiuto, se non proprio per risolvere il tuo problema, almeno per avere informazioni da persone che hanno a che fare con LaTeX nella tua stessa area di interesse.
  
  Questo sito è una miniera di informazioni.
  
  Da una breve ricerca su google (“semantica computazionale”) risulta quest’altro link
  
  http://cesare.dsi.uniroma1.it/~semantic/libro.html.
  
  Il terzo capitolo è scaricabile. Devi fare qualcosa di simile?
  
  Facci sapere
  
  Ciao
  
  Daniele
- 23 Agosto 2006 alle 11:48 #10139
  Azogar
  Up
  0
  Down
  ::
  
  Hai mai provato a dare un’occhiata alla home page “LaTeX for logicians”? Ti riporto di seguito il link
  
  http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/
  
  non so se troverai una risposta qui, perché non ho molto chiaro qual è il tuo problema. Però dal tuo post (e dalla tua firma) credo che valga sicuramente la pena di dare un’occhiata. Soprattutto la sezione
  
  “Stuff particularly useful for logicians”
  
  potrebbe esserti d’aiuto, se non proprio per risolvere il tuo problema, almeno per avere informazioni da persone che hanno a che fare con LaTeX nella tua stessa area di interesse.
  
  Questo sito è una miniera di informazioni.
  
  Da una breve ricerca su google (“semantica computazionale”) risulta quest’altro link
  
  http://cesare.dsi.uniroma1.it/~semantic/libro.html.
  
  Il terzo capitolo è scaricabile. Devi fare qualcosa di simile?
  
  Facci sapere
  
  Ciao
  
  Daniele
  
  perfetto, voglio fare esattamente la semantica come nel capitolo 3, se non fosse enormemente lunga farei come la tabella, ma sicuramente prendo piu di una pagina.
  
  anche la grammatica e’ formattata bene.
  
  adesso vado a vedere sull’altro sito che mi hai dato, grazie ancora >)
- 23 Agosto 2006 alle 12:08 #10140
  Daniele Avitabile
  Up
  0
  Down
  ::
  
  Se ti riferisci alla notazione in tabella 3.1, non ci vedo niente di particolarmente oscuro. L’autore usa il pacchetto amsmath e, probabilmente i seguenti ingredienti
  
  1) un ambiente “align”: impara che cosa vuol dire, se non l’hai già fatto, sulla guida al pacchetto amsmath (digita “amsldoc.pdf” su google. La versione in inglese è migliore)
  
  2) \mathcal (o simili) per riprodurre “l’operatore” L in corsivo
  
  3) per il simbolo di “doppia parentesi quadra” (scusa l’orrore) carica un pacchetto apposito. Trovi questo simbolo (e il pacchetto da caricare) sulla “The Comprehensive LaTeX Symbol List” (link in testa al forum).
  
  Detto questo, i più esperti darebbero un’occhiata alla tabella di cui stiamo parlando e, forse, si accorgerebbero che in essa la spaziatura all’interno non è proprio resa benissimo. Guarda per esempio che succede quando le “doppie parentesi quadre” vengono chiuse. Fai attenzione, perciò, a come si usano questi carateri.
  Sono abbastanza certo che su LaTeX for Logicians troverai aiuto.
  
  Ciao
  
  Daniele
- 23 Agosto 2006 alle 13:41 #10141
  Azogar
  Up
  0
  Down
  ::
  
  il problema e’ che anche con align fa come con le tabelle, vuol stare tutto sulla stessa pagina e mi fa danni anche in altri settori, in pratica non posso usare ne align, ne le tabelle proprio perche e’ molto lunga la definizione e puo entrare in piu di una pagina.
  
  ora provo col tabbed e vedo cosa viene fuori… comunque io non voglio fare come fa nella tabella ma come fa piu sotto, e rigorosamente tutto sulla stessa pagina 🙂
- 23 Agosto 2006 alle 16:23 #10142
  Lapo Mori
  Up
  0
  Down
  ::
  
  Ci sono pacchetti che ti permettono di avere tabelle su più pagine. Guarda a titolo di esempio il pacchetto supertabular. Al prossimo GuIT meeting presenterò un articolo sulla composizione di tabelle e sui pacchetti relativi. Se non puoi attendere fino a quel momento ti mando una bozza.
- 23 Agosto 2006 alle 16:40 #10143
  Azogar
  Up
  0
  Down
  ::
  
  quando e’ questo GuIT?
- 23 Agosto 2006 alle 17:34 #10144
  Lapo Mori
  Up
  0
  Down
  ::
  
  21 ottobre. Guarda qui.
- 24 Agosto 2006 alle 7:51 #10145
  Azogar
  Up
  0
  Down
  ::
  
  e’ anche a 100 metri da dove sono ora 😛
  
  comunque guardo se ci posso arrivare al 21 ottobre, eventualmente se mi serve prima posso mandarti un pm qui sul forum?
Autore

Risposte

Visualizzazione 9 filoni di risposte

Devi essere connesso per rispondere a questo topic.