#

recursively-enumerable

Here is 1 public repository matching this topic...

europ / VUTBR-FIT-TIN

VUTBR - FIT: TIN 2018/2019

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

Updated Jan 13, 2019
TeX

Improve this page

Add a description, image, and links to the recursively-enumerable topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the recursively-enumerable topic, visit your repo's landing page and select "manage topics."