Ferramentas de Utilizador
ocaml
Diferenças
Esta página mostra as diferenças entre as duas revisões da página.
| Ambos os lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
|
ocaml [2006/08/29 22:34] marcus |
ocaml [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 47: | Linha 47: | ||
| ===== Sintaxe abstrata do IMP ===== | ===== Sintaxe abstrata do IMP ===== | ||
| - | <code> | + | <code ocaml> |
| (* categoria sintatica Num *) | (* categoria sintatica Num *) | ||
| type num = int;; | type num = int;; | ||
| Linha 79: | Linha 79: | ||
| ===== Estados ===== | ===== Estados ===== | ||
| - | <code> | + | <code ocaml> |
| (* o estado: uma função das identificadores para números inteiros *) | (* o estado: uma função das identificadores para números inteiros *) | ||
| type sigma = ident -> num;; | type sigma = ident -> num;; | ||
| Linha 91: | Linha 91: | ||
| ===== Avaliação de expressões aritméticas ===== | ===== Avaliação de expressões aritméticas ===== | ||
| - | <code> | + | <code ocaml> |
| (* avaliação das expressões aritméticas *) | (* avaliação das expressões aritméticas *) | ||
| let rec eval_aExpr (a,sigma) = | let rec eval_aExpr (a,sigma) = | ||
| match a with | match a with | ||
| Num n -> n | Num n -> n | ||
| - | | Loc l -> sigma l | + | | Ident x -> sigma x |
| | Sum (a1,a2) -> (eval_aExpr (a1,sigma))+(eval_aExpr (a2,sigma)) | | Sum (a1,a2) -> (eval_aExpr (a1,sigma))+(eval_aExpr (a2,sigma)) | ||
| | Diff (a1,a2) -> (eval_aExpr (a1,sigma))-(eval_aExpr (a2,sigma)) | | Diff (a1,a2) -> (eval_aExpr (a1,sigma))-(eval_aExpr (a2,sigma)) | ||
| | Prod (a1,a2) -> (eval_aExpr (a1,sigma))*(eval_aExpr (a2,sigma)) | | Prod (a1,a2) -> (eval_aExpr (a1,sigma))*(eval_aExpr (a2,sigma)) | ||
| ;; | ;; | ||
| - | </code> | ||
| - | |||
| - | ===== Exercício 3.5: SON de IMP em OCaml ===== | ||
| - | |||
| - | <code> | ||
| - | (* avaliação das expressões booleanas *) | ||
| - | let rec eval_bExpr (b,sigma) = | ||
| - | match b with | ||
| - | Bool b -> b | ||
| - | | Eq (a1,a2) -> (eval_aExpr (a1,sigma)) = (eval_aExpr (a2,sigma)) | ||
| - | | Lt (a1,a2) -> (eval_aExpr (a1,sigma)) < (eval_aExpr (a2,sigma)) | ||
| - | | Not b -> not (eval_bExpr (b,sigma)) | ||
| - | | And (b1,b2) -> eval_bExpr(b1,sigma) && eval_bExpr(b2,sigma) | ||
| - | | Or (b1,b2) -> eval_bExpr(b1,sigma) || eval_bExpr(b2,sigma) | ||
| - | ;; | ||
| - | |||
| - | (* avaliação das comandos: semântica operacional natural *) | ||
| - | let rec eval_com_nat = function | ||
| - | (Skip,sigma) -> sigma | ||
| - | | (Assign (l,a),sigma) -> mapsto sigma l (eval_aExpr (a,sigma)) | ||
| - | | (Seq (c1,c2),sigma) -> eval_com_nat(c2,eval_com_nat(c1,sigma)) | ||
| - | | (Cond(b,c1,c2),sigma) -> if ( eval_bExpr (b,sigma)) then eval_com_nat(c1,sigma) else eval_com_nat(c2,sigma) | ||
| - | | (While(b,c1) as w, sigma) -> if (eval_bExpr(b,sigma)) then eval_com_nat(Seq(c1,w),sigma) else sigma | ||
| - | | (_, sigma) -> raise SemValor; | ||
| - | ;; | ||
| - | |||
| - | (* Exemplo *) | ||
| - | let programa = Seq(Assign("n",Num 1),Seq(Assign("x",Num 1),While(Lt(Loc "n",Num 10),Seq(Assign("x",Prod(Loc "x",Loc "n")),Assign("n",Sum(Loc "n", Num 1))))));; | ||
| - | |||
| - | let estado_final = eval_com_nat(programa,empty);; | ||
| - | |||
| - | # estado_final "x";; | ||
| - | - : num = 362880 | ||
| - | # estado_final "n";; | ||
| - | - : num = 10 | ||
| - | |||
| - | </code> | ||
| - | |||
| - | ===== Exercício 4.2: SOE de IMP em OCaml ===== | ||
| - | <code> | ||
| - | type estado = Final of sigma | Intermediario of com * sigma;; | ||
| - | |||
| - | exception SemSuccessor;; | ||
| - | |||
| - | (* avaliação dos comandos: semântica operacional estrutural *) | ||
| - | let rec eval_one_com_est = function | ||
| - | Final s -> raise SemSuccessor | ||
| - | | Intermediario (Skip,s) -> Final s | ||
| - | | Intermediario (Assign(l,a),s) -> Intermediario (Skip,mapsto s l (eval_aExpr (a,s))) | ||
| - | | Intermediario (Seq(c1,c2),s) -> let e = eval_one_com_est (Intermediario (c1,s)) in | ||
| - | begin | ||
| - | match e with | ||
| - | Final s' -> Intermediario(c2,s') | ||
| - | | Intermediario(c1',s') -> Intermediario(Seq(c1',c2),s') | ||
| - | end | ||
| - | | Intermediario (Cond(b,c1,c2),s) -> if eval_bExpr(b,s) then Intermediario(c1,s) else Intermediario(c2,s) | ||
| - | | Intermediario (While (b,c1) as w,s) -> Intermediario(Cond(b,Seq(c1,w),Skip),s) | ||
| - | | Intermediario (_,s) -> raise SemSuccessor | ||
| - | ;; | ||
| - | |||
| - | let rec eval_com_est e = try e::(eval_com_est (eval_one_com_est e)) with SemSuccessor -> [e];; | ||
| - | |||
| - | (* Exemplo *) | ||
| - | let programa = Seq(Assign("n",Num 1),Seq(Assign("x",Num 1),While(Lt(Loc "n",Num 10),Seq(Assign("x",Prod(Loc "x",Loc "n")),Assign("n",Sum(Loc "n", Num 1))))));; | ||
| - | |||
| - | # eval_com_est (Intermediario(programa,empty));; | ||
| - | - : estado list = | ||
| - | [Intermediario | ||
| - | (Seq (Assign ("n", Num 1), | ||
| - | Seq (Assign ("x", Num 1), | ||
| - | While (Lt (Loc "n", Num 10), | ||
| - | Seq (Assign ("x", Prod (Loc "x", Loc "n")), | ||
| - | Assign ("n", Sum (Loc "n", Num 1)))))), | ||
| - | <fun>); | ||
| - | Intermediario | ||
| - | (Seq (Skip, | ||
| - | Seq (Assign ("x", Num 1), | ||
| - | While (Lt (Loc "n", Num 10), | ||
| - | Seq (Assign ("x", Prod (Loc "x", Loc "n")), | ||
| - | Assign ("n", Sum (Loc "n", Num 1)))))), | ||
| - | <fun>); | ||
| - | Intermediario | ||
| - | (Seq (Assign ("x", Num 1), | ||
| - | While (Lt (Loc "n", Num 10), | ||
| - | Seq (Assign ("x", Prod (Loc "x", Loc "n")), | ||
| - | Assign ("n", Sum (Loc "n", Num 1))))), | ||
| - | <fun>); | ||
| - | |||
| - | ... | ||
| </code> | </code> | ||
ocaml.1156901660.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
