build Epsilon sigma = do
  s <- fetchState
  return LBFA {
    trans  = [(s, [])],
    initS  = s,
    finalS = [s],
    alpha  = sigma,
    lastS  = s
    }
build Epsilon sigma = do
  s <- fetchState
  return LBFA {
    trans  = [(s, [])],
    initS  = s,
    finalS = [s],
    alpha  = sigma,
    lastS  = s
    }
build Epsilon sigma = do
  s <- fetchState
  return LBFA {
    trans  = [(s, [])],
    initS  = s,
    finalS = [s],
    alpha  = sigma,
    lastS  = s
    }