代码中的真值表?如何构造状态机?

我有一个(有点)大的真值表/状态机,我需要在我的代码(嵌入式C)中实现它。我预计这个状态机的行为规范将来会发生变化,因此我希望在将来能够轻松地修改它。

u8 newState[] = decisionTable[input1][input2][input3][input4];

setOutputPin( LINE_0, newState[0] );
setOutputPin( LINE_1, newState[1] );
setOutputPin( LINE_2, newState[2] );
setOutputPin( LINE_3, newState[3] );

但为了达到这个目的,我必须做一个相当混乱的表格,如下所示:

static u8 decisionTable[][][][][] =
 {{{{ 0, 0, 0, 0 },
    { 0, 0, 0, 0 }},
   {{ 0, 0, 0, 0 },
    { 0, 0, 0, 0 }}},
  {{{ 0, 0, 1, 1 },
    { 0, 1, 1, 1 }},
   {{ 0, 1, 0, 1 },
    { 1, 1, 1, 1 }}}},
 {{{{ 0, 1, 0, 1 },
    { 1, 1, 1, 1 }},
   {{ 0, 1, 0, 1 },
    { 1, 1, 1, 1 }}},
  {{{ 0, 1, 1, 1 },
    { 0, 1, 1, 1 }},
   {{ 0, 1, 0, 1 },
    { 1, 1, 1, 1 }}}};

这些嵌套的方括号可能有点让人困惑——对于如何在代码中保持一个漂亮的表,有人有更好的想法吗?

谢谢

通过合并每个人的输入(谢谢——我希望我能“接受”其中的3或4个答案),我想我会尝试将其作为二维数组。我将使用一个小的移位宏索引到我的数组中:

#define SM_INPUTS( in0, in1, in2, in3 ) ((in0 << 0) | (in1 << 1) | (in2 << 2) | (in3 << 3))

static u8 decisionTable[][] = {
{ 0, 0, 0, 0 },
{ 0, 0, 0, 0 },
{ 0, 0, 0, 0 },
{ 0, 0, 0, 0 },
{ 0, 0, 1, 1 },
{ 0, 1, 1, 1 },
{ 0, 1, 0, 1 },
{ 1, 1, 1, 1 },
{ 0, 1, 0, 1 },
{ 1, 1, 1, 1 },
{ 0, 1, 0, 1 },
{ 1, 1, 1, 1 },
{ 0, 1, 1, 1 },
{ 0, 1, 1, 1 },
{ 0, 1, 0, 1 },
{ 1, 1, 1, 1 }};

然后我可以像这样访问我的真值表:

decisionTable[ SM_INPUTS( line1, line2, line3, line4 ) ]

我来试一试,看看结果如何。我还将用更有用的#定义替换0和1,这些定义表达了每个状态的含义,以及解释每行输出的输入的/**/注释。谢谢大家的帮助!