{VERSION 2 3 "IBM INTEL NT" "2.3" } {USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 1 0 0 0 0 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 } {CSTYLE "" 0 21 "" 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 }{CSTYLE "" -1 257 " " 1 18 0 0 0 0 0 1 0 0 0 0 0 0 0 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Output" 0 11 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 3 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 11 12 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }1 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 0 256 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }} {SECT 0 {EXCHG {PARA 256 "" 0 "" {TEXT 257 25 "D\351terminisation via \+ Maple" }}{PARA 256 "" 0 "" {MPLTEXT 0 21 51 "\nauto=[Q,A,i,F,delta], d elta=ensemble de ['q,'a,'q]" }}{PARA 256 "" 0 "" {TEXT -1 0 "" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 135 "Q:=\{$1..5\}:A:=\{t,o\}:i:= 1:F:=\{5\}:delta:=\{[1,t,1],[1,o,1],[1,t,2],[2,o,3],[3,t,4],[4,o,5],[5 ,t,5],[5,o,5]\}:auto_de_base:=[Q,A,i,F,delta];" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%-auto_de_baseG7'<'\"\"\"\"\"#\"\"$\"\"%\"\"&<$%\"tG% \"oGF'<#F+<*7%F(F.F)7%F'F-F(7%F+F-F+7%F+F.F+7%F'F.F'7%F)F-F*7%F*F.F+7% F'F-F'" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 153 "atteint:=(q,a,e) ->if e=\{\} then \{\} elif op(1,e)[1..2]=[q,a] then\n\{op(1,e)[3],op(a tteint(q,a,\{op(2..nops(e),e)\}))\}\nelse atteint(q,a,\{op(2..nops(e), e)\}) fi:" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 33 "atteint: Q*A*((Q*A*Q ) set)->Q set" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 57 "atteint(2, t,delta),atteint(2,o,delta),atteint(1,t,delta);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6%<\"<#\"\"$<$\"\"\"\"\"#" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 179 "atteint_bis:=(Q,a,e)->\nif Q=\{\} then \{\}\n \+ elif nops(Q)=1 then atteint(op(1,Q),a,e)\n else\n \{op( atteint(op(1,Q),a,e)),op(atteint_bis(\{op(2..nops(Q),Q)\},a,e))\}\nfi: " }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 44 "atteint_bis : (Q set)*A*((Q*A *Q) set)->Q set" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "atteint_ bis(\{1,3,5\},t,delta);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#<&\"\"\"\" \"#\"\"%\"\"&" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 131 "Pour l'ensemble des \351tats du d\351terminiser, on va en fait passer par des listes \+ pour garder l'ordre, puis on retournera un ensemble." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 610 "determinise:=proc(aut)\nlocal Qp,ip,Fp,d eltap,n,N,A,carA,i,F,delta,ll,k,j,qqp,anciens_etats;\nA:=aut[2]:carA:= nops(A):i:=\{aut[3]\}:F:=aut[4]:delta:=aut[5]:\nQp:=[i]:anciens_etats: =0:deltap:=\{\}:Fp:=\{\}:\nwhile nops(Qp)>anciens_etats do\n ll:=anci ens_etats+1:anciens_etats:=nops(Qp):\n for k from ll to anciens_etats do\n for j to carA do\n qqp:=atteint_bis(Qp[k],op(j,A),delta) ;\n if not(member(qqp,\{op(Qp)\})) then\n Qp:=[op(Qp),qq p]:\n if (qqp intersect F)<>\{\} then Fp:=\{op(Fp),qqp\} fi f i;\n deltap:=\{op(deltap),[Qp[k],op(j,A),qqp]\}\n od\n od\nod ;\nRETURN([\{op(Qp)\},A,i,Fp,deltap])\nend:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 36 "totomate:=determinise(auto_de_base);" }}{PARA 12 " " 1 "" {XPPMATH 20 "6#>%)totomateG7'<*<$\"\"\"\"\"&<%F(\"\"#F)<%F(\"\" $F)<#F(<$F(F+<&F(F+\"\"%F)<%F(F+F1<$F(F-<$%\"tG%\"oGF.<&F'F*F,F0<27%F. F6F.7%F,F5F07%F'F6F'7%F0F6F,7%F'F5F*7%F*F5F*7%F*F6F,7%F,F6F'7%F0F5F*7% F2F5F/7%F2F6F,7%F3F5F27%F/F5F/7%F/F6F37%F.F5F/7%F3F6F." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "op(totomate[1]);" }}{PARA 11 "" 1 " " {XPPMATH 20 "6*<$\"\"\"\"\"&<%F$\"\"#F%<%F$\"\"$F%<#F$<$F$F'<&F$F'\" \"%F%<%F$F'F-<$F$F)" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "op(t otomate[4]);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6&<$\"\"\"\"\"&<%F$\"\"# F%<%F$\"\"$F%<&F$F'\"\"%F%" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 49 "Les 5/2 v\351rifieront que \347a marche effectivement !" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 36 "totototomate:=determinise(totomate);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%-totototomateG7'<*<#<#\"\"\"<#<$F)\" \"&<#<%F)\"\"#F,<#<&F)F/\"\"%F,<#<%F)F/F2<#<%F)\"\"$F,<#<$F)F7<#<$F)F/ <$%\"tG%\"oGF'<&F*F-F0F5<27%F5F>F*7%F5F=F07%F3F=F:7%F3F>F57%F8F>F'7%F8 F=F37%F-F>F57%F-F=F-7%F*F>F*7%F*F=F-7%F0F=F-7%F0F>F57%F'F>F'7%F:F=F:7% F:F>F87%F'F=F:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "nops(toto totomate[1]);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\")" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "nops(totototomate[4]);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"%" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 12 "F orc\351ment..." }}}}{MARK "17 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }