fetchState :: State StateTy StateTy
fetchState = do
  state <- get
  put (state + 1)
  return state

-- | Build a LBFA from a regular expression
fetchState :: State StateTy StateTy
fetchState = do
  state <- get
  put (state + 1)
  return state

-- | Build a LBFA from a regular expression
fetchState = do
  state <- get
  put (state + 1)
  return state

-- | Build a LBFA from a regular expression