Search results
From MaRDI portal
- Publication Type On the Number of Linear Finite Transducers 2016-02-17 Paper Counting Equivalent Linear Finite Transducers Using a Canonical Form 2014-09-26 Paper...10 bytes (16 words) - 16:25, 6 October 2023
- proving their absence 2018-03-01 Paper Equivalence of Finite-Valued Symbolic Finite Transducers 2016-12-21 Paper Scaling network verification using symmetry...10 bytes (17 words) - 02:18, 12 December 2023
- Publication Type On the decidability of the valuedness problem for two-way finite transducers 2022-06-08 Paper https://portal.mardi4nfdi.de/entity/Q4994710 2021-06-21...10 bytes (18 words) - 09:24, 25 September 2023
- Paper Machine Translation with Inferred Stochastic Finite-State Transducers 2012-03-20 Paper Learning finite-state models for machine translation 2007-09-20...10 bytes (17 words) - 06:03, 9 December 2023
- intersection with regular languages 2009-05-08 Paper On Weakly Ambiguous Finite Transducers 2009-03-26 Paper https://portal.mardi4nfdi.de/entity/Q3517095 2008-08-12...10 bytes (16 words) - 19:27, 9 December 2023
- Games for Reactive Synthesis 2016-04-13 Paper CHANNEL SYNTHESIS FOR FINITE TRANSDUCERS 2013-06-06 Paper Interrupt timed automata: verification and expressiveness...10 bytes (16 words) - 01:18, 12 December 2023
- 1981-01-01 Paper The decidability of equivalence for deterministic finite transducers 1979-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3854643 1979-01-01...10 bytes (17 words) - 21:11, 12 December 2023
- FOR EFFICIENT COMPOSITION OF FINITE-STATE TRANSDUCERS 2012-03-13 Paper GENERAL ALGORITHMS FOR TESTING THE AMBIGUITY OF FINITE AUTOMATA AND THE DOUBLE-TAPE...10 bytes (16 words) - 00:41, 25 September 2023
- Publication Type Affine mappings defined by finite transducers 2000-03-20 Paper Real functions defined by transducers 1999-08-31 Paper...10 bytes (18 words) - 13:12, 24 September 2023
- Improvements and Application in CP and MIP Contexts 2016-06-27 Paper Using finite transducers for describing and synthesising structural time-series constraints...10 bytes (16 words) - 00:55, 10 December 2023
- of Cryptographic Protocols 2013-07-24 Paper CHANNEL SYNTHESIS FOR FINITE TRANSDUCERS 2013-06-06 Paper Model Checking of Extended OCL Constraints on UML...10 bytes (16 words) - 03:23, 9 December 2023
- EFFICIENT COMPOSITION OF FINITE-STATE TRANSDUCERS 2012-03-13 Paper Filters for Efficient Composition of Weighted Finite-State Transducers 2011-02-11 Paper OpenFst:...10 bytes (16 words) - 00:42, 25 September 2023
- Regularity of a dynamic neighborhood of a regular language 2012-03-14 Paper Finite transducers and nondeterministic state complexity of regular languages 2010-09-23...10 bytes (18 words) - 12:11, 24 September 2023
- Publication Type Complexity of injection structures induced by finite state transducers 2023-01-04 Paper The isomorphism problem for FST injection structures...10 bytes (16 words) - 02:25, 7 October 2023
- Type Quantum computation with write-only memory 2012-11-15 Paper Finite State Transducers with Intuition 2010-07-26 Paper Quantum Computation with Devices...10 bytes (16 words) - 12:45, 24 September 2023
- non-interferent timed systems 2015-07-29 Paper CHANNEL SYNTHESIS FOR FINITE TRANSDUCERS 2013-06-06 Paper Synthesis of Non-Interferent Timed Systems 2009-12-01...10 bytes (16 words) - 19:51, 26 December 2023
- and Statistical Pattern Recognition 2005-08-24 Paper Inference of finite-state transducers from regular languages 2005-08-03 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 23:05, 24 September 2023
- uniform finite-state transducers on unary languages 2023-08-01 Paper Deterministic and nondeterministic iterated uniform finite-state transducers: computational...10 bytes (16 words) - 17:09, 6 October 2023
- Computable by Finite State Transducers 2014-09-26 Paper Exact real arithmetic for interval number systems 2014-06-23 Paper Finite State Transducers for Modular...10 bytes (17 words) - 17:44, 7 December 2023
- Counting Equivalent Linear Finite Transducers Using a Canonical Form 2014-09-26 Paper On the invertibility of finite linear transducers 2014-08-22 Paper https://portal...10 bytes (16 words) - 10:24, 7 October 2023