gistfile1.txt

3.3번 
(A) 각 쌍별 다이어그램

3쌍 10개
{  || 3C }
{ 1P || 2C,1B }
{ 2P || 1C,2B }
{ 3P || 3B }
{ 1C || 2C }
{ 2C || 1C }
{ 3B || 3P }
{ 1C,2B || 2P }
{ 2C,1B || 1P }
{ 3C ||  }

4쌍 13개
{  || 4C }
{ 1P || 3C,1B }
{ 2P || 2C,2B }
{ 3P || 1C,3B }
{ 4P || 4B }
{ 1C || 3C }
{ 2C || 2C }
{ 3C || 1C }
{ 4B || 4P }
{ 1C,3B || 3P }
{ 2C,2B || 2P }
{ 3C,1B || 1P }
{ 4C ||  }

5쌍 16개
{  || 5C }
{ 1P || 4C,1B }
{ 2P || 3C,2B }
{ 3P || 2C,3B }
{ 4P || 1C,4B }
{ 5P || 5B }
{ 1C || 4C }
{ 2C || 3C }
{ 3C || 2C }
{ 4C || 1C }
{ 5B || 5P }
{ 1C,4B || 4P }
{ 2C,3B || 3P }
{ 3C,2B || 2P }
{ 4C,1B || 1P }
{ 5C ||  }




(B) 상태 전이 다이어그램
{  || 5C }
    {  | 1P | 4C,1B } -> { 1P || 4C,1B }
    {  | 2P | 3C,2B } -> { 2P || 3C,2B }
    {  | 3P | 2C,3B } -> { 3P || 2C,3B }
    {  | 1C | 4C } -> { 1C || 4C }
{ 1P || 4C,1B }
    {  | 1P | 4C,1B } -> {  || 5C }
    { 1P | 1P | 3C,2B } -> { 2P || 3C,2B }
    { 1P | 2P | 2C,3B } -> { 3P || 2C,3B }
    { 1P | 3P | 1C,4B } -> { 4P || 1C,4B }
    { 1P | 1B | 4C } -> { 1C || 4C }
    { 1P | 1C,1B | 3C } -> { 2C || 3C }
{ 2P || 3C,2B }
    { 1P | 1P | 3C,2B } -> { 1P || 4C,1B }
    { 2P | 1P | 2C,3B } -> { 3P || 2C,3B }
    {  | 2P | 3C,2B } -> {  || 5C }
    { 2P | 2P | 1C,4B } -> { 4P || 1C,4B }
    { 2P | 3P | 5B } -> { 5P || 5B }
    { 2P | 2B | 3C } -> { 2C || 3C }
{ 3P || 2C,3B }
    { 2P | 1P | 2C,3B } -> { 2P || 3C,2B }
    { 3P | 1P | 1C,4B } -> { 4P || 1C,4B }
    { 1P | 2P | 2C,3B } -> { 1P || 4C,1B }
    { 3P | 2P | 5B } -> { 5P || 5B }
    {  | 3P | 2C,3B } -> {  || 5C }
    { 3P | 3B | 2C } -> { 3C || 2C }
{ 4P || 1C,4B }
    { 3P | 1P | 1C,4B } -> { 3P || 2C,3B }
    { 4P | 1P | 5B } -> { 5P || 5B }
    { 2P | 2P | 1C,4B } -> { 2P || 3C,2B }
    { 1P | 3P | 1C,4B } -> { 1P || 4C,1B }
{ 5P || 5B }
    { 4P | 1P | 5B } -> { 4P || 1C,4B }
    { 3P | 2P | 5B } -> { 3P || 2C,3B }
    { 2P | 3P | 5B } -> { 2P || 3C,2B }
{ 1C || 4C }
    { 1P | 1B | 4C } -> { 1P || 4C,1B }
    {  | 1C | 4C } -> {  || 5C }
    { 1C | 1C | 3C } -> { 2C || 3C }
{ 2C || 3C }
    { 2P | 2B | 3C } -> { 2P || 3C,2B }
    { 2C | 3B | 3P } -> { 2C,3B || 3P }
    { 1C | 1C | 3C } -> { 1C || 4C }
    { 2C | 1C | 2C } -> { 3C || 2C }
    { 1P | 1C,1B | 3C } -> { 1P || 4C,1B }
{ 3C || 2C }
    { 3C | 2B | 2P } -> { 3C,2B || 2P }
    { 3P | 3B | 2C } -> { 3P || 2C,3B }
    { 2C | 1C | 2C } -> { 2C || 3C }
    { 3C | 1C | 1C } -> { 4C || 1C }
    { 3C | 1C,1B | 1P } -> { 4C,1B || 1P }
{ 4C || 1C }
    { 4C | 1B | 1P } -> { 4C,1B || 1P }
    { 3C | 1C | 1C } -> { 3C || 2C }
    { 4C | 1C |  } -> { 5C ||  }
{ 5B || 5P }
    { 5B | 1P | 4P } -> { 1C,4B || 4P }
    { 5B | 2P | 3P } -> { 2C,3B || 3P }
    { 5B | 3P | 2P } -> { 3C,2B || 2P }
{ 1C,4B || 4P }
    { 5B | 1P | 4P } -> { 5B || 5P }
    { 1C,4B | 1P | 3P } -> { 2C,3B || 3P }
    { 1C,4B | 2P | 2P } -> { 3C,2B || 2P }
    { 1C,4B | 3P | 1P } -> { 4C,1B || 1P }
{ 2C,3B || 3P }
    { 1C,4B | 1P | 3P } -> { 1C,4B || 4P }
    { 2C,3B | 1P | 2P } -> { 3C,2B || 2P }
    { 5B | 2P | 3P } -> { 5B || 5P }
    { 2C,3B | 2P | 1P } -> { 4C,1B || 1P }
    { 2C,3B | 3P |  } -> { 5C ||  }
    { 2C | 3B | 3P } -> { 2C || 3C }
{ 3C,2B || 2P }
    { 2C,3B | 1P | 2P } -> { 2C,3B || 3P }
    { 3C,2B | 1P | 1P } -> { 4C,1B || 1P }
    { 1C,4B | 2P | 2P } -> { 1C,4B || 4P }
    { 3C,2B | 2P |  } -> { 5C ||  }
    { 5B | 3P | 2P } -> { 5B || 5P }
    { 3C | 2B | 2P } -> { 3C || 2C }
{ 4C,1B || 1P }
    { 3C,2B | 1P | 1P } -> { 3C,2B || 2P }
    { 4C,1B | 1P |  } -> { 5C ||  }
    { 2C,3B | 2P | 1P } -> { 2C,3B || 3P }
    { 1C,4B | 3P | 1P } -> { 1C,4B || 4P }
    { 4C | 1B | 1P } -> { 4C || 1C }
    { 3C | 1C,1B | 1P } -> { 3C || 2C }
{ 5C ||  }
    { 4C,1B | 1P |  } -> { 4C,1B || 1P }
    { 3C,2B | 2P |  } -> { 3C,2B || 2P }
    { 2C,3B | 3P |  } -> { 2C,3B || 3P }
    { 4C | 1C |  } -> { 4C || 1C }