検索結果

'''strlen'''は[[C言語]]の[[標準Cライブラリ]]関数の1つであり、[[文字列]]の長さのバイト数を返す。[[ヘッダーファイル]] <code>string.h</code> にて宣言されている。 <code>strlen(str)</code>は、文字列<code>str</code>から最後の[[ヌル文字|NULLコード]]を除いたバイト数を返す。例えば<code>strlen("abc")</cod …

…'' ([[英語|英]]: alphabet) または'''字母'''とは、文字や数字などといったような「[[記号]]」の有限の集合のこと。有限の[[文字列]]は、アルファベットからなる文字の有限の並びである。特に、{0, 1}からなるアルファベットはバイナリアルファベットと呼ばれる。また、二進列 (bin …

…^n c^n : n \ge 1 \} </math> であり、これは[[文脈自由言語]]ではない。文脈依存文法では生成規則を適用する際に複数の文字（文字列）に対してパターンマッチさせるようになっており、マッチすべき文字数に制限はない。一方で文脈自由文法ではパターンマッチするのは常に一文字（非終端記号）であ …

…'レーベンシュタイン距離'''（レーベンシュタインきょり、{{lang-en-short|Levenshtein distance}}）は、二つの[[文字列]]がどの程度異なっているかを示す[[距離空間|距離]]の一種である。'''編集距離'''（へんしゅうきょり、{{lang-en-short|edit 以下に、文字数 <var>lenStr1</var> の文字列 <var>str1</var> と、文字数 <var>lenStr2</var> の 文字列 <var>str2</var> 間のレーベンシュタイン距離を求める[[擬似コード]]を示す。このコードにおいて ''d''[''i1'',''i2'' …

このとき、文字列 ''u''、''v''、''x''、''y''、''z'' について |''vxy''| ≤ ''p''、|''vy''| ≥ 1、そして以下が成り立 なお、文字列 ''a'' と ''b'' があるとき ''ab'' はその連結した文字列を表し、|''a''| は ''a'' の長さを表す。また、''a<sup> …

…'''空文字列'''（くうもじれつ・からもじれつ、{{lang-en-short|'''empty string'''}}）とは、長さが0の一意な[[文字列]]であり、文字列における[[空集合]]である。主に[[コンピュータ]]、特に[[プログラミング言語]]において用いられる用語である。'''ヌル文字列' * 文字列が文字への[[ポインタ (プログラミング)|ポインタ]]で表される[[C言語]]などでは、ヌル文字へのポインタで表される[[文字列]]となる。ゼロで埋められたメモリ領域を[[ヌル終端文字列]]として解釈すると空文字列となる。 …

アルゴリズム情報理論は、[[文字列]]（または他の[[データ構造]]）について[[コルモゴロフ複雑性]]や他の[[複雑性|複雑さ]]の尺度を研究する分野である。数学的オブジェクトの多くは …

# 帰納言語は、その言語を受容する[[チューリングマシン]]があったとき、その言語に属する[[文字列]]を入力したとき常に停止して受容し、属さない文字列を入力したとき常に停止して拒絶するような言語である。つまり、このチューリングマシンは常に停止する。こ …

…ロ・ウィンクラー距離'''（ジャロ・ウィンクラーきょり、{{lang-en-short|Jaro–Winkler distance}}）とは2つの[[文字列]]の類似度の指標である。1989年にマシュー・A・ジャロによって提案された'''ジャロ距離'''の変種として1990年にウィリアム・E・ウィンクラーが 文字列 ''s''1 と ''s''2 のジャロ類似性 ''sim_j'' は以下の式で表される。 …

…具体例によって反復補題の属性を持たない文字列があることを示し、仮定が間違っていることを導き出して、''L'' が正規言語ではないことを示す。すなわち、文字列 ''w'' &isin; ''L'' と整数 ''i'' の組合せで反復補題に反するものを探す。 …cbcbcd''' のような文字列も受理される。また、その遷移のループを通らない文字列 '''ad''' も同様に受理される。反復補題に当てはめると、文字列 '''abcbcd''' は、''x'' に '''a'''、''y'' に '''bc'''、''z'' に '''bcd''' が対応する。もちろ …