Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
biber
beaver
Last Update: 2014-12-09
Usage Frequency: 15
Quality:
Warning: This alignment may be wrong.
Please delete it you feel so.
der biber
the beaver
Last Update: 2018-02-13
Usage Frequency: 1
Quality:
* die funktion fleißiger biber (busy beaver) ist nicht primitiv rekursiv und nicht µ-rekursiv.
a sketch of the proof is as follows::the primitive recursive functions of one argument (i.e., unary functions) can be computably enumerated.