CD-systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store

RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita/2011123
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EDP Sciences

Related search

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata

IFAC Proceedings Volumes
2014English

Finite-Time Stabilization for Markov Jump Systems Governed by Deterministic Switches

IFAC Proceedings Volumes
2014English

Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2019English

On Some Applications of the Pushdown Store Technique

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
1961English

Deterministic Finite Automata

Algebra and Discrete Mathematics
2012English

From Security Protocols to Pushdown Automata

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2015English

Collapsible Pushdown Automata and Recursion Schemes

Proceedings - Symposium on Logic in Computer Science
MathematicsSoftware
2008English

Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

The Quotient Operation on Input-Driven Pushdown Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy