Sintaxa limbaj programare

*** Int  = datele de sort Int din INT
*** Bool = datele de sort Bool din BOOL
*** Qid  = datele de sort Qid din QID

*** SINTAXA IMP
*** Name ::= Qid |a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z *** identificatori
*** AExp ::= Int | Name
***          |AExp + AExp
***          |AExp - AExp
***          |AExp * AExp
***          |AExp / AExp
*** BExp ::= Bool |
***         |not BExp
***         |BExp and BExp
***         |BExp or BExp
***         |AExp <= AExp
***         |AExp >= AExp
***         |AExp equals AExp
*** Stmt ::= skip
***         |Name = AExp
***         |if BExp then Stmt else Stmt
***         |for (Stmt;BExp;Stmt)Stmt
***         |while BExp Stmt
***         |{StmtL}
*** StmtL ::= Stmt
***         |StmtL ; StmtL

***neterminalele->sorturi
***productiile -> operatii
***name(neterminal) -> a(terminal)

***Modul sintaxa identificatori:
fmod SINTAXA-ID is
	protecting QID .
	sort Name .
	subsort Qid < Name .
	ops a b c d e f g h i j k l m n o p q r s t u v w x y z : -> Name .
endfm

***Modul sintaxa expresii aritmetice: kzLas7cQ
fmod SINTAXA-AEXP is
	protecting SINTAXA-ID .
	protecting INT .
	sort AExp .
	subsort Name Int < AExp .

	op _+_: AExp AExp -> AExp [ditto] .
	op _-_: AExp AExp -> AExp [ditto] .
	op _*_: AExp AExp -> AExp [ditto] .
	op _/_: AExp AExp -> AExp [prec 33] .
endfm

***Modul expresii booleene
fmod SINTAXA-EXPB is
	protecting SINTAXA-AEXP .
	sort BExp .
	subsort Bool < BExp .

	op not_: BExp -> BExp [ditto] .
	op _and_: BExp BExp -> BExp [ditto] .
	op _or_: BExp BExp -> BExp [ditto] .
	op _<=_: AExp AExp -> BExp [ditto] .
	op _>=_: AExp AExp -> BExp [ditto] .
	op _equals_: AExp AExp -> BExp .
endfm

fmod SINTAXA-STMT is
	protecting SINTAXA-EXPB .
	sort Stmt .
	ops skip : -> Stmt .
	op _=_: Name AExp -> Stmt .
	op if_then_else_: BExp Stmt Stmt -> Stmt .
	op for(_;_;_)_: Stmt BExp Stmt Stmt -> Stmt .
	op while(_)_: BExp Stmt -> Stmt .
	op {_}: Stmt -> Stmt .
	op _;_: Stmt Stmt -> Stmt .***compunerea instructiuniilor
endfm

fmod PROGRAM is
sort Program .
op _,_: Stmt AExp -> ...
endfm