| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Noneffective Regularity of Equality Languages and Bounded Delay Morphisms
Abstract : We give an instance of a class of morphisms for which it is easy to prove that their equality set is regular, but its emptiness is still undecidable. The class is that of bounded delay 2 morphisms.
https://hal.inria.fr/hal-00990433
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Submitted on : Tuesday, May 13, 2014 - 3:36:50 PM
Last modification on : Wednesday, November 29, 2017 - 10:26:18 AM
Long-term archiving on: : Monday, April 10, 2017 - 10:14:45 PM
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Submitted on : Tuesday, May 13, 2014 - 3:36:50 PM
Last modification on : Wednesday, November 29, 2017 - 10:26:18 AM
Long-term archiving on: : Monday, April 10, 2017 - 10:14:45 PM
File
1451-5150-1-PB.pdf
Files produced by the author(s)