Assertion: algorithm | /r/CapableOf | lack formal rigor
Facets:
Source sentences:
text: Knuth admits that, while his description of an algorithm may be intuitively clear, it lacks formal rigor, since it is not exactly clear what "precisely defined" means, or "rigorously and unambiguously specified" means, or "sufficiently basic", and so forth.