Site Navigation
Categories:
Programming language topics
Specific models
Formal methods
Theory of computation

Summary Of: Category:Computational models

Encyclodia Page On: Category:Computational models

These Are Links To Other Documents
Computational | computing | machines | discrete time | paradigm | learn more | Model of computation | Abstract machine | Abstract state machines | Agent-based model | Algorithm characterizations | Algorithm examples | Alternating Turing machine | Applicative computing systems | Billiard-ball computer | Blum-Shub-Smale machine | Büchi automaton | Bulk synchronous parallel | CARDboard Illustrative Aid to Computation | CIP-Tool | Cache-oblivious algorithm | Categorical abstract machine | Clumping (computer science) | Communicating X-Machine | Computational model | Counter automaton | Counter machine models | Counter machine reference model | Dataflow | Decision field theory | Decision tree model | Denotational semantics | Description number | Deterministic finite-state machine | Deterministic pushdown automaton | Discrete system | Embedded pushdown automaton | Event-driven finite state machine | Extended finite state machine | Finite state machine with datapath | Finite state transducer | Finite-state machine | Interaction nets | Kahn process networks | Lambda calculus | Lazy linear hybrid automaton | Linear bounded automaton | Little man computer | LogP machine | Mealy machine | Membrane computing | Moore machine | Multi-tape Turing machine | NAR 1 | NAR 2 | Nested stack automaton | Nondeterministic finite-state machine | One instruction set computer | Oracle machine | P system | Parallel Random Access Machine | Persistence (computer science) | Petri net | Post canonical system | Probabilistic Turing machine | Pushdown automaton | P′′ | Quantum computer | Quantum circuit | Register machine | SXM (computational model) | Scott information system | Stack machine | State (computer science) | State diagram | State space | State transition system | Stochastic computing | Stream processing | Stream X-Machine | Tag system | Time loop logic | Topological computing | Topological quantum computer | Trinomial tree | Turing machine | Turmite | UML state machine | Unbounded nondeterminism | Virtual finite state machine | X-machine | Zeno machine | Statechart vs flowchart.png | Statechart vs flowch... | UML state machine Fig1.png | UML state machine Fi... | UML state machine Fig2.png | UML state machine Fi... | UML state machine Fig3.png | UML state machine Fi... | UML state machine Fig4.png | UML state machine Fi... | UML state machine Fig5.png | UML state machine Fi... | UML state machine Fig6.png | UML state machine Fi... | UML state machine Fig7.png | UML state machine Fi... | UML state machine Fig8.png | UML state machine Fi... | Categories | Programming language topics | Specific models | Formal methods | Theory of computation |
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Category:Computational models".