Theory of computation: WIKI

All

https://en.wikipedia.org/wiki/Abstract_machine https://en.wikipedia.org/wiki/Abstract_state_machine https://en.wikipedia.org/wiki/Ackermann_function https://en.wikipedia.org/wiki/Agent-based_model https://en.wikipedia.org/wiki/Algorithm_characterizations https://en.wikipedia.org/wiki/Alternating_Turing_machine https://en.wikipedia.org/wiki/Anamorphism https://en.wikipedia.org/wiki/Applicative_computing_systems https://en.wikipedia.org/wiki/Augmented_marked_graph

https://en.wikipedia.org/wiki/Behavior_tree_(artificial_intelligence,_robotics_and_control) https://en.wikipedia.org/wiki/Billiard-ball_computer https://en.wikipedia.org/wiki/Binomial_options_pricing_model https://en.wikipedia.org/wiki/Blum-Shub-Smale_machine https://en.wikipedia.org/wiki/Bulk_synchronous_parallel

https://en.wikipedia.org/wiki/Cache-oblivious_algorithm https://en.wikipedia.org/wiki/Cache-oblivious_distribution_sort https://en.wikipedia.org/wiki/CARDboard_Illustrative_Aid_to_Computation https://en.wikipedia.org/wiki/Categorical_abstract_machine https://en.wikipedia.org/wiki/Cell-probe_model https://en.wikipedia.org/wiki/Channel_system_(computer_science) https://en.wikipedia.org/wiki/Chaos_computing https://en.wikipedia.org/wiki/Church-Turing_thesis https://en.wikipedia.org/wiki/Church%27s_thesis_(constructive_mathematics) https://en.wikipedia.org/wiki/CIP-Tool https://en.wikipedia.org/wiki/Communicating_finite-state_machine https://en.wikipedia.org/wiki/Communicating_X-Machine https://en.wikipedia.org/wiki/Complexity_and_Real_Computation https://en.wikipedia.org/wiki/Computability https://en.wikipedia.org/wiki/Computability_theory https://en.wikipedia.org/wiki/Computable_function https://en.wikipedia.org/wiki/Computational_complexity_theory https://en.wikipedia.org/wiki/Computational_model https://en.wikipedia.org/wiki/Computing_with_Memory https://en.wikipedia.org/wiki/Constant_function https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_mathematics) https://en.wikipedia.org/wiki/Corecursion https://en.wikipedia.org/wiki/Counter_automaton https://en.wikipedia.org/wiki/Counter-machine_model

https://en.wikipedia.org/wiki/Dataflow https://en.wikipedia.org/wiki/Decidability_(logic) https://en.wikipedia.org/wiki/Decision_field_theory https://en.wikipedia.org/wiki/Decision_tree_model https://en.wikipedia.org/wiki/Denotational_semantics https://en.wikipedia.org/wiki/Description_number https://en.wikipedia.org/wiki/Deterministic_pushdown_automaton https://en.wikipedia.org/wiki/Discrete_system https://en.wikipedia.org/wiki/DNA_computing https://en.wikipedia.org/wiki/Double_recursion

https://en.wikipedia.org/wiki/Effective_fragment_potential_method https://en.wikipedia.org/wiki/Effective_method https://en.wikipedia.org/wiki/Elementary_function https://en.wikipedia.org/wiki/Embedded_pushdown_automaton https://en.wikipedia.org/wiki/Entscheidungsproblem https://en.wikipedia.org/wiki/Equiconsistency https://en.wikipedia.org/wiki/Error_function https://en.wikipedia.org/wiki/Event-driven_finite-state_machine https://en.wikipedia.org/wiki/Evolution_in_Variable_Environment https://en.wikipedia.org/wiki/Extended_finite-state_machine https://en.wikipedia.org/wiki/External_memory_algorithm

https://en.wikipedia.org/wiki/Finite-state_machine_with_datapath https://en.wikipedia.org/wiki/Fold_(higher-order_function) https://en.wikipedia.org/wiki/FRACTRAN https://en.wikipedia.org/wiki/Funnelsort

https://en.wikipedia.org/wiki/General_recursive_function https://en.wikipedia.org/wiki/Grzegorczyk_hierarchy

https://en.wikipedia.org/wiki/Heyting_arithmetic https://en.wikipedia.org/wiki/Halting_problem

https://en.wikipedia.org/wiki/Interaction_nets

https://en.wikipedia.org/wiki/Kahn_process_networks https://en.wikipedia.org/wiki/Korn-Kreer-Lenssen_model https://en.wikipedia.org/wiki/Krivine_machine

https://en.wikipedia.org/wiki/Lambda_calculus https://en.wikipedia.org/wiki/Lattice_model_(finance) https://en.wikipedia.org/wiki/Lazy_linear_hybrid_automaton https://en.wikipedia.org/wiki/Linear_bounded_automaton https://en.wikipedia.org/wiki/LogP_machine

