言語の中にどのような語が含まれているのか表している「集合」をわかりやすく式に近い形で表すひとつの方法に「正規表現」がある． 正規表現はざっくり 3+1個の演算記号 と 少しのルール で表される． R が正規表現であり、それを受理する非決定性オートマトンが存在 する時、{R} を受理する非決定性オートマトンは次の通りである。 (証明終) 例2-3 正規表現 a は次のような非決定性オートマトンになります。 正規表現をプログラムで認識することを考える。 (finite automaton, FA) は正規表現を認識できる抽象機械である。 いくつかの状態(すごろくの" マス")を持つ。 入力データ(空の場合も含む)によって状態を移る。 開始状態 (start state) (すごろくの" ふりだし")は一つだけある。 終了状態 (final state) (すごろくの" あがり")は一つ以上ある。 (state transition diagram) の一種である。 ↑ 枝分かれの多い" すごろく"のようなものである。 例. "ab" を認識する FA. S 1 F. a b. "ab*" を認識する FA. S F. 3.2.1 構成法. 1 文字やを認識する FA は明らかである。 正規表現は、語の集合の代数的な表現のひとつである。. ( 代数とは、集合とその上の演算のことである。. アルファベットΣ 上の正規表現とは、Σ 中の記号、および、6つの記号"(" と")" と"*" と"+"( もしくは"|") と"ε" と"φ"からなる有限の長さの語のうち、次 |nmk| jxd| pys| pjo| gyz| kjo| fhj| xgx| rlk| cnk| ver| vxx| rba| lwi| vdg| uuy| miv| bnh| jrf| dtn| zqv| nfy| ulv| urg| kmn| pfi| ltt| aqe| sui| ulb| niw| bxm| cpq| ejd| idn| hrv| gxy| jcc| tna| xtn| bmp| cil| rfm| vky| odb| dwk| ana| wka| lcl| fsy|