http://metabolomics.jp/mediawiki/index.php?action=history&feed=atom&title=Aritalab%3ALecture%2FAutomata%2FIntro 2026-06-03T23:18:32Z Revision history for this page on the wiki MediaWiki 1.19.1 http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254336&oldid=prev 2012-05-07T03:02:47Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 03:02, 7 May 2012</td> </tr><tr><td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[Aritalab:Lecture/Automata|<del class="diffchange diffchange-inline">形式言語トップ</del>]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[Aritalab:Lecture/Automata|<ins class="diffchange diffchange-inline">形式言語理論のトップページヘ</ins>]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==準備==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==準備==</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254335&oldid=prev 2012-05-07T03:02:28Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 03:02, 7 May 2012</td> </tr><tr><td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">{{Automata</del>/<del class="diffchange diffchange-inline">Header}}</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">[[Aritalab:Lecture</ins>/<ins class="diffchange diffchange-inline">Automata|形式言語トップ]]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==準備==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==準備==</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254334&oldid=prev 2012-05-07T03:01:34Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 03:01, 7 May 2012</td> </tr><tr><td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{<del class="diffchange diffchange-inline">Header/</del>Automata}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{Automata<ins class="diffchange diffchange-inline">/Header</ins>}}</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==準備==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==準備==</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254333&oldid=prev 2012-05-07T03:01:22Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 03:01, 7 May 2012</td> </tr><tr><td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">{{Header/Automata}}</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==準備==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>==準備==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>===アルファベット===</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>===アルファベット===</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254332&oldid=prev 2012-05-07T02:58:16Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 02:58, 7 May 2012</td> </tr><tr><td colspan="2" class="diff-lineno">Line 25:</td> <td colspan="2" class="diff-lineno">Line 25:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>よって命題は成立します。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>よって命題は成立します。</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>;例. <del class="diffchange diffchange-inline">任意の言語において </del>L&amp;Phi; = &amp;Phi;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>;例. <ins class="diffchange diffchange-inline">任意の言語 L と空集合 &amp;Phi; において </ins>L&amp;Phi; = &amp;Phi;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&amp;Phi; <del class="diffchange diffchange-inline">は空集合なので、これに含まれる列はありません。</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>&amp;Phi; <ins class="diffchange diffchange-inline">は空集合なので、これに含まれる列はありません。連接を作っても空集合です。</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>;例. <del class="diffchange diffchange-inline">任意の言語において、L</del>&amp;epsilon; = L</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>;例. <ins class="diffchange diffchange-inline">任意の言語 L と空文字 &amp;epsilon; において L</ins>&amp;epsilon; = L</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>L に含まれる任意の列 x において x&amp;epsilon; = x が成立します。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>L に含まれる任意の列 x において x&amp;epsilon; = x が成立します。</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254331&oldid=prev 2011-06-02T08:05:53Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 08:05, 2 June 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Line 37:</td> <td colspan="2" class="diff-lineno">Line 37:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;div align=right&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;div align=right&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>次→　[[Aritalab:Lecture<del class="diffchange diffchange-inline">/Basic</del>/Automata/Regular|正則表現]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>次→　[[Aritalab:Lecture/Automata/Regular|正則表現]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/div&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/div&gt;</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254330&oldid=prev 2011-06-01T15:23:33Z

<p>moved <a href="/mediawiki/index.php?title=Aritalab:Lecture/Basic/Automata/Intro&amp;action=edit&amp;redlink=1" class="new" title="Aritalab:Lecture/Basic/Automata/Intro (page does not exist)">Aritalab:Lecture/Basic/Automata/Intro</a> to <a href="/wiki/Aritalab:Lecture/Automata/Intro" title="Aritalab:Lecture/Automata/Intro">Aritalab:Lecture/Automata/Intro</a></p> <table class='diff diff-contentalign-left'> <tr valign='top'> <td colspan='1' style="background-color: white; color:black;">← Older revision</td> <td colspan='1' style="background-color: white; color:black;">Revision as of 15:23, 1 June 2011</td> </tr></table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254329&oldid=prev 2010-11-25T03:07:20Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 03:07, 25 November 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Line 37:</td> <td colspan="2" class="diff-lineno">Line 37:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;div align=right&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;div align=right&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>次→　[[Aritalab:Lecture/Basic/Automata/Regular|<del class="diffchange diffchange-inline">正規表現</del>]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>次→　[[Aritalab:Lecture/Basic/Automata/Regular|<ins class="diffchange diffchange-inline">正則表現</ins>]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/div&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/div&gt;</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254328&oldid=prev 2010-10-26T06:53:21Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 06:53, 26 October 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>=準備=</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">=</ins>=準備<ins class="diffchange diffchange-inline">=</ins>=</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>===アルファベット===</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>===アルファベット===</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>記号の有限集合をアルファベットと言います。アルファベット &amp;Sigma; 上の列とは、記号を重複を許して並べたものです。例えば &amp;Sigma; = {0,1} なら 001010 は長さ 6 の列です。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>記号の有限集合をアルファベットと言います。アルファベット &amp;Sigma; 上の列とは、記号を重複を許して並べたものです。例えば &amp;Sigma; = {0,1} なら 001010 は長さ 6 の列です。</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata/Intro&diff=254327&oldid=prev 2010-10-26T06:52:46Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 06:52, 26 October 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Line 35:</td> <td colspan="2" class="diff-lineno">Line 35:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* &amp;epsilon; またはアルファベット1文字からなる列は回文である。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* &amp;epsilon; またはアルファベット1文字からなる列は回文である。</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* x が回文のとき、アルファベット1文字からなる任意のyについて yxy は回文である。</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* x が回文のとき、アルファベット1文字からなる任意のyについて yxy は回文である。</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;div align=right&gt;</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">次→　[[Aritalab:Lecture/Basic/Automata/Regular|正規表現]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;/div&gt;</ins></div></td></tr> </table>

Adm