Komputila Bulea Algebro

Simpligo de Kongrueco Por Sinsekva Logiko

En la realeco, multaj sinsekvaj-logikoj povas esti difinitaj kun la ŝtattransiro-tabelo kun multaj neuzataj/sensignifaj ŝtattransiroj. Ni nomu ĉi tiujn kiel parte difinitan ŝtato-transiro-tabelo.

Ni bezonas la grafikan teorion por simpligi parte difinitan stato-transiro-tabelon. Ĉi tie, ni preterlasas la klarigon de la grafteorio. Tamen ni havas simplan serĉan algoritmon por trovi la 'kliko' de la stato-transiro-tabelo.

[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);

/*
La rezulto devus esti :
[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;
    }
  }
}

*/

Komenciĝi

Simpligo de Kongrueco Por Sinsekva Logiko

Serĉu ĉi tiun retejon :