X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=pres-typex%2Fex1.html;fp=pres-typex%2Fex1.html;h=943d6a13c318069634888ad1c56ec1a3771752ab;hb=00a1f062a9f255b188f15b1d5373b5d73901c675;hp=0000000000000000000000000000000000000000;hpb=db35e40feec7ef37f162d4771e9523ab33843565;p=hacks%2FsimpleWebSlides.git diff --git a/pres-typex/ex1.html b/pres-typex/ex1.html new file mode 100644 index 0000000..943d6a1 --- /dev/null +++ b/pres-typex/ex1.html @@ -0,0 +1,572 @@ + + + + + + +
Internal UID: 0 +States: { q₀ q₁ q₂ q₃ q₄ q₅ } +Number of states: 6 +Starting states: { q₀ } +Selection states: { q₅ } +Ranked states: 0:{ q₀ q₁ q₂ q₃ q₄ q₅ } +Alternating transitions: +_______________________________________________ +q₁, ∑ → •q₀ +_______________________________________________ +q₂, ∑ → •q₁ +_______________________________________________ +q₃, ∑ → ↑q₂ ∧ ↑? ∨ ↑q₃ ∧ ↑? ∨ ←q₃ ∧ ←? +_______________________________________________ +q₄, {M} → •q₃ ∧ ¬is-attribute? ∧ is-element? +q₄, ∑-{M} → ⊥ +_______________________________________________ +q₅, ∑ → •q₄ +_______________________________________________ +
+
+ +
+
+ + + + +
+
+ + + +#document + +A + +@id + + + +@pre + + +@post + + +@xml:lang + + +B + +@id + + + +@pre + + +@post + + +C + +@id + + + +@pre + + +@post + + +#text + + +D + +@id + + + +@pre + + +@post + + +#text + + +E + +@id + + + +@pre + + +@post + + +F + +@id + + + +@pre + + +@post + + +G + +@id + + + +@pre + + +@post + + +#text + + +H + +@id + + + +@pre + + +@post + + +@idrefs + + +#text + + +I + +@id + + + +@pre + + +@post + + +J + +@id + + + +@pre + + +@post + + +#text + + +K + +@id + + + +@pre + + +@post + + +#text + + +L + +@id + + + +@pre + + +@post + + +#comment + + +#text + + +M + +@id + + + +@pre + + +@post + + +#text + + +N + +@id + + + +@pre + + +@post + + +O + +@id + + + +@pre + + +@post + + +#text + + +P + +@id + + + +@pre + + +@post + + +#text + + +?myPI + + +Q + +@id + + + +@pre + + +@post + + +@idrefs + + +#text + + +R + +@id + + + +@pre + + +@post + + +S + +@id + + + +@pre + + +@post + + +#text + + +T + +@id + + + +@pre + + +@post + + +#text + + +U + +@id + + + +@pre + + +@post + + +V + +@id + + + +@pre + + +@post + + +#text + + +W + +@id + + + +@pre + + +@post + + +#text + + +X + +@id + + + +@pre + + +@post + + +Y + +@id + + + +@pre + + +@post + + +#text + + +Z + +@id + + + +@pre + + +@post + + +@idrefs + + +@xml:lang + + +#text + + +