Pages that link to "Item:Q3012906"
From MaRDI portal
The following pages link to Nondeterministic Streaming String Transducers (Q3012906):
Displaying 17 items.
- On the containment and equivalence problems for two-way transducers (Q418777) (← links)
- Copyful streaming string transducers (Q1685783) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- Checking regular invariance under tightly-controlled string modifications (Q2163978) (← links)
- Non-deterministic transducer models of retransmission protocols over noisy channels (Q2346564) (← links)
- Deletion operations on deterministic families of automata (Q2407104) (← links)
- Insertion operations on deterministic reversal-bounded counter machines (Q2424688) (← links)
- Kleenex: compiling nondeterministic transducers to deterministic streaming transducers (Q2828274) (← links)
- Expressiveness of streaming string transducers (Q2908833) (← links)
- On the decomposition of finite-valued streaming string transducers (Q4636633) (← links)
- Copyful Streaming String Transducers (Q4989167) (← links)
- (Q5090448) (← links)
- Origin-equivalence of two-way word transducers is in PSPACE (Q5090958) (← links)
- (Q5092324) (← links)
- (Q5092330) (← links)
- (Q5507056) (← links)
- Streaming ranked-tree-to-string transducers (Q5918275) (← links)