Approximate Comparison of Functions Computed by Distance Automata

Thomas Colcombet, Laure Daviaud. Approximate Comparison of Functions Computed by Distance Automata. Theory Comput. Syst., 58(4):579-613, 2016. [doi]

@article{ColcombetD16,
  title = {Approximate Comparison of Functions Computed by Distance Automata},
  author = {Thomas Colcombet and Laure Daviaud},
  year = {2016},
  doi = {10.1007/s00224-015-9643-3},
  url = {http://dx.doi.org/10.1007/s00224-015-9643-3},
  researchr = {https://researchr.org/publication/ColcombetD16},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {58},
  number = {4},
  pages = {579-613},
}