One of the popular examples in computer science is the mathematical models of various machines, an example is the deterministic finite automaton (DFA) which is defined as an abstract mathematical concept, but due to the deterministic nature of a DFA, it is implementable in hardware and software for solving various specific problems.
Jedan od popularnih primjera u su matematički modeli raznih strojeva, primjer je deterministički konačni automat (DFA) koji je definiran kao apstraktni matematički koncept, ali zbog determinističke prirode DFA-a, on je implementiran u hardver i softver za rješavanje različitih specifičnih problema.