https://en.wikipedia.org/wiki/Machine_that_always_halts https://en.wikipedia.org/wiki/Markov_algorithm https://en.wikipedia.org/wiki/Mathematical_model https://en.wikipedia.org/wiki/MATSim https://en.wikipedia.org/wiki/Mealy_machine https://en.wikipedia.org/wiki/McCarthy_Formalism https://en.wikipedia.org/wiki/Membrane_computing https://en.wikipedia.org/wiki/Model_of_computation https://en.wikipedia.org/wiki/mu_operator https://en.wikipedia.org/wiki/Multi-tape_Turing_machine https://en.wikipedia.org/wiki/NAR_1 https://en.wikipedia.org/wiki/NAR_2 https://en.wikipedia.org/wiki/Nested_stack_automaton https://en.wikipedia.org/wiki/Nets_within_Nets

https://en.wikipedia.org/wiki/Oblivious_RAM https://en.wikipedia.org/wiki/One-instruction_set_computer https://en.wikipedia.org/wiki/Oracle_machine

https://en.wikipedia.org/wiki/P_system https://en.wikipedia.org/wiki/P%E2%80%B2%E2%80%B2 https://en.wikipedia.org/wiki/Parallel_external_memory https://en.wikipedia.org/wiki/Parallel_RAM https://en.wikipedia.org/wiki/Parasitic_computing https://en.wikipedia.org/wiki/Partial_function https://en.wikipedia.org/wiki/Peano_axioms https://en.wikipedia.org/wiki/Peptide_computing https://en.wikipedia.org/wiki/Persistence_(computer_science) https://en.wikipedia.org/wiki/Petri_net https://en.wikipedia.org/wiki/Post_canonical_system https://en.wikipedia.org/wiki/Post-Turing_machine https://en.wikipedia.org/wiki/Primitive_recursive_function https://en.wikipedia.org/wiki/Primitive_recursive_ordinal_function https://en.wikipedia.org/wiki/Primitive_recursive_set_function https://en.wikipedia.org/wiki/Probabilistic_Turing_machine https://en.wikipedia.org/wiki/Pushdown_automaton

https://en.wikipedia.org/wiki/Quantum_capacity https://en.wikipedia.org/wiki/Quantum_circuit https://en.wikipedia.org/wiki/Quantum_computing https://en.wikipedia.org/wiki/Quantum_volume https://en.wikipedia.org/wiki/Queue_automaton

https://en.wikipedia.org/wiki/R_(complexity) https://en.wikipedia.org/wiki/Realization_(systems) https://en.wikipedia.org/wiki/Recursion_(computer_science) https://en.wikipedia.org/wiki/Recursion_theory https://en.wikipedia.org/wiki/Register_machine https://en.wikipedia.org/wiki/Register_machine https://en.wikipedia.org/wiki/Reo_Coordination_Language https://en.wikipedia.org/wiki/Reversible_computing https://en.wikipedia.org/wiki/Robertson-Webb_query_model

https://en.wikipedia.org/wiki/Scott_information_system https://en.wikipedia.org/wiki/SECD_machine https://en.wikipedia.org/wiki/Shape_Modeling_International https://en.wikipedia.org/wiki/Stack_machine https://en.wikipedia.org/wiki/State_(computer_science) https://en.wikipedia.org/wiki/State_diagram https://en.wikipedia.org/wiki/State_space https://en.wikipedia.org/wiki/Stochastic_computing https://en.wikipedia.org/wiki/Stochastic_Petri_net https://en.wikipedia.org/wiki/Stream_processing https://en.wikipedia.org/wiki/Stream_X-Machine https://en.wikipedia.org/wiki/Structured_program_theorem https://en.wikipedia.org/wiki/Super-recursive_algorithm https://en.wikipedia.org/wiki/SXM_(computational_model)

https://en.wikipedia.org/wiki/Tag_system https://en.wikipedia.org/wiki/Theory_of_computation https://en.wikipedia.org/wiki/Thread_automaton https://en.wikipedia.org/wiki/Time_loop_logic https://en.wikipedia.org/wiki/Topological_quantum_computer https://en.wikipedia.org/wiki/Total_recursive_function https://en.wikipedia.org/wiki/Transdichotomous_model https://en.wikipedia.org/wiki/Transition_system https://en.wikipedia.org/wiki/Tree_stack_automaton https://en.wikipedia.org/wiki/Trinomial_tree https://en.wikipedia.org/wiki/Turing_machine https://en.wikipedia.org/wiki/Turing_machine_equivalents https://en.wikipedia.org/wiki/Turing-computable_function https://en.wikipedia.org/wiki/Turmite

https://en.wikipedia.org/wiki/UML_state_machine https://en.wikipedia.org/wiki/Unbounded_nondeterminism https://en.wikipedia.org/wiki/Unidirectional_Data_Flow_(computer_science)

https://en.wikipedia.org/wiki/Vector_addition_system https://en.wikipedia.org/wiki/Virtual_finite-state_machine

https://en.wikipedia.org/wiki/Word_RAM

https://en.wikipedia.org/wiki/X-machine

https://en.wikipedia.org/wiki/Zeno_machine