Quantum Pushdown Automata with Garbage Tape.
Masaki NakanishiPublished in: Int. J. Found. Comput. Sci. (2018)
Keyphrases
- model checking
- cellular automata
- finite state
- finite automata
- high speed
- timed automata
- quantum computation
- probabilistic automata
- quantum computing
- regular expressions
- garbage collection
- finite state machines
- magnetic tape
- read write
- query language
- quantum mechanics
- formal language theory
- neural network
- probability ranking principle
- channel capacity
- tree automata
- artificial intelligence
- temporal logic
- state space
- case study
- website
- social networks