On the Transition Reduction Problem for Finite Automata (original) (raw)
Related papers
State Minimization of General Finite Fuzzy Automata
International journal of mathematical, engineering and management sciences, 2021
Fresh-variable automata for service composition
Hybrid automata: from verification to implementation
International Journal on Software Tools for Technology Transfer, 2017
Journal of Automata, Languages and Combinatorics u (v) w, x{y
Decomposition of Constraint Automata
Lecture Notes in Computer Science, 2012
Regular processes and timed automata
Lecture Notes in Computer Science, 1997
On the semi-perfect elimination
Advances in Applied Mathematics, 1988
On the Specification of Higher Dimensional Automata
Electronic Notes in Theoretical Computer Science, 2002
From quantification to reduction
2017
Crossing the Transition State in Solution
Understanding Chemical Reactivity, 2002
Minimization of Finite State Machines 1
1996
Transition, 1992
Information Processing Letters, 1998
Event Algebra for Transition Systems Composition - Application to Timed Automata
2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Pre-automata and Complex Event Processing
Information and Communication Technologies in Education, Research, and Industrial Applications, 2014
Formal Concept Analysis Research Toolbox and failure deterministic finite automata
2015
Recent Advances in Learning Automata
Studies in Computational Intelligence, 2018
Semantics for Classical AUTOMATH and Related Systems
Information and Computation/information and Control - IANDC, 1983
SystemC Waiting-State Automata
Electronic Workshops in Computing
Termination criteria for tree automata completion
Journal of Logical and Algebraic Methods in Programming, 2016
On the Gap-Complexity of Simple RL-Automata
2006
Current Status of Transition-State Theory
The Journal of Physical Chemistry, 1996
Transitions and Proof and Proving at Tertiary Level
New ICMI Study Series, 2012
Reachability Verification for Hybrid Automata
1998
Series-parallel automata and short regular expressions
Fundamenta Informaticae, 2009