Warning : Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning : Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning : session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning : session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning : session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
http:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=240D%3A0%3A3108%3AF00%3A3E97%3AEFF%3AFEC8%3A15C3
miniwiki - 利用者の投稿記録 [ja]
2024-06-14T18:26:08Z
利用者の投稿記録
MediaWiki 1.31.0
正規言語の反復補題
2015-04-28T23:37:48Z
<p>240D:0:3108:F00:3E97:EFF:FEC8:15C3: /* 利用 */</p>
<hr />
<div>'''正規言語の反復補題'''([[英語|英]]: '''Pumping lemma for regular languages''')とは、全ての[[正規言語]]が持つ属性を与える[[補題]]である。[[反復補題]]一般の具体例の一つである。その主たる用法は、ある言語が[[正規言語]]でないことを証明することである。<br />
<br />
この反復補題は1961年に Y. Bar-Hillel、M. Perles、E. Shamir によって最初に示された<ref>Y. Bar-Hillel, M. Perles, E. Shamir, "On formal properties of simple phrase structure grammars", ''Zeitschrift für Phonetik, Sprachweissenshaft und Kommunikationsforschung'' '''14''' (1961) pp. 143-172. </ref>。<br />
<br />
== 形式的定義 ==<br />
<math>L</math> を正規言語とすると、<math>L</math> のみに依存する次のような反復長 <math>p\geq 1</math> が存在する。<math>L</math> に属する長さ <math>p</math> 以上の任意の文字列 <math>w</math> は <math>w=xyz</math> と書ける(つまり、 <math>w</math> は3つの部分文字列に分けられる)。ここで、 <math>x</math>、<math>y</math>、<math>z</math> は次の条件を満たす。<br />
<br />
# <math>|y|\geq 1</math><br />
# <math>|xy|\leq p</math><br />
# 全ての <math>i\geq 0</math> について、<math>xy^iz \in L</math><br />
<br />
''y'' は反復される部分文字列(0回を含む任意の回数繰り返され、結果として生成される文字列も ''L'' に属する)。|''y''| は文字列 ''y'' の長さを意味し、(1)の条件は ''y'' が少なくとも長さを持つ空でない文字列であることを意味している。(2)の条件は繰り返しが先頭から ''p'' 文字以内から開始されることを意味する。''x'' および ''z'' については特に制限はない。<br />
<br />
反復補題の形式的表現を以下に示す。<br />
<br />
<math><br />
\begin{array}{l} <br />
(\forall L\subseteq \Sigma^*) \\ <br />
\quad (\mbox{regular}(L) \Rightarrow \\ <br />
\quad ((\exists p\geq 1) ( (\forall w\in L) ((|w|\geq p) \Rightarrow \\ <br />
\quad ((\exists x,y,z \in \Sigma^*) (w=xyz \land (|y|\geq 1 \land |xy|\leq p \land <br />
(\forall i\geq 0)(xy^iz\in L)))))))) <br />
\end{array} <br />
</math><br />
<br />
== 解説 ==<br />
正規言語の反復補題(以下、単に反復補題と略記)は、全ての正規言語が持つと保証されている属性を表している。より正確に言えば、正規言語に属する文字列の持つ属性を表している。ここで扱う正規言語の文字列は長さ ''p'' 以上(''p'' は定数。形式的定義での ''p'' と同じ)で、これを反復長(pumping length)と呼ぶ。反復長は個々の正規言語によって異なる。''s'' が長さ ''p'' 以上のある文字列で、正規言語 ''L'' に含まれるものとする。反復補題によれば、何らかの方法で ''s'' を3つに分割して <math>s = xyz</math> としたとき、その(空ではない)中央部分 ''y''を(0回を含む)任意回数繰り返した文字列も ''L'' に含まれる。このように文字列の一部の複製を追加していくことを「反復; pumping」と呼び、そのため反復補題と呼ばれている。さらに、反復補題は ''xy'' の長さが最大でも ''p'' となるような ''s'' の分割があることを保証している。<br />
<br />
反復補題は、ある言語が正規言語ではないことを証明するのに使われる(補題と呼ばれるのはそのためである)。その場合、反復補題に示される属性をその言語に属する文字列が持たないことを示せばよい。<br />
<br />
正規言語が有限の場合、つまりその正規言語に含まれる文字列の長さに上限がある場合、<math>p</math>をその正規言語に含まれる最大の文字列長より大きいと仮定すると、反復補題の形式的表現の論理式は常に真となる。つまり反復補題が意味するところは、正規言語は有限か、無限であれば、任意の文字列の中間に表れる文字列に対する反復(任意回数の繰り返し)を、その正規言語が許容するということであり、いずれの場合でもないものは、正規言語ではないということである。<br />
<br />
== 利用 ==<br />
反復補題を使ってある言語が正規言語でないことを示すには、[[背理法]]を用いる。ある言語 ''L'' を正規言語と仮定し、''L'' に属する全文字列が正規言語の反復補題に従うものとする。そして、具体例によって反復補題の属性を持たない文字列があることを示し、仮定が間違っていることを導き出して、''L'' が正規言語ではないことを示す。すなわち、文字列 ''w'' &isin; ''L'' と整数 ''i'' の組合せで反復補題に反するものを探す。<br />
<br />
この反復補題を使えば、例えばアルファベット &Sigma; = {''a'', ''b''} を使った言語 ''L'' = {''a<sup>n</sup>b<sup>n</sup>'' : ''n'' &ge; 0} が正規言語でないことを証明できる。この場合、補題に出てくる ''w'', ''x'', ''y'', ''z'', ''p'', ''i'' をその言語に当てはめる。まず、''w'' = ''a<sup>p</sup>b<sup>p</sup>'' とする。この ''w'' を ''w'' = ''xyz''、|''xy''| &le; ''p''、|''y''| &ge; 1 となるよう分解し、''i'' &ge; 0 のとき ''xy<sup>i</sup>z'' が ''L'' に属するかどうかを確認する。<br />
<br />
どのように当てはめるかということについては、3通りの方法が考えられる。<br />
<br />
''y''が''a<sup>i</sup>b<sup>j</sup> (0 &le; i &le; n, 0 &le; j &le; n )''であるとすると、''y''を繰り返すと''a''と''b''が交互に出現することになり、''a<sup>n</sup>b<sup>n</sup>''という''L''の定義に反することになる。<br />
<br />
次に、|''xy''|=''p'' かつ |''z''|=''p'' としたとき、''xy'' は ''w'' の前半、すなわち ''p'' 個の ''a'' に対応する。|''y''| &ge; 1 なので、''y'' は1個以上の ''a'' で構成される。すると、''xy<sup>2</sup>z'' は ''a'' の個数と ''b'' の個数が違うことになり、''L'' の定義に反する(''i'' &ne; 1 について常に矛盾が生じる)。この場合、矛盾が導かれたので、反復補題が成り立たないことがわかる。<br />
<br />
もうひとつのパターンは、|''xy''|=''p''=|''w''| かつ |''z''|=0 の場合、つまり''x''=''a<sup>n</sup>''、''y''=''b<sup>n</sup>'', ''z''=<math>\epsilon</math>の場合であるが、これも同様に、''xy<sup>2</sup>z'' は ''a'' の個数と ''b'' の個数が違うことになり、''L'' の定義に反する。従って、''L''に属する文字列をどのように分割しても、反復補題から矛盾が導かれ、''L'' が正規言語であるという仮定に誤りがあることになる。従って、''L'' が正規言語でないことが証明される。<br />
<br />
括弧が正しく対応している言語('(' と ')' が同じ個数出現し、最初が '(' で最後が ')' となる言語)も同様の考え方で正規言語でないことが証明できる。ある ''p'' について、左括弧が先頭から ''p'' 個以上続く文字列では、''y'' には左括弧しか含まれない。従って ''y'' を反復すると、左括弧だけが多い文字列となって、定義に反することになる。<br />
<br />
== 証明 ==<br />
この証明法は、全ての正規言語にその言語を受理する[[有限オートマトン|有限状態機械]] (FSA) が存在するという事実を利用している。正規言語が有限であれば、十分に大きい<math>p</math>に対して <math>|w|\geq p</math> が常に偽になるため、反復補題が真であることは自明である( <math>|w|\geq p</math> が偽であれば、 <math>(|w|\geq p) \Rightarrow ((\exists x,y,z \in \Sigma^*) (w=xyz \land (|y|\geq 1 \land |xy|\leq p \land (\forall i\geq 0)(xy^iz\in L))))</math> という論理式全体は、 <math>\Rightarrow</math> の右側の式の真偽値によらず真になる。そのため、十分に大きい<math>p</math>に対して、この条件式は真となるため、正規言語が有限であれば、 <math>\exists p\geq 1</math> という条件を常に満たすことになる)。<br />
<br />
正規言語が無限の場合、その言語を受理する最小 FSA が存在しなければならない。FSA の状態数は有限であるから、その個数を反復長 ''p'' とする。文字列長が ''p'' 以上の場合、反復される状態が少なくとも1つ存在する(この状態を ''S'' とする)。状態 ''S'' から ''S'' への遷移は何らかの文字列に対応する。この文字列を反復補題における ''y'' とすれば、''y'' を含まない文字列(繰り返し部分に相当する遷移をしない場合)も、''y'' を繰り返す文字列もFSAで受理されるため、反復補題が成り立つことがわかる。<br />
<br />
例を見てみればより理解しやすいだろう。以下の[[状態遷移図]]は、ある FSA を示している。<br />
<br />
[[画像:An automat accepting the language a(bc)*d.png]]<br />
<br />
この FSA は文字列 '''abcbcd''' を受理する。この文字列は状態数より多くの文字からなるので、状態を繰り返していることがわかる。この例では q1 と q2 が繰り返される状態である。文字列 '''abcbcd''' の部分文字列 '''bcbc''' は、状態 q1 から始まって状態 q1 に戻る遷移で形成されるので、この文字列部分はFSAによる繰り返しが可能であり、'''abcbcbcbcd''' のような文字列も受理される。また、その遷移のループを通らない文字列 '''ad''' も同様に受理される。反復補題に当てはめると、文字列 '''abcbcd''' は、''x'' に '''a'''、''y'' に '''bc'''、''z'' に '''bcd''' が対応する。もちろん、他の当てはめ方もある(''y'' に '''bcbc''' を対応させる)が、|''xy''| &le; ''p'' を満たしていない。<br />
<br />
== 反復補題の不十分性 ==<br />
反復補題は、ある言語が正規言語であるための十分条件ではないことに注意されたい。つまり、正規言語以外でもこの反復補題が成り立つことがある。言語 ''L'' について反復補題が成り立たない場合、''L'' が正規言語でないことがわかる。しかし、反復補題が成り立ったとしても、''L'' が必ず正規言語であるとは言えない。例えば、言語 ''{uu<sup>R</sup>v : u,v <math>\in</math> {0,1}<sup>+</sup>}''(アルファベット ''{0,1}'' で構成される[[回文]]形式の空でない文字列に別の文字列が付属したもの)は正規言語ではないが、''p'' = 4(''w=uu<sup>R</sup>v'' の長さが 4 以上の場合)で反復可能である。''u'' の長さが 1 であれば、|''v''| &ge; 2 であり、''v'' の先頭の文字を ''y'' とすればよい。さもなくば、''u'' の先頭文字を ''y'' とする(''k'' &ge; 2 のときの ''y<sup>k</sup>'' は空でない回文 ''yy'' で始まる文字列を構成し、残りを ''v'' と見なせば、この言語に属することになる)。正規言語のより実用的な判定方法については[[マイヒル-ネローデの定理]]を参照されたい。ある言語が正規言語であることを証明する典型的な方法は、その言語を受理する[[有限オートマトン]]か[[正規表現]]を構築することである。<br />
<br />
== 一般化された「正規言語の反復補題」 ==<br />
言語 ''L'' が正規言語であるとき、ある数(反復長)''p'' > 0 について |''w''| &ge; ''p'' であるような ''L'' の任意の文字列 ''uwv'' を以下のように表現できる。<br />
:''uwv'' = ''uxyzv''<br />
ここで文字列 ''x''、''y''、''z'' について |''xy''| &le; ''p'' と |''y''| &gt; 0 と次が成り立つ。<br />
:全ての ''i'' &ge; 0 の整数 ''i'' について ''uxy<sup>i</sup>zv'' が ''L'' に属する。<br />
<br />
このバージョンでは言語に要求する仕様がより厳密に表されているため、より多くの非正規言語を正規言語でないと証明できる。<br />
<br />
== 参考文献 ==<br />
<references/><br />
* {{cite book|author = Michael Sipser | date = 1997年 | title = Introduction to the Theory of Computation | publisher = PWS Publishing | id = ISBN 0-534-94728-X}} Section 1.4: Nonregular Languages, pp.77&ndash;83.<br />
* John E. Hopcroft and Jeffrey D. Ullman, ''Introduction to Automata Theory, Languages and Computation'', Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-02988-X. ''(See chapter 3.)''<br />
<br />
{{デフォルトソート:せいきけんこのはんふくほたい}}<br />
[[Category:形式言語]]<br />
[[Category:補題]]<br />
[[Category:数学に関する記事]]<br />
<br />
[[de:Pumping-Lemma#Reguläre Sprachen]]</div>
240D:0:3108:F00:3E97:EFF:FEC8:15C3
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46