Differences between revisions 13 and 14
⇤ ← Revision 13 as of 2005-05-03 12:37:37 →
Size: 3577
Editor: ZoomQuiet
Comment: 不行！没有安装成功dot
← Revision 14 as of 2005-05-03 12:38:08 → ⇥
Size: 2158
Editor: ZoomQuiet
Comment:
Deletions are marked like this. Additions are marked like this.
Line 11: Line 11:
= dot 解析！ =
 * '''AT&T 的脚本图形生成工具！'''
{{{
{ { {#!dot
digraph G {
  node [fillcolor=white, style=filled];
  0 [label="And"];
  0 -> 1;
  1 [label="a", shape=box];
  0 -> 2;
  2 [label="Or"];
  2 -> 1;
  2 -> 3;
  3 [label="b", shape=box];
  0 -> 4;
  4 [label="Or"];
  4 -> 3;
  4 -> 5;
  5 [label="c", shape=box];
}
} } }

}}} 生成::
{{{不行！没有安装成功dot
digraph G {
  node [fillcolor=white, style=filled];
  0 [label="And"];
  0 -> 1;
  1 [label="a", shape=box];
  0 -> 2;
  2 [label="Or"];
  2 -> 1;
  2 -> 3;
  3 [label="b", shape=box];
  0 -> 4;
  4 [label="Or"];
  4 -> 3;
  4 -> 5;
  5 [label="c", shape=box];
}
}}}
{{{
{ { {#!dot
digraph G {
  node [fillcolor=white, style=filled];
  0 [label="Or"];
  0 -> 1;
  1 [label="And"];
  1 -> 2;
  2 [label="a", shape=box];
  1 -> 3;
  3 [label="b", shape=box];
  0 -> 4;
  4 [label="And"];
  4 -> 2;
  4 -> 5;
  5 [label="c", shape=box];
}
} } }

}}} 生成::

{{{#!dot
digraph G {
  node [fillcolor=white, style=filled];
  0 [label="Or"];
  0 -> 1;
  1 [label="And"];
  1 -> 2;
  2 [label="a", shape=box];
  1 -> 3;
  3 [label="b", shape=box];
  0 -> 4;
  4 [label="And"];
  4 -> 2;
  4 -> 5;
  5 [label="c", shape=box];
}
}}}

(!) You can build such abstract syntax trees interactively using ["ltl2tgba"] with the option ''draw the formula''.

Please feel free to experiment here, after the four dashes below... and please do NOT create new pages without any meaningful content just to try it out!

Tip: Shift-click "HelpOnEditing" to open a second window with the help pages.

TableOfContents

WIKI测试区本区请任意修改, 测试各种语法.

{{{无修饰文字; 原文呈现测试}}}

  • 第一点 oo

  • 第二点 第二眯

  • 第三点

体验

斜体; 粗体; 粗斜; 混合 粗体 与斜体;

分隔线

Hi

Hi Hi

Hi Hi Hi

Hi Hi Hi

Hi Hi Hi

Formatting

italic bold typewriter

backtick typewriter (configurable) 

preformatted

Linking

HelpOnEditing InterWiki

http://purl.net/wiki/moin/ [http://www.python.org/ Python]

[email protected]

http://c2.com/sig/wiki.gif

Lists

Bullet

  • first
    1. nested and numbered
    2. numbered lists are renumbered
  • second blockquote
    • deeper

Glossary

Term
Definition

Drawing

drawing:mytest

Here is a new test

drawing:nremap

宏 macro

MonthCalendar

中文Wiki链接

可以使用中文的 Wiki 页面名来创建新页面

  • ["中文页面名"]
    • or
  • Self:中文页面名

    • 当然创建后的页面实际名称为 %E4%B8%AD%E6%96%87%E9%A1%B5%E9%9D%A2%E5%90%8D 完全的UTF-8 编辑字串，一样，对于搜索来讲不好

    • ["中文测试"]
    • ["链接到哪里去了？"]

WikiSandBox (last edited 2013-12-17 14:04:40 by lengxuezhixuan)