矩阵生成装置、矩阵生成方法和矩阵生成程序

摘要

矩阵生成装置(100)具有树构造生成部(110)、根处理部(120)、节点处理部(130)。树构造生成部(110)生成表现逻辑式F的二叉树T。根处理部(120)生成与逻辑式F的要素中的由二叉树T的根表现的要素的种类对应的矩阵M。节点处理部(130)依次选择二叉树T的根以外的节点，对矩阵M进行与由具有子节点的节点表现的要素的种类对应的操作，将由不具有子节点的节点表现的要素即变量与矩阵M的一行对应起来。节点处理部(130)在二叉树T的节点的选择结束后，输出矩阵M和映射ρ。映射ρ是表示与矩阵M的各行对应的变量的信息。

主权项

一种矩阵生成装置，其特征在于，所述矩阵生成装置具有：树构造生成部，其接受逻辑式的输入，生成表现所述逻辑式的树构造数据；根处理部，其判定所述逻辑式的要素中的、由所述树构造生成部生成的树构造数据的根表现的要素的种类，生成与判定出的种类对应的矩阵；以及节点处理部，其在存储器中存储由所述根处理部生成的矩阵，并且，依次选择由所述树构造生成部生成的树构造数据的所述根以外的节点，在选择了具有子节点的节点的情况下，对所述存储器中存储的矩阵进行与所述逻辑式的要素中的由选择出的节点表现的要素的种类对应的操作，在选择了不具有子节点的节点的情况下，将所述逻辑式的要素中的由选择出的节点表现的要素即变量与所述存储器中存储的矩阵的一行对应起来，在该树构造数据的节点的选择结束后，输出所述存储器中存储的矩阵和表示与该矩阵的各行对应的变量的信息。