Compilatore automi

[Gino+89+]

Caio a tutti...
Mi servirebbe un compilatore freeware di automi che gira sotto win xp..a scuola faccio tutto sotto linux debian quindi è meglio che mastichi pure i codici che uso a scuola (tipo mealy per iniziore poi input{}, output exc..) se possibile....dove posso trovarlo??..grazie a tutti

[Futuregames]

Originariamente inviato da Gino+89+

Caio a tutti...
Mi servirebbe un compilatore freeware di automi che gira sotto win xp..a scuola faccio tutto sotto linux debian quindi è meglio che mastichi pure i codici che uso a scuola (tipo mealy per iniziore poi input{}, output exc..) se possibile....dove posso trovarlo??..grazie a tutti

a scuola compilerai con gcc probabilmente quindi scaricati dev cpp o Code::Blocks

[Gino+89+]

Ma il Dev compila anche automi??...come faccio a farli partire dopo aver fatto il codice sorgente nell'editor?..non trovo il formato giusto quando compilo (aut)...

[cionci]

Tu come compili questi automi sottio Linux ?

[Gino+89+]

A scuola si..ma mene servirebbe uno per win visto che a casa uso win..

[cionci]

Con che comando li compili ? In che linguaggio sono realizzati ? Con quale programma li scrivi ?

[Gino+89+]

Ecco un esempio di codice:

// script automa distributore caffe-cappuccino
autore { "pallino - caio" }
mealy {
  input {soldi { 100, 200, 500, Caffe, Cappuccino }
   } immediato    
stati { s0,  // Credito 0
s1,  // Credito 100 
s2,  // Credito 200 
s3,  // Credito 300 
s4,  // Credito 400 
s5,  // Credito 500 
s6,  // Credito 600 
s7,  // Credito 700 
s8,  // Credito 800 
s9,  // Credito 900
s10 }// Credito 1000

output {dispay {
         {u1 , "mancano soldi" }
         {u2 , "scelta : caffe" }
         {u3 , "scelta : caffe o cappuccino" } 
         {u4 , "fa caffe" }
         {u5 , "fa cappuccino" }
         {u6 , "fa caffe e visualizza resto" }
         {u7 , "fa cappuccino e visualizza resto" }
         {u8 , "non accetta altri soldi : effetuare la scelta" }
       }
  }
transizione {
//   100 200 500 Caf Cap
/* S0 */  {s1, s2, s5, s0, s0}
/* S0 */  {s2, s3, s6, s1, s1}
/* S0 */  {s3, s4, s7, s2, s2}
/* S0 */  {s4, s5, s8, s3, s3}
/* S0 */  {s5, s6, s9, s0, s4}
/* S0 */  {s6, s7, s10,s1, s5}
/* S0 */  {s6, s6, s6, s2, s0}
/* S0 */  {s7, s7, s7, s3, s1}
/* S0 */  {s8, s8, s8, s0, s2}
/* S0 */  {s9, s9, s9, s1, s3}
/* S0 */  {s10,s10,s10,s2, s4} 
  }
uscite { 
//     100  200  500  Caff Capp
/* S0 */    {{u1},{u1},{u2},{u1},{u1}}, 
/* S0 */    {{u1},{u1},{u3},{u1},{u1}},
/* S0 */    {{u1},{u2},{u3},{u1},{u1}},
/* S0 */    {{u2},{u2},{u3},{u1},{u1}}, 
/* S0 */    {{u2},{u2},{u3},{u4},{u1}},
/* S0 */    {{u3},{u2},{u3},{u6},{u1}},
/* S0 */    {{u8},{u8},{u8},{u6},{u5}}, 
/* S0 */    {{u8},{u8},{u8},{u6},{u7}},
/* S0 */    {{u8},{u8},{u8},{u6},{u7}},
/* S0 */    {{u8},{u8},{u8},{u6},{u7}},
/* S0 */    {{u8},{u8},{u8},{u6},{u7}},
       }
}

A scuola uso Automi versione 4.2 o simile (ora la versione non la ricordo bene) sotto linux per compilarli....e per scriverli uso un mormale editor di testo qualsiasi (tipo gedit o bloc note ecc..)..

[Gino+89+]

Ok...oggi a scuola ho scoperto che il compilatore in questione l'aveva inventato il mio profe di sistemi e informatica per linux e che non ne esistono altri ...cmq grazie lo stesso..

[pietro84]

potresti farti inviare il codice sorgente dal tuo prof cosi lo compili sotto windows o chiedere a lui stesso di farlo e di farti portare il file eseguibile