/wiki/Computational_model
/wiki/Computer_science
/wiki/Computability_theory_(computer_science)
/wiki/Computational_complexity_theory
/wiki/Computational_complexity
/wiki/Algorithm
/wiki/Implementation
/wiki/Finite_state_machine
/wiki/Pushdown_automata
/wiki/Turing_Machine
/wiki/Lambda_calculus
/wiki/%CE%9C-recursive_function
/wiki/Combinatory_logic
/wiki/Cellular_automaton
/wiki/Abstract_rewriting_system
/wiki/Kahn_process_networks
/wiki/Petri_nets
/wiki/Synchronous_Data_Flow
/wiki/Interaction_nets
/wiki/Analysis_of_algorithms
/wiki/Random_access_machine
/wiki/Model-driven_engineering
/wiki/Abstract_machine
/wiki/Turing_machine
/wiki/Decision_tree_model
/wiki/Stack_machine
/wiki/Accumulator_machine
/wiki/Register_machine
/wiki/Cell-probe_model
/wiki/Maribel_Fern%C3%A1ndez
/wiki/International_Standard_Book_Number
/wiki/John_E._Savage
