Search results
From MaRDI portal
- correspondence problems 2024-02-02 Paper Integer Weighted Automata on Infinite Words 2023-08-15 Paper Integer weighted automata on infinite words 2022-03-25 Paper A...10 bytes (16 words) - 02:54, 9 December 2023
- Parametric Weighted Finite Automata 2011-05-27 Paper https://portal.mardi4nfdi.de/entity/Q4929401 2010-09-22 Paper On Generalizations of Weighted Finite Automata...10 bytes (16 words) - 18:54, 9 December 2023
- Limit-Deterministic Büchi Automata to Deterministic Parity Automata 2020-08-05 Paper Index Appearance Record for Transforming Rabin Automata into Parity Automata 2020-08-05...10 bytes (16 words) - 19:37, 12 December 2023
- monitor automata 2018-08-27 Paper Nested Weighted Automata 2018-04-23 Paper The Target Discounted-Sum Problem 2018-04-23 Paper Quantitative Automata under...10 bytes (16 words) - 11:26, 6 October 2023
- BICYCLE BY USING CELLULAR AUTOMATA MODEL 2009-06-05 Paper Traffic Behaviors of Mixed Bicycle System in the Multi-Value Cellular Automata Model 2009-05-29 Paper...10 bytes (17 words) - 04:05, 9 December 2023
- Type Algorithms for weighted finite automata with failure transitions 2018-11-07 Paper A disambiguation algorithm for weighted automata 2017-06-19 Paper On...10 bytes (18 words) - 16:30, 24 September 2023
- 2019-12-18 Paper A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids 2016-04-13 Paper Weighted Tree Automata over Valuation Monoids and Their...10 bytes (16 words) - 08:58, 25 September 2023
- Minimisation for Weighted Tree Automata 2007-11-28 Paper Tiburon: A Weighted Tree Automata Toolkit 2007-09-06 Paper...10 bytes (16 words) - 10:43, 24 September 2023
- \(k\)-distinct language: parameterized automata constructions 2016-02-26 Paper The $$k$$-Distinct Language: Parameterized Automata Constructions 2015-09-15 Paper...10 bytes (18 words) - 21:34, 9 December 2023
- conditions 2018-01-17 Paper Weighted Restarting Automata as Language Acceptors 2016-11-09 Paper Weighted restarting automata and pushdown relations 2016-05-26...10 bytes (16 words) - 02:35, 25 September 2023
- 2020-02-07 Paper Weighted finite automata with output 2018-10-22 Paper Further improvements of determinization methods for fuzzy finite automata 2018-01-22 Paper...10 bytes (16 words) - 12:17, 7 October 2023
- 2022-02-24 Paper Probabilistic automata of bounded ambiguity 2022-01-06 Paper Costs and rewards in priced timed automata 2022-01-06 Paper First-order orbit...10 bytes (17 words) - 01:42, 9 December 2023
- Publication Type Linear weighted tree automata with storage and inverse linear tree homomorphisms 2021-11-25 Paper Weighted automata with storage 2019-12-18...10 bytes (16 words) - 01:15, 25 September 2023
- Publication Type Derived-Term Automata of Multitape Expressions with Composition 2019-02-08 Paper Derived-term automata of weighted rational expressions with...10 bytes (16 words) - 00:13, 25 September 2023
- Type A Büchi-like theorem for weighted tree automata over multioperator monoids 2012-12-06 Paper Weighted finite automata over strong bimonoids 2010-01-28...10 bytes (16 words) - 11:04, 6 October 2023
- Compression of finite-state automata through failure transitions 2016-06-27 Paper An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical...10 bytes (16 words) - 07:49, 7 October 2023
- 1993-06-05 Paper QRT FIFO automata, breadth-first grammars and their relations 1992-06-28 Paper BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA 1990-01-01 Paper Symbolic...10 bytes (17 words) - 05:39, 12 December 2023
- for Element Distinctness 2005-09-16 Paper Automata, Languages and Programming 2005-08-24 Paper Cellular automata and communication complexity 2004-11-12...10 bytes (16 words) - 03:30, 9 December 2023
- Locally Threshold Testable Languages 2014-09-30 Paper Pebble Weighted Automata and Weighted Logics 2014-07-17 Paper Going Higher in the First-Order Quantifier...10 bytes (16 words) - 01:45, 12 December 2023
- Crisp-determinization of weighted tree automata over strong bimonoids 2022-09-30 Paper Finite-image property of weighted tree automata over past-finite monotonic...10 bytes (16 words) - 23:24, 24 September 2023
