Embedded pushdown automaton 1970-01-01
Evolution in Variable Environment 1970-01-01
Extended finite-state machine 1970-01-01
FRACTRAN 1970-01-01
Interaction nets 1970-01-01
Kahn process networks 1970-01-01
Krivine machine 1970-01-01
Lambda calculus 1970-01-01
Lazy linear hybrid automaton 1970-01-01
Linear bounded automaton 1970-01-01
LogP machine 1970-01-01
Markov algorithm 1970-01-01
Mealy machine 1970-01-01
Membrane computing 1970-01-01
Model of computation 1970-01-01
NAR 1 1970-01-01
NAR 2 1970-01-01
Nested stack automaton 1970-01-01
Oblivious RAM 1970-01-01
One-instruction set computer 1970-01-01