Discrete Mathematics, Math.
complexity studies the time, space, and other resources consumed by computations. Computability is closely related to automata theory and formal language theory. To model computer systems, Petri nets and process algebras are employed, while methods from discrete mathematics are used to analyse VLSI