計算布爾代數

順序邏輯的兼容性簡化

實際上，許多順序邏輯可以用具有許多未使用/不相關狀態轉換的狀態轉換錶來定義。讓我們將它們稱為部分定義的狀態轉換錶。

我們需要圖論來簡化部分定義的狀態轉換錶。這裡，我們跳過圖論的解釋。儘管如此，我們有一個簡單的搜索算法來查找狀態轉換錶的 'clique'。

[table]=StateTransition()
{
	transitions
	{
1: [1] -> 1/1'b0, [2] -> 4/1'b0, /*          */ [4] -> 2/1'b1;
2: [1] -> 3/1'b1, /*          */ /*          */ [4] -> 2/1'b1;
3: [1] -> 3/1'b1, [2] -> 4/1'b0, /*          */ [4] -> 2/1'b1;
4: [1] -> 1/1'b0, [2] -> 4/1'b0  /*          */ /*         */;
	}
}
[simtable]=Simplification.Compatibility(table);

Print("result:");
Print(simtable);

/*
結果應該是 :
[table]=StateTransition()
{
  transitions
  {
1: [1] -> 1/1'b0, [2] -> 4/1'b0,                [4] -> 2/1'b1;
2: [1] -> 3/1'b1,                               [4] -> 2/1'b1;
3: [1] -> 3/1'b1, [2] -> 4/1'b0,                [4] -> 2/1'b1;
4: [1] -> 1/1'b0, [2] -> 4/1'b0                              ;
  }
  simplification
  {
    tabletype = "incompletely-defined" ;
    algorithm = "compatibility" ;
    grouping
    {
      1:1,4;
      2:2,3;
    }
    transitions
    {
      1: [1] -> 1/1'b0, [2] -> 1/1'b0,                [4] -> 2/1'b1;
      2: [1] -> 2/1'b1, [2] -> 1/1'b0,                [4] -> 2/1'b1;
    }
  }
}

*/

開始使用

順序邏輯的兼容性簡化

搜索本網站 :