wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

aut_rec_separability (251B)

      1 # Aut rec separability
      2 
      3 The [formal_language_separation] problem of [automatic_relations] by [recognizable_relations], studied in [morvan2025homomorphism] Chapter VIII
      4 
      5 Up: [formal_language_separation], [automatic_relations], [recognizable_relations]