Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: decidability
vedgar/izr
Language: TeX - Size: 17.6 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0
europ/VUTBR-FIT-TIN
VUTBR - FIT: TIN 2018/2019
Language: TeX - Size: 13.4 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 5 - Forks: 2
Related Keywords
decidability
2
turing-machine
2
vutbr
1
vut
1
tin
1
regular
1
reduction
1
recursively-enumerable
1
recursive
1
pushdown-automaton
1
formal-languages
1
fit
1
finite-state-machine
1
finite-state-automaton
1
context-free
1
computer-science
1
complexity
1
completeness
1
smn
1
risc-architecture-processor
1
reductions
1
recursive-functions
1
primitive-recursive-functions
1
metaprogramming
1
macro-processor
1
enumerator
1
computability-theory
1