https://github.com/europ/vutbr-fit-tin

VUTBR - FIT: TIN 2018/2019

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

Last synced: 23 Jan 2026