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

<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 6:</td> <td colspan="2" class="diff-lineno">Line 6:</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 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/Automata|形式言語トップ]]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/Intro|準備]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/Intro|準備]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/Regular|正則言語　(正規言語）]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/Regular|正則言語　(正規言語）]]</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata&diff=254307&oldid=prev 2012-01-06T02:55:30Z

<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:55, 6 January 2012</td> </tr><tr><td colspan="2" class="diff-lineno">Line 9:</td> <td colspan="2" class="diff-lineno">Line 9:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/Regular|正則言語　(正規言語）]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; 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># [[Aritalab:Lecture/Automata/ContextFree|文脈自由言語]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/ContextFree|文脈自由言語]]</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/Automata/PushDown|プッシュダウンオートマトン]]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/TM|チューリング機械]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/TM|チューリング機械]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Algorithm/NP|クラスNP]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Algorithm/NP|クラスNP]]</div></td></tr> </table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Automata&diff=254306&oldid=prev 2011-07-07T05:36: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 05:36, 7 July 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Line 10:</td> <td colspan="2" class="diff-lineno">Line 10:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/ContextFree|文脈自由言語]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/ContextFree|文脈自由言語]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/TM|チューリング機械]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/TM|チューリング機械]]</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/Algorithm/NP|クラスNP]]</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;"></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&diff=254305&oldid=prev 2011-06-01T15:38:59Z

<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 15:38, 1 June 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Line 6:</td> <td colspan="2" class="diff-lineno">Line 6:</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># [[Aritalab:Lecture<del class="diffchange diffchange-inline">/Basic</del>/Automata/Intro|準備]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/Intro|準備]]</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'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div># [[Aritalab:Lecture<del class="diffchange diffchange-inline">/Basic</del>/Automata/ContextFree|文脈自由言語]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Automata/ContextFree|文脈自由言語]]</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>/TM|チューリング機械]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/<ins class="diffchange diffchange-inline">Automata</ins>/TM|チューリング機械]]</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;"></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&diff=254304&oldid=prev 2011-06-01T15:23:12Z

<p>moved <a href="/mediawiki/index.php?title=Aritalab:Lecture/Basic/Automata&amp;action=edit&amp;redlink=1" class="new" title="Aritalab:Lecture/Basic/Automata (page does not exist)">Aritalab:Lecture/Basic/Automata</a> to <a href="/wiki/Aritalab:Lecture/Automata" title="Aritalab:Lecture/Automata">Aritalab:Lecture/Automata</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&diff=254303&oldid=prev 2010-10-30T10:55:14Z

<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 10:55, 30 October 2010</td> </tr><tr><td colspan="2" class="diff-lineno">Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</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> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">「自然界に存在する記号列に規則性などないだろう」と思う人も多いでしょうが、タンパク質の翻訳はコドン表という正規言語を使って書かれています。</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">「自然界に存在する記号列に規則性などないだろう」と思う人も多いでしょうが、タンパク質の翻訳はコドン表という正則言語を使って書かれています。</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">また真核生物の遺伝子構造はエキソンとイントロンの繰り返しが非コード領域に挟まれたもので、これも正規言語で記述できます。</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">また真核生物の遺伝子構造はエキソンとイントロンの繰り返しが非コード領域に挟まれたもので、これも正則言語で記述できます。</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">このように文字列に「構造」が観察される場合、こうした構造の複雑さの程度を理論的に解析するのが言語理論です。ここでは以下の概念を簡単に説明しています。</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">文字列の中に「構造」が観察される場合、こうした構造の複雑さの程度を理論的に解析するのが形式言語理論です。ここでは以下の概念を簡単に説明しています。</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>&#160;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Basic/Automata/Intro|準備]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Basic/Automata/Intro|準備]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Basic/Automata/Regular|正則言語　(正規言語）]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Basic/Automata/Regular|正則言語　(正規言語）]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Basic/Automata/ContextFree|文脈自由言語]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div># [[Aritalab:Lecture/Basic/Automata/ContextFree|文脈自由言語]]</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/TM|チューリング機械]]</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;"></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&diff=254302&oldid=prev 2010-10-30T02:18:41Z

<p>New page: ==形式言語理論== タンパク質は塩基やアミノ酸の列（すなわち記号列）が並んだものとみなすことができます。 「自然界に存在する記号列...</p> <p><b>New page</b></p><div>==形式言語理論==<br /> <br /> タンパク質は塩基やアミノ酸の列（すなわち記号列）が並んだものとみなすことができます。<br /> 「自然界に存在する記号列に規則性などないだろう」と思う人も多いでしょうが、タンパク質の翻訳はコドン表という正規言語を使って書かれています。<br /> また真核生物の遺伝子構造はエキソンとイントロンの繰り返しが非コード領域に挟まれたもので、これも正規言語で記述できます。<br /> このように文字列に「構造」が観察される場合、こうした構造の複雑さの程度を理論的に解析するのが言語理論です。ここでは以下の概念を簡単に説明しています。<br /> # [[Aritalab:Lecture/Basic/Automata/Intro|準備]]<br /> # [[Aritalab:Lecture/Basic/Automata/Regular|正則言語　(正規言語）]]<br /> # [[Aritalab:Lecture/Basic/Automata/ContextFree|文脈自由言語]]<br /> <br /> <br /> ===よく知りたい人のために===<br /> 言語理論の教科書は何といっても以下の 2 冊でしょう。<br /> * オートマトン 言語理論 計算論 I　(Hopcroft, Motwani, Ullman)<br /> * オートマトン 言語理論 計算論 II (Hopcroft, Motwani, Ullman)</div>

Adm