2,035 research outputs found
Trace Complexity of Chaotic Reversible Cellular Automata
Delvenne, K\r{u}rka and Blondel have defined new notions of computational
complexity for arbitrary symbolic systems, and shown examples of effective
systems that are computationally universal in this sense. The notion is defined
in terms of the trace function of the system, and aims to capture its dynamics.
We present a Devaney-chaotic reversible cellular automaton that is universal in
their sense, answering a question that they explicitly left open. We also
discuss some implications and limitations of the construction.Comment: 12 pages + 1 page appendix, 4 figures. Accepted to Reversible
Computation 2014 (proceedings published by Springer
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata
An experiment is described that confirms the security of a well-studied class
of cryptographic protocols (Dolev-Yao intruder model) can be verified by
two-way nondeterministic pushdown automata (2NPDA). A nondeterministic pushdown
program checks whether the intersection of a regular language (the protocol to
verify) and a given Dyck language containing all canceling words is empty. If
it is not, an intruder can reveal secret messages sent between trusted users.
The verification is guaranteed to terminate in cubic time at most on a
2NPDA-simulator. The interpretive approach used in this experiment simplifies
the verification, by separating the nondeterministic pushdown logic and program
control, and makes it more predictable. We describe the interpretive approach
and the known transformational solutions, and show they share interesting
features. Also noteworthy is how abstract results from automata theory can
solve practical problems by programming language means.Comment: In Proceedings MARS/VPT 2018, arXiv:1803.0866
- …