@Article{         KruckmanRubinSheridanZax,
  Author        = "Kruckman, Alex and Rubin, Sasha and Sheridan, John and Zax, Ben",
  Abstract      = "An automaton with advice is a finite state automaton which has access to an additional fixed infinite string called an advice tape. We refine the Myhill-Nerode theorem to characterize the languages of finite strings that are accepted by automata with advice. We do the same for tree automata with advice.",
  date-added    = "2012-11-20 19:03:42 +0000",
  date-modified = "2012-11-22 09:38:08 +0000",
  EPrint        = "1210.2462",
  Keywords      = "automata theory",
  Month         = "10",
  Title         = "A Myhill-Nerode theorem for automata with advice",
  URL           = "http://arxiv.org/abs/1210.2462",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1210.2462",
  File          = "A Myhill-Nerode theorem for automata with advice - Kruckman, Rubin, Sheridan, Zax (0) (0) - a - a - c.pdf"
}

@Article{ KruckmanRubinSheridanZax, Author = "Kruckman, Alex and Rubin, Sasha and Sheridan, John and Zax, Ben", Abstract = "An automaton with advice is a finite state automaton which has access to an additional fixed infinite string called an advice tape. We refine the Myhill-Nerode theorem to characterize the languages of finite strings that are accepted by automata with advice. We do the same for tree automata with advice.", date-added = "2012-11-20 19:03:42 +0000", date-modified = "2012-11-22 09:38:08 +0000", EPrint = "1210.2462", Keywords = "automata theory", Month = "10", Title = "A Myhill-Nerode theorem for automata with advice", URL = "http://arxiv.org/abs/1210.2462", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1210.2462", File = "A Myhill-Nerode theorem for automata with advice - Kruckman, Rubin, Sheridan, Zax (0) (0) - a - a - c.pdf" }