以下の情報は初期のLaViT(LMNtal Editor)に沿ったもので,参考のために残してありますが,最新版のLaViTとは機能や画面表示等が異なる部分があります. 最新のインストール手順については Download(英語ページ)を参照してください.
1.起動 †
インストールが終了した後、ターミナルから ./run.sh を入力して(あるいは run.sh をダブルクリックして)LaViTを起動して下さい。
2.ロゴ表示 †
起動が始まるとロゴが表示されます。
既に手順3~手順5のインストールが終了している場合は手順8の画面に飛びます。
3.言語の設定 †
LaViT内で表示する言語を「英語」か「日本語」のどちらか選択して下さい。
4.SLIMインストール開始 †
SLIMのインストールを選択するとインストールが開始されます。
長いと5分~10分かかりますのでしばらくお待ちください。
5.SLIMインストール終了 †
インストールが終了したらボタンをクリックしてインストール画面を閉じてください。
正しくSLIMがインストールされれば手順3~手順5の設定は次回からスキップされます。
6エディタ †
左の画面でLMNtalプログラムを書くことができます。
ここでは1,2,3を足し算するプログラムを書いています。
7.LMNtalプログラム実行 †
下の「LMNtal(java)」ボタンを押すと右の画面に実行結果が表示されます。
8.UNYO UNYO実行 †
「UNYO」ボタンを押すと実行の様子が図で表示されます。
UNYO UNYO内の「Go Ahead」ボタンを押すと処理を1ステップ進めることができます。
9.SLIM実行 †
「SLIM」ボタンを押すとモデル検査器SLIMで通常実行されます。
LMNtal(java)処理系と同じ結果になっていることが分かります。
もしここで正しく実行されない場合はcygwinのインストールが正しく出来ていない、またはSLIMのインストールが正しく出来ていない可能性があります。
10.StateViewer実行 †
「StateViewer」ボタンを押すと実行経路が表示されます。(SLIMが実行できないとStateViewer?も実行できません。)
1,2,3の足し算の結果は1通りですが、その途中の経路は3通りあることが分かります。
11.状態表示 †
例えばその途中の状態をクリックする3,3となっていることが分かります。
他の状態もクリックすることで1,5と2,4となっていることが分かります。
12.複雑化 †
今度は足し算だけでなく、掛け算のルールも追加しました。
またそれぞれのルールにadd,mulというルール名をつけました。
このプログラムの実行経路を見てみると計算結果が5つあることが分かります。
13.ルール名の表示(1) †
StateViewer?のウィンドウ上で右クリックし、「Graph View」⇒「Show Rule」を選択すると適用ルールの表示がされます。
14.ルール名の表示(2) †
計算方法の組み合わせで計算結果が異なることが分かります。
このほかにも引き算や割り算を加えることで、例えば「4つの数字を四則演算して10にする」経路を見つけたりすることもできます。
15.ファイルの選択 †
保存されている他のLMNtalプログラムを開く場合はメニューから選択します。
16.起動 †
フォルダdemoの中には様々なLMNtalプログラムが入っています。
17.起動 †
「phi.lmn」は「食事する哲学者」の問題をLMNtalでモデル化したプログラムになっています。
18.起動 †
StateViewer?を起動して実行経路を表示すると、最終状態(赤い状態)が存在しプログラムが停止する可能性があることが分かります。
この様に停止しないつもり(仕様)で書いたプログラムでも停止する可能性(バグ)を発見することができます。
Attached files
- Attach file: cap20.jpg 824 download
[Information]
cap09.jpg 907 download
[Information]
cap16.jpg 856 download
[Information]
cap19.jpg 819 download
[Information]
cap01.jpg 799 download
[Information]
cap08.jpg 877 download
[Information]
cap02.jpg 759 download
[Information]
cap14.jpg 899 download
[Information]
cap17.jpg 835 download
[Information]
cap03.jpg 830 download
[Information]
cap15.jpg 883 download
[Information]
cap06.jpg 887 download
[Information]
cap13.jpg 890 download
[Information]
cap11.jpg 695 download
[Information]
cap12.jpg 963 download
[Information]
cap05.jpg 801 download
[Information]
cap18.jpg 815 download
[Information]
cap07.jpg 869 download
[Information]
cap04.jpg 715 download
[Information]
cap10.jpg 923 download
[Information]