#include <stdio.h>

int main() {
  printf("NFA transition table (states 0..3, symbols a b, eps = -1)\n");
  printf("state   on a     on b     on eps\n");
  printf("  0     {0,1}    {}       {2}\n");
  printf("  1     {}       {2}      {}\n");
  printf("  2     {}       {3}      {}\n");
  printf("  3     {}       {}       {}\n");
  printf("\nBuild epsilon-closures and apply the subset construction.\n");
  return 0;
}