scientific article; zbMATH DE number 3523154
From MaRDI portal
Publication:4101446
zbMATH Open0334.68045MaRDI QIDQ4101446FDOQ4101446
Authors: Marcel Paul Schützenberger 
Publication date: 1975
Title of this publication is not available (Why is that?)
Cited In (17)
- A unified framework for disambiguating finite transductions
- The equivalence of finite valued transducers (on HDT0L languages) is decidable
- Extended symbolic finite automata and transducers
- Toeplitz corona and the Douglas property for free functions
- Theoretical computer science: computational complexity
- Multi-sequential word relations
- Finite transducers and rational transductions
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- Equivalence checking problem for finite state transducers over semigroups
- On the representation of finite deterministic 2-tape automata
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
- New techniques for proving the decidability of equivalence problem
- Multi-sequential word relations
- Unambiguity in automata theory
- On the Decidability of the Equivalence for k-Valued Transducers
- Determinization of transducers over finite and infinite words.
- Tinput-Driven Pushdown Automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4101446)
