現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the source.
- Go to トップページ.
LMNtalEditor?とは †
LMNtalEditor?とはLMNtalの統合開発環境です。
一つのユーザインターフェースでプログラムを書きながらLMNtal処理系やLMNtalモデル検査器を容易に操作することができます。また複雑な設定やインストールを必要しないため、特別な知識がない人でも容易にプログラミングや検証を行うことができます。
LMNtalとは †
LMNtalは階層グラフ書き換えに基づく並行言語モデルです。
LMNtal のプログラムはプロセスと呼ばれる4つの要素
- アトム
- リンク
- 膜
- ルール(書き換え規則)
から構成されます。
アトム同士がリンクで連結しグラフを構築します。
膜はアトムの多重集合を構成し,多重集合は入れ子にすることで階層構造をつくります。
そしてルール(書き換え規則)によって階層グラフを動的に変化させることで複雑なデータ構造を操作するプログラムや多重集合書き換えを伴うプログラムを簡潔に記述することができます。