Login / Signup

Expressiveness of Visibly Pushdown Transducers.

Mathieu CaralpEmmanuel FiliotPierre-Alain ReynierFrédéric ServaisJean-Marc Talbot
Published in: TTATT (2013)
Keyphrases
  • expressive power
  • model checking
  • finite automata
  • data sets
  • computational properties
  • database
  • cooperative
  • hidden markov models
  • finite state automata
  • image segmentation
  • data structure
  • natural language