Path: csiph.com!weretis.net!feeder9.news.weretis.net!news.quux.org!wilderland.ovh!ereborbbs.duckdns.org!eternal-september.org!nntp.eternal-september.org!.POSTED!not-for-mail From: Tim Rentsch Newsgroups: comp.lang.c Subject: Re: MISRA C Date: Sun, 27 Sep 2026 10:52:56 -0700 Organization: A noiseless patient Spider Lines: 20 Message-ID: <86qzier37r.fsf@linuxsc.com> References: <11822bi$39m36$1@dont-email.me> <118ms4o$2j5vk$2@dont-email.me> <118mvcf$2j0p3$4@dont-email.me> <118pkkd$3gajb$1@dont-email.me> <118q3np$3e19p$2@dont-email.me> <118q63q$3l59m$1@dont-email.me> <118qftr$3nc7i$1@dont-email.me> <119473t$33192$1@dont-email.me> <119493r$33m1o$1@dont-email.me> <1194c7i$34ldb$2@dont-email.me> <1194mqo$37fnf$3@dont-email.me> <1195gqh$23uj$1@news.muc.de> <1195qr8$2aem2$1@dont-email.me> <1195u2r$16ah$1@news.muc.de> <119612d$2aem2$2@dont-email.me> <11962u0$16ah$2@news.muc.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Date: Sun, 27 Sep 2026 17:52:59 +0000 (UTC) Injection-Info: dont-email.me; logging-data="1683303"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+g7LhW7ZDx0KK8fCrnpvQO3xQcNG/aI/A="; posting-host="2656c84029572b3033be2dff7a8e2cf2" User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux) Cancel-Lock: sha1:sWdSP/W+kV0REgWl73zTnrdPmpA= sha1:kOtV6Db00vdq6Oafqafw3MkiaE8= sha256:yG+DknO05WRwS98WFve/hrczcGa9IgU81XnAX1x15RQ= sha1:zPBj6T0ZbB1IFM3chcsIzymlF7g= sha256:BII0sLrTuvWg3qJbhk0KkCXIXal/r93J1VvJwA25Jp8= Xref: csiph.com comp.lang.c:402431 Alan Mackenzie writes: > Yes, it was the Ackermann function I had in mind (though I'd > forgotten its name). It's a function of two natural number > arguments. Simply making both arguments the same gives a > function of one argument. > > If memory serves me correctly (which it probably doesn't), > A(0, 0) = 0. > A(1, 1) = 1. > A(2, 2) = 5. > A(3, 3) = 63. > A(4, 4) = 2^2^2^2^2^2^2 + 3 > A(5, 5) is much bigger still. > > This function can't be calculated iteratively, [...] Of course the Ackermann function can be calculated iteratively, as it can be computed by a Turing Machine, and Turing Machines don't have recursion.