<--- Back to Details
First PageDocument Content
Models of computation / Formal languages / Theoretical computer science / Pushdown automaton / Automata theory / Deterministic pushdown automaton / Computability / Language / Deterministic context-free language / Deterministic automaton / Culture / NPDA
Date: 2013-09-22 20:46:25
Models of computation
Formal languages
Theoretical computer science
Pushdown automaton
Automata theory
Deterministic pushdown automaton
Computability
Language
Deterministic context-free language
Deterministic automaton
Culture
NPDA

Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday

Add to Reading List

Source URL: arxiv.org

Download Document from Source Website

File Size: 95,39 KB

Share Document on Facebook

Similar Documents

Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen   Dedicated to David A. Schmidt on the Occasion of his 60th Birthday

Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday

DocID: 1q0N1 - View Document

Foundations of Fast Communication via XML Welf Löwe, Markus L. Noga, Thilo S. Gaul Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe Postfach 6980, 76128 Karlsruhe, Germany E-mail: {loewe |

Foundations of Fast Communication via XML Welf Löwe, Markus L. Noga, Thilo S. Gaul Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe Postfach 6980, 76128 Karlsruhe, Germany E-mail: {loewe |

DocID: 1fZqu - View Document

Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

DocID: 1fymv - View Document

ICS 162 – Fall 2003 – Midterm  Name: Solution Key Student ID:  1: 30

ICS 162 – Fall 2003 – Midterm Name: Solution Key Student ID: 1: 30

DocID: 18zvR - View Document

Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany

Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany

DocID: 18f7q - View Document