モナの

式を有限オートマトンに変換するツール
今すぐダウンロード

モナの ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • GPL
  • 出版社名:
  • BRICS
  • オペレーティングシステム:
  • Windows All
  • ファイルサイズ:
  • 904 KB

モナの タグ


モナの 説明

MONAは、式を有限状態オートマトンに変換する迅速な手段をあなたに提供するために作成された簡単なユーティリティです。 式は、検索パターン、反応システムの時間的性質、解析木の制約などを発現してもよい.MONAは、コンパイルから生じるオートマトンを分析し、「有効」またはカウンタ例を印刷します。


モナの 関連ソフトウェア

RobotVisionCad.

RobotVisionCADまたは短いRVCADは、画像処理とコンピュータビジョンのためのコンピュータ支援設計です。 RVCADのGUIは、ユーザーがイメージプロセッサの要素をドラッグアンドドロップするビューをユーザーに提示し、VISを表示します。 ...

169 5.3 MB

ダウンロード