BNFによる形式言語定義例
ペトリネット上で定義されるプレフィクスコード(半群・形式言語および語の組合せ論)
... 言語 $X,$ $\mathrm{Y}$ に対し , $s(X, \mathrm{Y})=\bigcup_{\mathrm{s}\in X,y\in}\mathrm{Y}(Sx,y)$ とする . ただし $X$ または Y が空集合の場合は それらの shuffle product は空集合とする. $w=a_{1}a_{2}a\ldots a_{n}$ , $(a_{1}\in T, n \geq 1)$ を $T$ ...
9
JAIST Repository: 形式仕様記述言語を用いた要求仕様書の形式化と検証仕様書の獲得手法に関する研究
... 式 ActivateTask Description の VDM++の関数の例である。public より全てのクラスか ら参照できる instance variables と返り値を扱うことのできる式である。ActivateT ask Description : T askID ==> T askID よりこの式はデータ型 TaskID から TaskID の型を返す式である事 が分かる。関数本体は、instance ...
117
変換ネットについてのいくつかの性質(半群・形式言語および語の組合せ論)
... あらまし ネット (特にペトリネット) は , 計算機による動作解析のモデルとしてよく 用いられる. ここでは, まず, 変換ネット間の同型写像を定義する . 次に, 変換ネット と呼ぶネットを用いて, 半群とその半群上の変換を表現する. 1 節では , これらに関連 する用語を定義し , ネット上の自己同型写像全体が群をなすことを示す. 続いて, 2 節 ...
11
組合せ構造の列挙とサンプリング(代数、形式言語、計算システム理論とその応用)
... 本稿では , 以降においてコーダルグラフ上で定義できる perfect sequence に対する列挙 アルゴリズムを提案する . コーダルグラフは幅広い応用が知られるグラフである . 例え ば, 統計ではコーダルグラフは分解可能モデルや , ベイジアンネットワークにおける周辺 確率の局所計算等にも活用されている . 数理工学においては , 半正定値計画問題 , 信号処 ...
7
1方向確率的可逆および1方向量子1カウンタオートマトン (代数系,形式言語および計算理論)
... 自由であるため, 1 方向決定性 1 カウンタオートマトン (IDICA) では認識できない. $-$ 方で, IDICA で認識可能な正則言語 $\{\{a, b\}^{*}a\}$ は IQICA で認識できないことを示す . One-way Probabilistic Reversible and Quantum One-counter Automata ...
9
JAIST Repository: 形式仕様記述言語を用いた要求仕様書の形式化と検証仕様書の獲得手法に関する研究
... 1. 形式化された仕様書 2. 実装と同じ観点を持った仕様書 １は、自然言語で書かれている為曖昧である仕様書の問題点に対する解決方法である。 形式化された仕様書は曖昧さが無くなるので実装と比較元が明確になる。本研究では形式 化の際 VDM++を使用する。２は、仕様書の記述では実装の動作を直接比較できること ...
4
group code の一般化(代数、形式言語、計算システム理論とその応用)
... $A^{*}/\equiv L$ 〆功は群であるか , または完全単純半群に 1 添加したものである. 集合 $I$ 上の同値関係 $\approx c$ を $i,$ $k\in I$ に対し $i \approx ck\Leftrightarrow\sum_{i}^{C}\equiv\sum_{k}^{C}$ mod $c_{\Sigma}(H)$ で定義する . $I’$ を $I$ 上の同値関係 $\approx ...
11
開発プロセスによる形式化と 双方向トレーサビリティのメリット
... 要求を1機能1目的で階層的にカテゴリで分類整理して、機能間に依存関係を持たせず 自分自身の機能目的達成のための要求を定義する。 更に、共通機能、処理ブロック（操作）、名詞（属性）、バリエーション（ポイント＋バリアン ト）を定義して要求モデルの洗練化して日本語によるDSL化を進める。 ...
23
形式言語における区別・説明の無限過程の定式化 (理論計算機科学の深化と応用)
... 例 2.2. $\mathcal{K}$ を言語族とするとき , 説明体系 PTdi’ $t$ を $PT_{dist}(\mathcal{K}, E)=2^{\mathcal{K}}$ としよう . この説明体系 は, 既知の例の集合 $E$ に関係なく , 既知の言語の族 $\mathcal{K}$ の任意の部分を許すようなものである. 学習機械 ...
8
HOKUGA: CMC(Computer-Mediated-Communication)における言語形式への気づき
... 法や語彙に注意を払い，印刷されたログ・データからは見ることのできない多くの書き直しをし ていることがわかった。学習者は自 が書いたメッセージの間違いに気づいて，Smith（2008）が 示した自己修正を行っただけではなく，発話の再構築や知識の想起なども行っていることがわ かった。これは，さまざまな思 プロセスを経ているためと推測される。しかしながら，書き込 み中のデータの思 ...
10
組合せ子 $L$ の非循環性とその応用(代数、形式言語、計算システム理論とその応用)
... 3 組合せ子 $L$ の非循環性 本節では , Bergstra ら [2] と同様の手法により , 組合せ子 $L$ の非循環性を証明する . ル項の長さと重みを次のように定義する . これらは , 文献 [2] の $S$ - 項の長さと重みの定 義中の組合せ子 $S$ を $L$ に置き換えたものである . ...
5
個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1
... 製品間の可変性を分析して可変ポイント（バリエーションポイント）と可変部分（バリアント）を定義する ①要求の物理と目的（機能）で分解整理してソフトウェアと双方向に紐付することでSPL開発を可能にする。 ②フレームワークをドメイン依存として構築すると中長期開発で 破綻するリスクがある。 状態遷移、状態に基づく操作、競合解決、バリエーション解決は、 多くの組込み制御システムに共通であ ...
10
セルオートマトンの近傍系関数 : 近傍系を変える(代数、形式言語、計算システム理論とその応用)
... CA の新しい定義は 4 項組み $(S, Q, f_{n}, \nu)$ である . ここで $f_{n}$ は $n$ 変数の局所関数で $\nu$ は近傍系関数 と呼ばれる単射 $\{0,1, \ldots, n-1\}arrow S$ である .\mbox{\boldmath $\nu$} は局所関数の各変数をそれぞれ異なるセル (近傍) に結合するものである . $\nu$ の値域 range $(\nu)$ ...
10
Domosiの問題について(半群・形式言語と計算機システム)
... たとえば , 上の例で , 89 と 385, また 196 と 778 はそれぞれ親戚数である. しか し 978 と 788 とは親戚数にはならないようである . 4884 からは 7 回目に , 4668664 という palindromic number になる. このように palindromi. $\mathrm{c}$ といったとき, そのケタ数が偶数のときと奇数のときがある. ...
7
代数群と形式代数群の変形の例について(ホップ代数と量子群)
... $\xi_{A}^{1}$ : $W(A)/F^{(\lambda)}arrow H^{1}(\hat{\mathcal{G}}^{(\lambda)},\hat{G}m,A)$ ; $a\vdash’ F_{p}(a : \lambda;X, Y)$ が得られる。 これらは更に次のように同型であることが分かる。 定理 5.1 $A$ を Z\mbox{\boldmath $\omega$})- 代数 , $\lambda$ を $A$ ...
14
戦前期経済小説の存在について―形式的定義による考察―
... 3. 戦前期経済小説 初めに，経済小説という言葉が戦前期に文学 者によって使用されていた証拠を二つ挙げる。 第一は板垣（1932）で，雑誌『新潮』に掲載さ れた「「経済小説」閑語」と題する寄稿である。 タイトルではカギ括弧を付しているものの，本 文では特に断りなく経済小説という言葉を用い ている。少なくとも板垣自身は，経済小説と呼 び得る著作が海外には存在すると認識してい た。 板 垣 は， ア ダ ム・ シ ャ ル ラ ー（Adam ...
19
形式言語による結び目の実現問題に関する幾つかの予想 (理論計算機科学の深化と応用)
... REJECT}_{n}^{\pm}a_{n}^{\mp}X_{1}a_{n}^{\pm}a_{n}^{\mp}X_{2}(X=X_{1}X_{2})\end{array}$ 例 $X=a_{1}^{+}a_{1}^{-}$ とおくとき, $\hat{X}=a_{1}^{+}a_{1}^{-}a_{2}^{+}a_{2}^{-},\hat{X}=a_{1}^{+}a_{2}^{+}a_{2}^{-}a_{1}^{-}$ ...
8
日中両言語における存在型アスペクト形式の認知言語学的研究
... 表 4-2 に示したように、「V 有」構文においては、「対象の存在様態」という意味の出現 率が一番高く（78.2%）、大半を占めている。「行為経験の存在」と「単なる状態 」という 2 つの意味用法はそれぞれ 14.6%と 2.8%にとどまり、使用頻度はそれほど高くない。 基本的な用法と派生的な用法を認定するには多くな基準がある。例えば、瀬戸（2007a,b） ...
302
オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110,
... - q 0 ∈ Q ： 開始状態 - F ⊆ Q ： 最終状態 ( あるいは、受理状態 ) の集合 決定性有限オートマトン 例： L = {x01y | x, y ∈ {0, 1} ∗ } を認識するオートマトン A - A = ({q 0 , q 1 , q 2 }, {0, 1}, δ, q 0 , {q 1 }) ...
5
日中両言語における存在型アスペクト形式の認知言語学的研究
... 実 例 に 基 づ く 体 系 的 な 分 析 は 皆 無 で あ る 。 本 研 究 は ， 日 本 語 の 「 V テ ア ル 」 と 中 国 語 の 「 V 有 」 お よ び 「 有 V」構文の特徴的な意味機能を，「場所的存在論」の観点を取り入れ，本動詞としての 存 在 構 文 を プ ロ ト タ イ プ と す る 参 照 点 構 造 と し て 捉 え 直 す こ と に よ っ て ， メ タ フ ァ ー 的 ...
17