wiki_research

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

annotation_transducer (211B)

      1 # Annotation transducer
      2 
      3 formalism of [automata]
      4 - called "annotated automata" in [munoz2023constant]
      5 - used in [gawrychowski2024revisiting]
      6 
      7 Up: [spanner]
      8 
      9 See also: [spanner_transducer], [annotated_relations]