computer-science context-free reduction complexity finite-state-machine fit recursive regular turing-machine pushdown-automaton tin finite-state-automaton formal-languages vutbr vut completeness decidability recursively-enumerable

metaprogramming recursive-functions enumerator turing-machine reductions macro-processor smn primitive-recursive-functions computability-theory risc-architecture-processor decidability

computer-science logic mathematics np-complete ulb exercise-sessions computational-complexity decidability