Characterizing Unambiguous Augmented Pushdown Automata by Circuits.
Klaus-Jörn LangePeter RossmanithPublished in: MFCS (1990)
Keyphrases
- model checking
- finite state
- cellular automata
- high speed
- probabilistic automata
- timed automata
- finite automata
- regular expressions
- circuit design
- delay insensitive
- tunnel diode
- databases
- logic synthesis
- logic circuits
- asynchronous circuits
- turing machine
- tree automata
- analog vlsi
- vlsi circuits
- digital circuits
- high level synthesis
- lateral inhibition
- formal language theory
- finite state machines