machine control logic
21Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …
22fuzzy logic — ☆ fuzzy logic n. 〚< fuzzy (set), coined (1965) by L. A. Zadeh, U.S. computer scientist〛 a type of logic used in computers and other electronic devices for processing imprecise or variable data: in place of the traditional binary values, fuzzy… …
23Register machine — In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent. Contents 1 Overview 2 Formal definition 3 …
24Centralized traffic control — (CTC) is a signalling system used by railroads. The system consists of a centralized train dispatcher s office that controls railroad switches in the CTC territory and the signals that railroad engineers must obey in order to keep the traffic… …
25Finite state machine — A finite state machine (FSM) or finite state automaton (plural: automata ) or simply a state machine, is a model of behavior composed of a finite number of states, transitions between those states, and actions. A finite state machine is an… …
26applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …
27Ladder logic — is a philosophy of drawing electrical logic schematics. It is now a graphical language very popular for programming Programmable Logic Controllers (PLCs). It was originally invented to describe logic made from relays. The name is based on the… …
28Self-replicating machine — A self replicating machine is an artificial construct that is theoretically capable of autonomously manufacturing a copy of itself using raw materials taken from its environment. The concept of self replicating machines has been advanced and… …
29State logic — A State logic control system is a programming method created for PLCs.A state logic control system uses a state transition diagram as a model of reality, thus using the fundamentals of finite state machine theory as the basis of a programming… …
30Relay logic — is a method of controlling industrial electronic circuits by using relays and contacts. ladder logic The schematic diagrams for relay logic circuits are often called line diagrams, because the inputs and outputs are essentially drawn in a series… …
